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