Type Inference и Type Checking

Понимает базовые алгоритмы вывода типов: unification, Hindley-Milner inference. Знает разницу между structural и nominal type systems. Умеет работать с simple generics.

Изучает основы алгоритмов вывода типов, таких как Hindley-Milner и унификация. Читает исходный код компилятора, чтобы понять работу проходов проверки типов на практике.

Изучает, как вывод типов и проверка типов влияют на расположение данных в памяти и гарантии безопасности. Понимает базовые правила системы типов, применяемые компилятором в языках Rust или C++.

Реализует bidirectional type checking для языков с type annotations. Понимает constraint-based type inference. Пишет type checker для языка с generics и simple subtyping.

Реализует проходы вывода типов и интегрирует их с преобразованиями IR. Пишет комплексные тестовые наборы для проверки корректности type checker, включая граничные случаи с дженериками и вариантностью.

Применяет знания вывода типов для написания более безопасного низкоуровневого кода с минимумом явных аннотаций. Использует проверку типов компилятора для обнаружения проблем безопасности памяти и неопределённого поведения на этапе компиляции.

Проектирует type system для нового языка: variance, higher-kinded types, existential types. Реализует incremental type checking для language server. Оптимизирует производительность type checker.

Проектирует продвинутые возможности системы типов, включая зависимые типы, GADT и вычисления на уровне типов. Архитектурно проектирует оптимизационные проходы компилятора, использующие информацию о типах для улучшения кодогенерации. Менторит команду по теории типов.

Проектирует типобезопасные абстракции для системных API, обеспечивающие корректность на этапе компиляции. Оценивает и влияет на решения по проектированию системы типов в языках вроде Rust, внося вклад в более безопасные паттерны системного программирования.

Архитектурирует эволюцию type system языка с учётом backwards compatibility. Принимает решения о breaking changes. Управляет командой type system инженеров.

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

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

Определяет долгосрочную стратегию type system для языка платформы. Исследует dependent types, linear types, effect systems. Публикует академические работы о type системах.

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

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