frontendmasters
FrontendMasters - Одна из самых лучших площадок для изучения Frontend. Видеокурсы ведут ведущие люди в этой отрасли.
Разработка компилятора с выводом статических типов
Building a Static Type-Inferring Compiler
★4.5 (всего оценок - 11)
Продолжительность
4 ч 50 мин
Категория
ДругоеКоличество уроков
26 Видео
Дата добавления
4 апр. 2025 г., 23:47
Язык
Английский
Дата выхода
3 апр. 2025 г., 01:00
Дата обновления
14 июн. 2025 г., 09:47
В этом курсе вы научитесь создавать статическую систему проверки типов и генератор двоичного машинного кода! По пути вы также узнаете, как компиляторы могут заранее обнаруживать ошибки имён (например, необъявленные переменные), а также освоите основы создания форматтера кода. Курс не охватывает парсинг исходного кода или работу интерпретаторов - этим темам посвящены другие курсы, например, «Создание собственного языка программирования».
Участвуя в этом курсе, вы научитесь:
- Понимать, как работает проверка и вывод типов
- Обнаруживать ошибки имён на этапе компиляции
- Разрабатывать инструменты, связанные с компиляцией, такие как форматтер кода
- Использовать статические типы для генерации эффективного машинного кода
Это пробный урок. Оформите подписку, чтобы получить доступ ко всем материалам курса. Премиум
- Урок 1. 00:10:01Introduction
- Урок 2. 00:06:08Terminology & Internal Architecture
- Урок 3. 00:19:58Formatter: Lexing, Parsing & Output
- Урок 4. 00:16:11Formatter Exercise
- Урок 5. 00:08:00Name Resolution
- Урок 6. 00:08:38Hoisting
- Урок 7. 00:09:48Name Resolution Exercise
- Урок 8. 00:07:57Hindley-Milner Type System
- Урок 9. 00:15:05Inferring Constants
- Урок 10. 00:09:01Path Compression
- Урок 11. 00:06:49Type Check Exercise
- Урок 12. 00:14:45Type Unification
- Урок 13. 00:13:29Type Unification Q&A
- Урок 14. 00:11:17Unify Multiplication Operator Exercise
- Урок 15. 00:12:27Inferring Conditionals
- Урок 16. 00:13:53Inferring Function Declarations
- Урок 17. 00:07:32Inferring Function Calls
- Урок 18. 00:08:38Inferring Functions Exercise
- Урок 19. 00:15:06Polymorphism
- Урок 20. 00:09:29Polymorphic Functions
- Урок 21. 00:09:51Type Annotations
- Урок 22. 00:14:15Polymorphism Exercise
- Урок 23. 00:15:06Generating Web Assembly (WASM)
- Урок 24. 00:05:45WASM Exercise
- Урок 25. 00:08:03Polymorphic and Monomorphic Function Generation
- Урок 26. 00:13:30Wrapping Up
Авторы - frontendmasters, Richard Feldman
Richard Feldman
Ричард - создатель языка программирования 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
Другие материалы в этой категории
Комментарии
kaamukvridhiPart 4 ends with a 5 minute break, looks like there are more videos after it?
CourseHunter Team kaamukvridhiMaybe, but nothing added by Frontendmasters yet
