Разработка компилятора с выводом статических типов

В этом курсе вы научитесь создавать статическую систему проверки типов и генератор двоичного машинного кода! По пути вы также узнаете, как компиляторы могут заранее обнаруживать ошибки имён (например, необъявленные переменные), а также освоите основы создания форматтера кода. Курс не охватывает парсинг исходного кода или работу интерпретаторов - этим темам посвящены другие курсы, например, «Создание собственного языка программирования».

Участвуя в этом курсе, вы научитесь:

• Понимать, как работает проверка и вывод типов
• Обнаруживать ошибки имён на этапе компиляции
• Разрабатывать инструменты, связанные с компиляцией, такие как форматтер кода
• Использовать статические типы для генерации эффективного машинного кода