18+
На сайте представлено только описание и выходные данные книги «Atlas: Семантика типов ». Сайт не является распространителем книги. Сайт не предоставляет возможности купить, читать онлайн или скачать бесплатно книгу «Atlas: Семантика типов ». Сайт предназначен для лиц старше 18 лет. Если вам не исполнилось 18 лет - незамедлительно покиньте сайт. Оставаясь на сайте вы подтверждаете, что вам исполнилось 18 лет.
Незаконное потребление наркотических средств, психотропных веществ, их аналогов причиняет вред здоровью, их незаконный оборот запрещен и влечет установленную законодательством ответственность
"Atlas. Книга 2. Семантика типов" — математический фундамент языка, скрытый от новичка, но необходимый разработчику компилятора и проектировщику языков. Десять глав выстраивают формальный аппарат: от исчисления конструкций и семантики алгебраических типов — через параметрический полиморфизм, монадические эффекты и линейную логику владения — к подтипизации, алгоритму унификации и рефлексии времени компиляции. Заключительная глава очерчивает границы доказуемого: уточнённые типы, SMT-решатель, зависимые типы и контракты времени выполнения. Приложения содержат формальный синтаксис ядра, свод правил типизации и сравнение с Rust, Haskell, Idris и Mojo.
Перед выбором сравните язык, год, издательство и формат в сведениях ниже. У одной книги могут быть разные переводы и издания.
Возрастная отметка из источника: 16.
Описание помогает оценить тему книги; отзывы читателей позволяют дополнить его личным опытом. Оценку и отзыв оставляйте после знакомства с книгой.
izbe.ru