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

Эта книга предлагает системный подход к проектированию программного обеспечения на уровне типов, рассматривая типы как основной инструмент моделирования, расширяемости и обеспечения корректности. Автор, Александр Гранин, делится практической методологией, применимой к трем языкам программирования: Haskell, Rust и Scala 3. В отличие от академических руководств, книга фокусируется на прагматичных решениях, которые дают быструю отдачу в реальных проектах.

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

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

Издание переведено на русский язык и адаптировано для русскоязычной аудитории. Оно станет ценным ресурсом для архитекторов ПО, технических лидеров и всех, кто стремится повысить качество своего кода через продуманное использование системы типов.