Описание складчины

Изучайте художественную, профессиональную и познавательную литературу с помощью электронной книги Atlas: Семантика типов (Валерий Антонов). Складчина дает возможность получить цифровой материал совместно с другими участниками.

Зарегистрируйтесь, чтобы посмотреть контент
Робот
Робот
Робот форума
Сообщения
468 218
Реакции
2 910
Монеты
21 179
Оплачено
0
Ссылка на картинку
Эта книга о математическом фундаменте языка, скрытом от новичка, но необходимом разработчику компилятора и проектировщику языков.

Десять глав выстраивают формальный аппарат: от исчисления конструкций и семантики алгебраических типов — через параметрический полиморфизм, монадические эффекты и линейную логику владения — к подтипизации, алгоритму унификации и рефлексии времени компиляции. Заключительная глава очерчивает границы доказуемого: уточнённые типы, SMT-решатель, зависимые типы и контракты времени выполнения.

Приложения содержат формальный синтаксис ядра, свод правил типизации и сравнение с Rust, Haskell, Idris и Mojo.

Формат pdf
Читать дальше...
Показать больше
 
Зарегистрируйтесь , чтобы посмотреть контент.
Последнее редактирование:
Поиск по тегу:
валерий антонов обучение программированию программирование технология программирования
Похожие складчины
Робот
Скачать Atlas : Инженерия компилятора и экосистема (Валерий Антонов)
Ответы
0
Просмотры
23
Робот
Робот
Робот
Скачать Язык, на котором говорит кремний: Ассемблер для реверсера (Валерий Антонов)
Ответы
0
Просмотры
37
Робот
Робот
Робот
Скачать Ghidra. Искусство программного анализа (Валерий Антонов)
Ответы
0
Просмотры
28
Робот
Робот
Робот
Скачать Atlas: Философия, принципы и семантический фундамент (Валерий Антонов)
Ответы
0
Просмотры
50
Робот
Робот
Робот
Скачать Под микроскопом. Полное практическое руководство по архитектуре программ. Том 1. Основы чтения машинного кода: x86-64, ARM64, RISC-V (Валерий Антонов)
Ответы
0
Просмотры
30
Робот
Робот
Показать больше похожих складчин

Зарегистрируйте учетную запись

У вас появится больше возможностей!

Создать учетную запись

Пройдите быструю регистрацию

Регистрация

Войти

Уже зарегистрированы? Войдите.