Есть такой Standard Chartered Bank, одно из бизнес-подразделений которого имеет операционный доход 3 млрд. долл., а самое смешное, что оно автоматизировано полностью в стеке на Хаскеле. Все-все-все базовые API и CLIs для оценки сделок и анализа рисков, серверные пакеты для построения отчётов, субсекундные REST API, и даже GUI закоден функционально. Тысячи бизнес-пользователей, и сотня программистов large-scale type-driven dev.

Видите, мем "в мире только семь вакансий под хаскель" опровергнут! :)

Один и тот же API может использоваться для определения цены одной сделки локально -- или миллионов сделок на тысячах облачных узлов. Различные части вычисления могут выполняться параллельно, а повторное вычисление одной части приводит к пересчету только зависимых частей. В проекте применяются как классические фишки ФП вроде монад, ADTs, тайпклассов, ghc.генериков, так и менее известные -- сериализация замыканий, линзы, призмы, deforestation...

Прикинул, у меня в базовом гайде ФП где-то под сотню основных понятий охвачены, а более специфичные - под пару десятков - отдельно вытащу из этого проекта и добавлю разбор в гайд.

Но почему такие проекты всё же единичные? Ведь такие подходы и архитектуры близки к идеальным.

Да просто потому что глупенькие в айтишке все (кроме моих ментатов), и не хочут развиваться.