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



![Изображение курса Учимся мыслить [Когнитивные искажения]](https://cdn.coursehunter.net/courses/370x220/uchimsya-myslit-kognitivnye-iskazheniya.webp)





![Изображение курса Учимся принимать лучшие решения [Принятие решений]](https://cdn.coursehunter.net/courses/370x220/uchimsya-prinimat-luchshie-resheniya-prinyatie-resheniy.webp)