Building a Static Type-Inferring Compiler

Building a Static Type-Inferring Compiler

English | MP4 | AVC 1920×1080 | AAC 44KHz 2ch | 4 Lessons (3h 46m) | 750 MB

Spend a full day learning to build a static type-checking compiler with Richard Feldman!

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).

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
Homepage