Гранин А.
Проектирование на уровне типов
Для тех, кто любит программирование на типах и хочет извлечь из них максимум пользы! Книга предлагает подходы и паттерны для нетривиального кода, где все выражено через типы: бизнес-логика, предметно-ориентированные языки, механизмы корректности и расширяемости. Инженерию от простого программирования отличает целостный взгляд на систему, и вниманию читателей предлагается прагматичная методология создания...