Типы и типы

[metaclass]

Очевидно ли, почему flatten и (partial apply concat) в Clojure могут выдать разные результаты? После хаскеля кложурный flatten, работающий на все уровни "вглубь", выглядит непривычно.

По ходу, статическая типизация делает невозможными некоторые типы программ, возможные при динамической.
Соответственно, наиболее заебатая статическая типизация, с какими-нибудь адскими зависимыми типами, должна делать невозможными еще большее количество программ.
А самая правильная типизация - это при которой множество допустимых программ пустое.

Comments

[kkirsanov.livejournal.com]

--По ходу, статическая типизация делает невозможными некоторые типы программ, возможные при динамической.

Нет, просто приходится вручную описывать все варианты, что в динамике даются на халяву. Таким образом, функция объема статического кода от динамического, - как минимум, степенная.

Путем наворачивания крутых статических типов можно довести объем статического кода до динамического.

Т.е. в пределе крутой статический код это простой динамический.

[thesz.livejournal.com]

>функция объема статического кода от динамического, - как минимум, степенная.

Функция стоимости же...

[theiced.livejournal.com]

ты от мамочки уже съехал?

[migmit.livejournal.com]

Осторожно, он может знать, где ты живёшь.

[metaclass.livejournal.com]

Ай, сильно далеко ехать )

[migmit.livejournal.com]

Разве ж это крюк.