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

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