Хаскельное

[metaclass]

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

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

Comments

[antilamer.livejournal.com]

> Когда я увижу отраслевой или хотя бы внутрифирменный стандарт
Странный критерий. Вот если thesz внедрит у себя в фирме такой стандарт, то возьмёте "никто" назад? :)

А почему не "когда я увижу проект на хаскелле с разумным количеством комментариев" ("разумным" = "не хуже, чем в среднем по индустрии в других языках")? Например, GHC или XMonad отлично прокомментированы.

[vit-r.livejournal.com]

Странный критерий.

Вполне нормальный. Позволяет отличить промышленную технологию от индивидуального творчества.

[antilamer.livejournal.com]

Ок. Вот стандарт комментирования исходников GHC: http://ghc.haskell.org/trac/ghc/wiki/Commentary/CodingStyle - устраивает? или надо, чтобы я нашёл публичный стандарт комментирования какой-либо компании, которая пишет на хаскелле коммерческие продукты больше определённого размера?

[vit-r.livejournal.com]

Commenting is good but ...long comments detached from the code are easy to miss when you are editing the code itself, and soon become out of date or even misleading.

Можно я это не буду комментировать? Предлагаю на этом и закончить.

[antilamer.livejournal.com]

Нет уж - давайте лучше Вы мне покажите стандарт комментирования на Си, и я тоже найду в нём, над чем поиздеваться, и сделаю вывод, что на си люди ничего не комментируют.

В общем ладно, трата времени.

[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..."

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