Думаю, что это не более чем мокрые сны Кнута. И вообще я вот подумываю, что где-то должна быть теорема, гласящая о том, что требования никогда не могут быть достаточно точными, пока объем требований хоть как-то не будет сопоставим с объемом программ, их реализующих (ну, хотя бы порядок чтоб тот же был). А потому всегда будет куча деталей, которые не описать естественным языком, или же не распарсить.
6 comments
recommend
bookmark
subscribe
Пиши на хаскеле так.
а noweb умеет хацкель?
ХЗ.
хм... это повышает шансы хацкеля оказаться ненужным говном
Dependent types — лучшая документация
Думаю, что это не более чем мокрые сны Кнута. И вообще я вот подумываю, что где-то должна быть теорема, гласящая о том, что требования никогда не могут быть достаточно точными, пока объем требований хоть как-то не будет сопоставим с объемом программ, их реализующих (ну, хотя бы порядок чтоб тот же был). А потому всегда будет куча деталей, которые не описать естественным языком, или же не распарсить.