https://courses.digitable.life/tags/%D0%BA%D0%BE%D0%BC%D0%BF%D0%B8%D0%BB%D1%8F%D1%82%D0%BE%D1%80%D1%8B/ Recent content in Компиляторы on Digitable courses Hugo ru-RU Sat, 01 Aug 2026 00:12:59 +0300 https://courses.digitable.life/post/compilers/11-jit/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/compilers/11-jit/ Почему компилятор, работающий во время исполнения, может обогнать статический: счётчики и горячие пути, обратная связь по типам и инлайн-кэши, спекуляции с guard’ами, деоптимизация и OSR — с работающим baseline-JIT, трассирующим JIT и настоящей эмиссией машинного кода x86-64 на Python. https://courses.digitable.life/post/compilers/03-ast/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/compilers/03-ast/ Как спроектировать узлы AST, обходить дерево в трёх порядках и не уронить стек, зачем нужен Visitor и почему в языках с алгебраическими типами он не нужен — с работающим AST-интерпретатором языка Mini, который считает fib(10). https://courses.digitable.life/post/compilers/09-virtual-machines/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/compilers/09-virtual-machines/ Второй бэкенд компилятора: как спроектировать набор инструкций, чем стековая машина отличается от регистровой, как устроены кадры, диспетчеризация и представление значений — с работающим компилятором Mini в байткод и двумя виртуальными машинами на Python. https://courses.digitable.life/post/compilers/08-code-generation/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/compilers/08-code-generation/ Как оптимизированное IR превращается в машинные инструкции: выбор инструкций и покрытие дерева плитками, анализ живости, распределение регистров раскраской графа и linear scan, вытеснение, System V ABI и устройство кадра вызова — с работающим генератором x86-64 для языка Mini, который собирается ассемблером и линкуется с C. https://courses.digitable.life/post/compilers/13-language-tooling/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/compilers/13-language-tooling/ Почему компилятор-функция не годится для IDE и во что он превращается: протокол LSP до последнего байта заголовка, компилятор как база данных запросов, устойчивый парсер и полное синтаксическое дерево, алгебра документов в форматтере, линтер и цена ложных срабатываний, отладчик через 0xCC и DWARF — с работающим кодом на Python. https://courses.digitable.life/post/compilers/00-overview/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/compilers/00-overview/ Обзор трека: как текст программы превращается в исполняемые инструкции, из каких фаз собран компилятор, чем он отличается от интерпретатора и JIT, и какой маленький язык мы построим за четырнадцать статей — с работающим мини-компилятором уже здесь. https://courses.digitable.life/post/compilers/01-lexer/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/compilers/01-lexer/ Первая фаза компилятора: как поток символов превращается в поток токенов, почему для этого хватает конечного автомата, где проходит граница регулярных языков — и полный рабочий лексер языка Mini на Python со спанами, комментариями, строками и человеческими ошибками. https://courses.digitable.life/post/lambda-calculus/10-in-practice/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/lambda-calculus/10-in-practice/ Где именно лямбда-исчисление живёт в языках, на которых вы пишете каждый день: стрелочные функции как абстракции, вызов как бета-редекс, let как сахар, замыкания как оптимизация подстановки, и почему compiler-разработчики до сих пор мыслят термами. https://courses.digitable.life/post/compilers/07-optimization/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/compilers/07-optimization/ Как компилятор переписывает программу, не меняя её смысла: решётки и анализ потока данных, SCCP, нумерация значений, DCE, инлайнинг и проблема порядка проходов — с работающим оптимизатором на Python, который схлопывает функцию Mini из девяти инструкций в одну. https://courses.digitable.life/post/compilers/05-type-checking/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/compilers/05-type-checking/ Как компилятор доказывает, что программа не сложит число со строкой: суждения типизации, бидирекциональная проверка, унификация с occurs check и полный алгоритм Хиндли — Милнера с let-полиморфизмом — с работающей реализацией на Python. https://courses.digitable.life/post/compilers/12-dsl-design/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/compilers/12-dsl-design/ Язык — это интерфейс: когда свой DSL оправдан, а когда достаточно конфига; как проектировать синтаксис, однозначный и для человека, и для парсера; почему сообщение об ошибке важнее половины оптимизаций — с работающим движком диагностик, подсказками did-you-mean и разбором эволюции языка. https://courses.digitable.life/post/compilers/06-intermediate-representation/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/compilers/06-intermediate-representation/ Почему после проверки типов дерево выбрасывают: трёхадресный код, базовые блоки и граф потока управления, доминаторы и фронт доминирования, построение SSA по Cytron и выход из неё — с работающим конвертером AST языка Mini в SSA-форму на Python. https://courses.digitable.life/post/compilers/10-garbage-collection/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/compilers/10-garbage-collection/ Как рантайм решает, что память больше не нужна: достижимость против живости, подсчёт ссылок и его циклы, трассирующая сборка и трёхцветный инвариант, копирование по Чейни, поколения и барьеры записи, конкурентные сборщики и природа пауз — с работающим mark-sweep и копирующим сборщиком для ВМ языка Mini. https://courses.digitable.life/post/compilers/04-semantic-analysis/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/compilers/04-semantic-analysis/ Фаза, связывающая каждое имя с его объявлением: лексические области видимости, таблица символов, слоты кадра и захват переменных замыканиями, порядок объявлений в разных языках и рабочий резолвер для языка Mini на Python. https://courses.digitable.life/post/compilers/02-parsing/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/compilers/02-parsing/ Как из плоского потока токенов получается дерево: контекстно-свободные грамматики, BNF, неоднозначность, левая рекурсия, FIRST/FOLLOW, рекурсивный спуск и Pratt-разбор — с полным работающим парсером языка Mini на Python.