Зависимые типы

[metaclass]

Решительно непонятно, как можно программировать на языке без dependent types.
Хм, как это я до сих пор во френды sorhed не добавил.
А без зависимых типов мы так и будем топтаться между ООП, ORM и закатом солнца рисованием гуя вручную, но я теорию даже обычных типов с трудом осознаю, а до зависимых вообще еще не добрался.

Comments

[alexott.livejournal.com]

ну он в планету ФП прокидывается