Building a Static Type-Inferring Compiler
Этот курс — практическое руководство по созданию компилятора со статической типизацией, в котором вы шаг за шагом разберёте, как устроен вывод типов, статическая проверка корректности кода и генерация машинных инструкций. Материал идеально подходит тем, кто хочет углубиться в системное программирование и понять реальные механизмы работы языков со строгой типизацией.
Курс помогает сформировать целостное понимание современного компиляторостроения без избыточной теории — только практические и применимые знания.
Вы познакомитесь с фундаментальными принципами статического анализа, научитесь строить систему типов и обеспечивать безопасность программы ещё до запуска.
Вы разберёте, как компиляторы предотвращают распространённые ошибки, такие как использование необъявленных переменных или повторное определение имён.
Вы научитесь превращать проверенное и типобезопасное представление программы в оптимизированный машинный код.
Помимо базовой функциональности компилятора курс включает разработку полезных утилит, которые часто сопровождают современные языки программирования.
Вы поймёте, как работает автоматическое форматирование и научитесь создавать собственный инструмент, который улучшает читаемость и стиль исходного кода.
Курс отлично подойдёт студентам, начинающим и практикующим разработчикам, которые хотят глубже понять внутренние механизмы языков программирования. Опыт создания парсеров не обязателен — эта тема раскрывается в связанном курсе «Создание собственного языка программирования».
Освоив курс, вы сможете уверенно работать с основами компиляторов, разрабатывать собственные инструменты для анализа и генерации кода и лучше понимать современные технологии, лежащие в основе языков со статической типизацией.
Видео и материалы этого курса больше недоступны для просмотра.
26 уроков · 4 ч 50 мин
Master.dev — это образовательная платформа для разработчиков, которая помогает совершенствовать инженерные навыки: от изучения языков программирования и веб-разработки до работы с базами данных, облачной инфраструктурой, DevOps и искусственным интеллектом. Ранее известная как Frontend Masters, платформа расширила фокус и теперь обучает разработчиков всему спектру современной разработки ПО.
Ричард - создатель языка программирования Roc, ведущий подкаста Software Unscripted и автор книги «Elm в действии» (Elm in Action), изданной Manning Publications. Он начал писать на JavaScript ещё до появления jQuery, но с 2015 года сосредоточился на разработке на Elm, Rust и Roc. За это время Ричард создал несколько популярных библиотек для Elm, включая elm-css, elm-test и elm-json-decode-pipeline, а также JavaScript-библиотеку seamless-immutabl
