Без заголовка
Меня особенно удивляет, что программа начинает работать, будучи собранная из компонентов.
Т.е. у меня иногда бывает, что я отдельно проектирую компоненты, их отлаживаю. Потом собираю вместе, и программ (после небольших пинков) работает. Я не могу понять почему, это какое-то мистическое ощущение, когда оживает Франкенштейн :).
ЗЫ Говорят, это стиль характерный для Хаскела.
ЗЗЫ С верификацией все по другому, там удивляешься почему компьютер не понимает такую простую вещь, когда ему объяснишь, то сам все уже давно детельно понимаешь :).