категорический троллинг

[thedeemon]

Как развернуть список на окамле.

Код рабочий. Тащемта, модули успешно заменяют тайпклассы, хоть и громоздко получается.

Comments

[nivanych.livejournal.com]

> Иван Петрович Карри

Хаскель Моисеевич Брукс Карри!
Ви таки хотите сказать, что вся эта еврейская наука про хитрые типы неприменима в расово верных современных условиях? ;-)

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

[iamjaph.livejournal.com]

Классический ML - это SML? А за счет чего получается "ничо так"?

[nivanych.livejournal.com]

Нннуу, я имел в виду просто полиморфную лямбду, если точнее...
Получается _только_ за счёт простоты языка.
Если пытаться чОтко описывать те же модули, просто уже не выйдет.
Так что, в общем-то, я тут неправ.