AST и IR Manipulation

Понимает структуру Abstract Syntax Tree и умеет рекурсивно обходить дерево. Применяет visitor паттерн для простых трансформаций. Знает основные типы узлов AST для популярных языков.

Разбирает простой код в AST-узлы с помощью библиотек парсинга. Понимает основы обхода деревьев и типы узлов. Пишет простые AST-визиторы для задач анализа кода под руководством наставника.

Читает и навигирует по AST-структурам, сгенерированным фронтендами компиляторов. Понимает соответствие между исходным кодом и IR-представлениями. Модифицирует простые IR-трансформации по установленным паттернам.

Реализует сложные трансформации AST: constant folding, dead code elimination, inlining. Использует babel/typescript compiler API для трансформации кода. Пишет плагины для ESLint и TSC.

Реализует AST-трансформации для инструментов рефакторинга и линтеров. Строит оптимизации на уровне IR: свёртку констант, удаление мёртвого кода. Пишет комплексные тест-сьюты для проверки корректности работы с деревьями.

Реализует IR-проходы для оптимизации и понижения уровня в компиляторных пайплайнах. Работает с SSA-формой и графами потока управления для анализа программ. Пишет регрессионные тесты, обеспечивающие корректность трансформаций на граничных случаях.

Проектирует пайплайн AST трансформаций для оптимизирующего компилятора. Реализует type checking и name resolution на уровне AST. Строит Symbol Table с корректным scoping.

Проектирует AST-фреймворки для функций IDE: автодополнение, семантическая подсветка. Архитектурирует инкрементальный парсинг и type-aware трансформации. Менторит команду по методам анализа программ на основе деревьев.

Проектирует кастомные IR-представления, оптимизированные под целевые архитектуры. Архитектурирует многопроходные компиляторные пайплайны с продвинутыми оптимизациями. Менторит инженеров по интеграции систем типов и доказательствам корректности IR.

Архитектурирует систему AST трансформаций для компиляторного проекта. Принимает решения об IR представлении и оптимизационных проходах. Внедряет тестирование трансформаций.

Определяет архитектуру компилятора. Формирует стандарты разработки. Координирует compiler team.

Определяет архитектуру компилятора. Формирует стандарты разработки. Координирует compiler team.

Определяет стратегию IR design для компиляторной платформы. Исследует новые подходы к AST representation (algebraic effects, ANF, CPS transform). Влияет на roadmap компилятора.

Определяет стратегию развития компилятора/языка. Проектирует core language features. Формирует technology vision.

Определяет стратегию развития компилятора/языка. Проектирует core language features. Формирует technology vision.