В декабре 2025-го вышли две классные книги - почти одновременно!
- в крайне важной стратегически, но крайне сложной темке!
- причём на русском! что (особенно по нынешним временам) событие абсолютно удивительное, впервые лет за 5-10, а может быть и больше.

Сразу взял обе книги, очень рекомендую кто занимается на второй части Лаборатории.

1. "Проектирование на уровне типов"
Александр Гранин (известный эксперт в ФП и Хаскеле, в 2025-м выпустил книгу "Functional Design and Architecture", работает в Европе уже давно).
Блог Александра.

2. "Аксиоматическая архитектура научных теорий" (переработанная докторская)
Андрей Родин (последний русский HoTT-математик, уехал во Францию в 2023-м).

Последовательное введение в, по сути, формализацию математики для всех интересующихся темой: "От Евклида до Гильберта => Гомотопическая теория типов и унивалентные основания математики".

Европейская школа в этой нише, да и в computer science в целом, на сегодня абсолютный топчик (недавно и наша школа была с ней на одном уровне, а теперь в России физически из неё я наверное остался один, да и то непонятно, насколько долго :).

Ссылки на бумажные и электронные книги ищите по ссылкам выше.

В гайд "Функциональные архитектуры" понемногу готовлю и из них выжимки)))

А для разогрева можно насладиться классным стримом Мокевнина и Вершилова про Haskell.