Хаскельное

[metaclass]

http://vit-r.livejournal.com/679524.html?thread=3691364#t3691364
решили на прошлой работе трое таки попробовать Хаскель, для неспешной задачи. генерация DDL, DML c скриптами SQL. Бились, бились, - но сделали, и был восторг! Потом, затянула обычная работа, через месяцок нужно было добавить кое-чего... и никто из троих не смог понять как оно работает, и как же добавить.

Звучит похоже на правду. Хотя у меня и F# и Clojure в подобных задачах живут и развиваются без проблем.

Comments

[vit-r.livejournal.com]

Код и документация (включая внешнюю вроде дизайна) являются единым пакетом и любая рассинхронизация - это грубая ошибка. Не то, тобы этого не бывает в природе, но по стандартам требуется абсолютная когерентность.

[geniepro.livejournal.com]

Вот на эту тему как раз:

"Running the Manual: An Approach to High-Assurance Microkernel Development"
http://www.cse.unsw.edu.au/~chak/papers/sel4-model.pdf

[vit-r.livejournal.com]

Опять же "We propose..."

Это научная работа. Достаточно посмотреть на литературу.