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