Atlas: Семантика типов
Валерий Антонов
"Atlas. Книга 2. Семантика типов" — математический фундамент языка, скрытый от новичка, но необходимый разработчику компилятора и проектировщику языков. Десять глав выстраивают формальный аппарат: от исчисления конструкций и семантики алгебраических типов — через параметрический полиморфизм, монадические эффекты и линейную логику владения — к подтипизации, алгоритму унификации и рефлексии времени компиляции. Заключительная глава очерчивает границы доказуемого: уточнённые типы, SMT-решатель, зависимые типы и контракты времени выполнения. Приложения содержат формальный синтаксис ядра, свод правил типизации и сравнение с Rust, Haskell, Idris и Mojo.
- Категория: программирование
- Правообладатель: Автор
- Год написания: 2026
- Возрастное ограничение: 16+
- Легальная стоимость: 390 руб.
Читать книгу «Atlas: Семантика типов» онлайн:
Комментарии ():
Вам также может понравиться:
