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

Описание аудиокниги:

Эта книга научит вас проектировать системы на уровне типов, когда они служат главным инструментом моделирования, расширяемости и обеспечения корректности. Никакого академизма и бессмысленных абстракций! Только практичность, системность, универсальность и быстрая отдача. Книга предоставляет единую методологию проектирования на типах для трех языков: Haskell, Rust, и Scala 3. Издание адресовано всем, кто интересуется программированием на типах и хочет извлечь из них максимум пользы.