15 материалов в этой теме.
Как из плоского потока токенов получается дерево: контекстно-свободные грамматики, BNF, неоднозначность, левая рекурсия, FIRST/FOLLOW, рекурсивный спуск и Pratt-разбор — …
Фаза, связывающая каждое имя с его объявлением: лексические области видимости, таблица символов, слоты кадра и захват переменных замыканиями, порядок объявлений в разных …
Как рантайм решает, что память больше не нужна: достижимость против живости, подсчёт ссылок и его циклы, трассирующая сборка и трёхцветный инвариант, копирование по …
Почему после проверки типов дерево выбрасывают: трёхадресный код, базовые блоки и граф потока управления, доминаторы и фронт доминирования, построение SSA по Cytron и …
Язык — это интерфейс: когда свой DSL оправдан, а когда достаточно конфига; как проектировать синтаксис, однозначный и для человека, и для парсера; почему сообщение об …
Как компилятор доказывает, что программа не сложит число со строкой: суждения типизации, бидирекциональная проверка, унификация с occurs check и полный алгоритм Хиндли — …
Как компилятор переписывает программу, не меняя её смысла: решётки и анализ потока данных, SCCP, нумерация значений, DCE, инлайнинг и проблема порядка проходов — с …
Где именно лямбда-исчисление живёт в языках, на которых вы пишете каждый день: стрелочные функции как абстракции, вызов как бета-редекс, let как сахар, замыкания как …
Первая фаза компилятора: как поток символов превращается в поток токенов, почему для этого хватает конечного автомата, где проходит граница регулярных языков — и полный …
Обзор трека: как текст программы превращается в исполняемые инструкции, из каких фаз собран компилятор, чем он отличается от интерпретатора и JIT, и какой маленький язык …
Почему компилятор-функция не годится для IDE и во что он превращается: протокол LSP до последнего байта заголовка, компилятор как база данных запросов, устойчивый парсер …
Как оптимизированное IR превращается в машинные инструкции: выбор инструкций и покрытие дерева плитками, анализ живости, распределение регистров раскраской графа и linear …
По этому запросу ничего не найдено.
