Замечательные новости! В издательстве ДМК-Пресс вышла в продажу моя книга:

"Проектирование на уровне типов. Системный взгляд на дизайн и архитектуру"

https://dmkpress.com/catalog/computer/software_development/978-5-93700-379-9/?srsltid=AfmBOoqqVMDRj-Dabl2Y54XPjY5mZYiDYmzuZC0y-KbOn3DFCWxc1eUi

Книга о разных подходах на уровне типов, в том числе о расширяемости, о паттернах проектирования, о создании eDSL, о моделировании предметных областей, о следовании принциу make invalid states unrepresentable, о способах обеспечения и проверки корректности, об интерфейсах на уровне типов, и о том, как это всё объединить в архитектуре приложения.

Для трёх языков сразу: Haskell, Rust и Scala 3.

Книга доступна для заказа и, возможно, поступит в какие-нибудь магазины.

В английском варианте она же "Pragmatic Type-Level Design", выпущена самиздатом на LeanPub.

https://leanpub.com/pragmatic-type-level-design

Меня не устраивают почти все существующие материалы по программированию на уровне типов в языках Scala 3 и Rust; особенно - в Haskell. Эти материалы, пусть сколько угодно популярные (например, труды С. Магвайра, - широко распиаренная и везде упоминаемая самиздатная книга "Thinking With Types"), не имеют ряда важных свойств, которыми обладает моя книга:

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

Причем отсутствие математики я считаю огромным плюсом. Я здесь чуть ли не в одиночестве, но не готов идти на поводу у сообществ, которые почти поголовно считают иначе, хоть и теряю из-за этого очки популярности. Аналогично, меня совершенно не устраивает академичность некоторых других книг, и здесь я в меньшинстве. У этой академичности три причины: авторы показывают, какие они умные; писать по-простому они не умеют; писать сложно и заумно - статусно в их околоакадемической среде. Убогость подобного подхода сослужила Хаскелю плохую службу. Ужасность документации и чрезмерная академичность теперь его вечные ярлыки, а прагматичные материалы уступают в популярности академически-математическим.

Англоязычный вариант книги был написал и опубликован полгода назад, в декабре 2024 года. Почи в тот же момент издатели ДМК-Пресс вышли на меня и предложили её опубликовать. Переводил не я, но я сильно книгу отредактировал. Переводчик, в целом, молодец, но пришлось чистить за ним канцелярит и исправлять множество ошибок. И еще повоевать с переводчиком за правки.

Книга вышла. Ожидаю новых читателей.