𝙱𝚎𝚒𝚉𝚎𝚛𝚘

Здрасти. А вы пробовали литературу вообще читать какую-нибудь о типизации, о языках программирования?

Ещё раз. Я полностью согласен с тем, что динамически типизированный это очень странный термин, он непонятный, он легаси и т.д., но чекаются динамически таки типы и более менее...

"Предельной типизированности"? Шта? Можете погуглить Agda, Coq там всякие. Где исчисление конструкций реализовано... Не знаю, что имеется ввиду под предельной типизированность...

Интересно, а как вы объясните тот факт, что на том же эрланге сложнее писать лапшу, чем на, например, статически типизированных плюсах?

Неплохо неплохо, а что там динамически чекают? Не соответствие типов ли?

А под каким углом нужно читать TAPL, чтобы там что-то подобное вычитать?

Всем привет. FpConf всё?

2 дня?