Без заголовка

Удивительный разговор получился про парадигмы программирования: http://ailev.livejournal.com/695253.html. Жалко будет, если он так и погибнет в комментах. А ведь погибнет: вряд ли кто-нибудь (включая меня) его оттуда вытащит. А вытащить бы, перевести на английский и заслать -- да хоть в тот же список рассылки FONC в vpri.org. Там и про онтологию современных языков программирования, и про обучение детишек разным парадигмам, а не только императивной, и про некомпактность логической парадигмы, и про несовместимость "традиционных upper ontology" и upper ontology, зафиксированной в языках программирования и про много-много еще интересных вещей. Мне из разговора больше всего вставило, когда я допер про различие программирования (в общем и целом) и системной инженерии (системного подхода): что в информационной системе системной инженерии, нормы должны быть first-class, в отличие от программирования, где first-class'ом являются алгоритмы, даже в функциональной и логических ипостасях. Дело в том, что я все время пытался свести свои задачи к программированию, но у меня все время вылезала нужда в логике. Я пытался от нее избавится и упростить, но все равно возвращался к этому. А тут я понял, что это принципиальный момент. Т.е. я всегда думал как подходить к решению задач (программистких) системно. И чисто программерского инструментария мне не хватало, ибо системы требуют норм. В Манифесте Норм это конечно описано в первых строчках, но ведь одно дело прочитать, другое - допереть :).