Разобрал подробно для гайда "Функциональные Архитектуры" крутейший язык от топовых функциональщиков (нет, не этот), модуль "ФП и AI". Получились своеобразные "микросервисы кодинга", чётко по заветам Алана Кэя - тысячекратная компактность кода уже в действии (пока 10...100- кратная, но идея супер). Они знали они знали!!1 :)

Причём это не DSL, а полноценный функциональный язык: современные LLM думают линейно, а он позволяет им думать как дерево вызовов функций. Перестраиваем prompt engineering с императивного на функциональный формат.

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

И всё же, даже когда за дело берутся топовые спецы в разработке языков программирования и гуру хаскеля, в глубине понимания они безнадёжно проигрывают математикам :) Потому что математик уже мыслит функциями и категориями, в него уже встроена модель вычислений без состояния и без времени, которую формализует λ-оператор, запрещающий императивщину на уровне рефлекса. Математик по дефолту и пишет свои доказательства на чистом ФП, просто без синтаксиса. Единственное чего ему не хватает, это "рантайма", операционной семантики: β-редукция, порядок вычислений, нетерминируемость, Y-комбинатор, ленивость, эффекты через монады...