Скачать Atlas: Философия, принципы и семантический фундамент + Семантика типов + Инженерия компилятора и экосистема [Валерий Антонов]

[Джокер]

Складчина: Atlas: Философия, принципы и семантический фундамент + Семантика типов + Инженерия компилятора и экосистема [Валерий Антонов]
Atlas: Философия, принципы и семантический фундамент
Валерий Антонов




Может ли язык программирования быть одновременно простым для новичка и мощным для эксперта?

Atlas — проект языка нового поколения, построенный на теории типов, линейной логике и алгебраических эффектах. Его компилятор математически доказывает отсутствие целых классов ошибок: null, гонок данных, утечек памяти. Книга ведёт читателя от основ (типы как множества, функции как отображения) через эффекты и владение памятью к параллельному программированию и метапрограммированию. Во введении анализируется язык Mojo как наиболее близкая попытка решить ту же задачу.

Для начинающих, опытных разработчиков и проектировщиков языков.

Формат pdf
Цена 390 руб.



Atlas: Семантика типов
Валерий Антонов




Эта книга о математическом фундаменте языка, скрытом от новичка, но необходимом разработчику компилятора и проектировщику языков.

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

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

Формат pdf
Цена 390 руб.



Atlas: Инженерия компилятора и экосистема
Валерий Антонов




Это полное руководство по реализации языка Atlas. Четырнадцать глав проводят читателя через конвейер компиляции. Архитектура: пятнадцать фаз от лексера до линковки.

Лексический и синтаксический анализ с обработкой отступов и восстановлением после ошибок.
Два уровня промежуточного представления — HIR и MIR.
Алгоритмы вывода типов с унификацией и SMT-решателем.
Проверка заимствований через граф прав доступа.
Мономорфизация, раскрытие макросов, оптимизации среднего звена.
Кодогенерация в LLVM IR, представление алгебраических типов и эффектов.
Рантайм: легковесные потоки, асинхронный ввод-вывод, отсутствие сборщика мусора.
Пакетный менеджер, языковой сервер, отладчик, профилировщик.
Интеграция с C, Python, Rust и WebAssembly.
Процесс разработки языка: RFC, версионирование, сообщество.
Формат pdf
Цена 390 руб.


Общая стоимость:390+390+390=1170 руб.



СКАЧАТЬ СЛИВЫ КУРСОВ

Для возможности скачивать складчины и сливы курсов нужно зарегистрироваться