Про Clean и уникальные типы
От: D. Mon Великобритания http://thedeemon.livejournal.com
Дата: 19.08.11 14:58
Оценка: 195 (14)
Думаю, многие из тех, кто знаком с Хаскелем, слышали, что есть еще такой язык Clean, который:
* чистый, ленивый, функциональный,
* знаменит своей эффективностью,
* похож на Хаскель, но
* обходится без монад для ввода-вывода и
* поддерживает изменяемые по месту структуры данных без потери ленивости и referential transparency за счет так называемых уникальных типов.

Я давно хотел познакомиться с ним поближе и прочувствовать что такое программирование с уникальными типами. Оказалось, что это не такое простое занятие (больше всего оно напоминает завязывание шнурков одной рукой), и чтобы написать что-то посложнее hello world'a и факториала нужно набрать определенный уровень навыков и понимания, в процессе пару раз вывихнув мозг. Теперь, когда я таки написал нетривиальную программу на нем (больше 1К строк и со штуками вроде уникальных деревьев, где данные — АТД с уникальными массивами), мне кажется, что я кое-что понял и могу поделиться.

Много букв тут:
http://thedeemon.livejournal.com/37515.html#cutid1
 
Подождите ...
Wait...
Пока на собственное сообщение не было ответов, его можно удалить.