LINUX.ORG.RU

История изменений

Исправление quantum-troll, (текущая версия) :

а изменить — нет

В чистом функциональном языке значения вообще нельзя менять же.
Кстати, практический пример использования зависимых типов: http://www.youtube.com/watch?v=AWeT_G04a0A

Исправление quantum-troll, :

а изменить — нет

В чистом функциональном языке значения вообще нельзя менять же. Кстати, практический пример использования зависимых типов: http://www.youtube.com/watch?v=AWeT_G04a0A

Исходная версия quantum-troll, :

а изменить — нет

В чистом функциональном языке значения вообще нельзя менять же.