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