T>>Ленивость стимулирует модульность (famous 'map f . map g === map (f . g)' example).
E>А можно развернуть для чайников, о какой модульности здесь идет речь?

Отдельно написал генератор, отдельно написал обработчик. В промежутке поставил фильтры.

Всё работает так, как будто написано в одном модуле.

Особенно удобно писать переборные алгоритмы, например, Equality Saturation, про который было в моём блоге позавчера.

T>>Отсутствие отладчика стимулирует написание программ, о которых легко рассуждать и не нужно отлаживать.
E>Прошу прощения за грубость, но это достойно войти в аналы вместе с вот этой

Автор: eao197
Дата: 18.09.06

. Поскольку эта фраза об ненаписанных программах.

Я пишу программы, не пользуясь отладчиком. Это написанные программы, полезные не только мне.

Отладчиком сейчас приходится пользоваться для разбирательств с кодом на Java. Блин. Ощущения — не передать словами.

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

E>Вот Дональд Кнут, к примеру, считает отладчик очень важным инструментом программиста.

А ещё он пишет на Intercal.

Я на зависимые типы-то смотрю из-за отвращения к отладке.

Я лучше побольше с компьютером поговорю о своей программе, чем буду долго расспрашивать программу о самой себе.