Проектирование на уровне типов: Системный взгляд на дизайн и архитектуру
Автор: Гранин А.
Эта книга научит вас проектировать системы на уровне типов, когда они служат главным инструментом моделирования, расширяемости и обеспечения корректности. Никакого академизма и бессмысленных абстракций! Только практичность, системность, универсальность и быстрая отдача. Книга предоставляет единую методологию проектирования на типах для трех языков: Haskell, Rust, и Scala 3.
Издание адресовано всем, кто интересуется программированием на типах и хочет извлечь из них максимум пользы.
Книга предлагает подходы и паттерны для нетривиального кода, где все выражено через типы: бизнес-логика, предметно-ориентированные языки, механизмы корректности и расширяемости. Инженерию от простого программирования отличает целостный взгляд на систему, и вниманию читателей предлагается прагматичная методология создания приложений – от сбора требований до архитектуры и проектирования компонентов. Универсальность изложенных идей показана на примерах для трех языков: Haskell, Scala и Rust. Основные темы, рассматриваемые в книге: шаблоны проектирования уровня типов; расширяемость и адаптивные архитектуры приложений; интерфейсы на уровне типов; предметно-ориентированные языки на уровне типов; типобезопасность и статическая целостность; корректность и верификация на уровне типов; типизированные формы – визуальный язык для проектирования; методология Pragmatic Type-Level Design (PTLD).
Александр Гранин – разработчик и архитектор программного обеспечения с более чем 15-летним стажем. Международный спикер, исследователь и автор книг по функциональному программированию, включая “Functional Design and Architecture”. Его миссия – вооружить разработчиков практическими знаниями и построить целостную инженерную дисциплину создания приложений на статически типизированных функциональных языках.