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