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 руб.