Отладка мозгом

[metaclass]

В свете утренних разборок с многопоточной прогой особенно полезным выглядит следующий пост:

дизайн системы, в которую вносятся изменения, должен быть элегантен и прочувствован. Если я непонимаю системы, которую изменяю, как я могу понять происходящие в ней процессы? Если лучшая ассоциация для дизайна, которую я могу подобрать, сводится к канализационной трубе, по которой передвигаются искаженные до неузнаваемости входные данные, то о каких высоких материях я могу медитировать над stack trace?

Вот. Поэтому даже в безумном дельфи приходится писать программы, выглядящие как ручная реализация функциональной парадигмы, только ради того, чтобы при анализе можно было абстрагироваться от всего, кроме сошедшего с ума модуля. А еще это позволяет нам с belnetmon независимо писать модули, не занимаясь постоянным согласованием связей между ними.

Поток данных в программе должен представляться наглядно, чтобы его можно было крутить в мозгу в свободное время, не за компом. В этом отношении, конечно, c Haskell, сложно сравнить что либо из известных мне языков - на нем очень удобно думать.

Comments

[vp.livejournal.com]

дык а разве на хаскеле что-то написать можно? конкретные реализации есть?

[kong-en-ge.livejournal.com]

Неиллюзорная ситиинфа на хаскеле -- ночной кошмар всех картописателей!

[metaclass.livejournal.com]

Я, кстати, думал, как бы выглядела GIS, реализованная в функциональной парадигме. Голова сломалась на этапе представления окна вывода, где каждый пиксель это список функция, определяющих его цвет, но при этом вызываются только те, которые ближе всего по Z-order.
А уж решение задач коммивояжеров это вообще, по моему, ближе туда, чем к императивной.

[metaclass.livejournal.com]

Ситиинфа на хаскеле - это функция от списка списков кортежей и введенных пользователем параметров в изображение экрана. Осталось только разобрать эту функцию на примитивы и их комбинаторы наиболее оптимальным образом.

[kong-en-ge.livejournal.com]

Ребе, признайтесь, вы когда это пишете, непроизвольно не кончаете?

[metaclass.livejournal.com]

Мозговой оргазм, да.

[metaclass.livejournal.com]

Можно. Например, парсер хаскеля :)

На самом деле, я бы сильно хотел встроенный интерпретатор хаскеля на предмет генерации заумных отчетов, но для этого придется разбираться во внутренностях Hugs для исправления ограничения вывода типов кортежей 5 полями. Интерфейс его внешний, слава богу, сишный и более-менее мозгом осознаваем.

Или же разобраться как клепать dll с экспортами в сишном стиле на GHC и генерить для них обертки на дельфи.

[blackyblack.livejournal.com]

Наверное все железячники рано или поздно ударяются в функциональщину и test driven development. Отладчика то толком нет, а стек трейс мне вообще только снится. :)
Я так пишу на си с элементами функционального программирования. У меня по минимуму циклов (в основном на таймерах), условия как правило приводят сразу к завершению функции, если используются циклы, то как правило бесконечные с множественными выходами. В итоге минимум вложенности и модульность программы.

А насчёт канализационной трубы... У неё кстати весьма неплохой дизайн. И продумано там всё очень даже неплохо.

[metaclass.livejournal.com]

Для железячников функциональная парадигма естественна, после функциональных схем, фильтров, ТАУ и прочего. Я программу так себе и представляю - последовательность фильтров, через которые проходит сигнал - список объектов.