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

Robot · 1 Авг 2026

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

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

Формат pdf