Проектирование на уровне типов

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