💻 Программирование [frontendmasters] Разработка компилятора с выводом статических типов (2025)

[Calvin Candie]

Автор: frontendmasters
Название: Разработка компилятора с выводом статических типов (2025)

[frontendmasters] Building a Static Type-Inferring Compiler (2025)



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

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

Материал на английском языке

Подробнее:

Скачать:

Для просмотра скрытого содержимого вы должны войти или зарегистрироваться.