Building a Static Type-Inferring Compiler
Building a Static Type-Inferring Compiler
.MP4, AVC, 1920x1080, 30 fps | English, AAC, 2 Ch | 3h 46m | 750 MB
Instructor: Richard Feldman
.MP4, AVC, 1920x1080, 30 fps | English, AAC, 2 Ch | 3h 46m | 750 MB
Instructor: Richard Feldman
Learn to build a static type-checking compiler with Richard Feldman.
Key Takeaways
By participating along with us in the workshop, you'll learn:
- Understand how type checking and type inference work
- Learn how compilers can statically detect naming errors
- See how to build compiler-related tools like a code formatter
- Learn how a compiler can use static types to generate efficient machine code
Is This Workshop for Me?
This course is for experienced programmers. It uses (very basic) JavaScript as the language for implementing the compiler, so if you want to do the exercises, you’ll need to be able to write JS. The course also starts with a compiler that turns source code into data structures, so although the course doesn’t require that you know how to do that, it also won’t be covering how to do it.
Workshop Details
In this course, you’ll learn how to build a static type-checker and binary machine code generator! Along the way, you’ll learn how to statically detect naming errors, as well as the basics of making a code formatter. This course doesn’t cover how source code gets parsed, or how interpreters work, but other courses cover those concepts (such as the “Building Your Own Programming Language” course).
Any Prerequisites?
- Significant programming experience (in any language)
- Knowing how to write JavaScript on a basic level, because the examples and exercises use JavaScript.
Building a Static Type-Inferring Compiler
