Прочитал интересную серию статей Paul Callaghan в PragPub (https://pragprog.com/magazines, выпуски с 38 по 49, кроме 44, а существенная для этого текста часть — с 45-го), и сделал для себя некий существенный вывод, к которому эта серия — прекрасная иллюстрация. Оным выводом и ( хочу поделиться )

Сразу озвучу совсем уж сухой остаток. На данный момент развитие средств программирования таково, что оптимум называется Haskell. Может быть, еще какие-то сходные языки, не уверен. Ключевые моменты: богатая система типов и статическая их проверка. Только вместе. Но. Более богатые, чем хаскель, средства (зависимые типы) пока оказываются намного ниже оптимума. ( Подробно - много букв )

На правах потока сознания, преимущественно чтобы сформулировать. Но если кому из понявших, о чем речь, есть что сказать - welcome.

Читая тут на досуге "Higher Order Perl", обнаружил, что автор запутался между List::Util::reduce из стандартного модуля и тем, что в более других языках называется fold. И до меня, похоже, дошла небанальная мысль, откуда там путаница. ( От внешней похожести совершенно разных операций! )