Я работаю с большой существующей кодовой базой Python и хотел бы начать добавлять аннотации типов,...

Я прочитал очень интересную статью об архитектуре коллекций Scala 2.8 , и я немного...

Это продолжение моего предыдущего вопроса о статической типизации Clojure. Я просмотрел исходный...

Я знаю, что это может звучать как богохульство для поклонников Lisp (и других любителей...

Я читал, что система типов Scala ослаблена совместимостью с Java и поэтому не может выполнять...

У меня неожиданная проблема с вызовом, включенным в хеш-таблицу старой школы.Что здесь происходит?...

Когда я использую цикл foreach в C #, создается впечатление, что проверка типа времени компиляции...

В своей текущей работе я создаю набор сценариев Perl, которые сильно зависят от объектов....

Кроме того, одно подразумевает другое?

Я вижу эти термины повсеместно в программировании, и у меня есть смутное представление о том, что...

В моем чтении о динамической и статической типизации я продолжаю сталкиваться с предположением, что...

Я знаю, что вы можете создать анонимную функцию, и компилятор выведет ее тип возврата: val x = ()...

sqlite использует то, что авторы называют " Manifest Typing ", что в основном означает, что sqlite...

Мне кажется, что самым бесценным в статическом / строго типизированном языке программирования...

Я ищу внешний компилятор Lua, который проверяется типом во время компиляции, но выводит стандартный...

Я пытаюсь проверить несколько аргументов Python. Пока мы не получим новую статическую типизацию в...

Я начал изучать идею модульного тестирования / разработки на основе тестирования, и чем больше я об...

Я изучаю стиль функционального программирования. В Не бойтесь монад Брайан Бекман дал блестящее...

Могу ли я указать интерфейсы при объявлении участника? Подумав некоторое время над этим вопросом,...