Continue Course
Nice Work!
You have completed Write a Compiler That Understands Types
|
|
Write a Compiler That Understands Types
Ever wonder how TypeScript figures out types? Type inference might seem like magic, but you'll implement it step by step using the powerful Hindley-Milner system. Construct each part of a working compiler, including parsing, scope resolution, type inference, and bytecode generation. Deepen your understanding of language design and compiler internals by building a type system from scratch!
Course Progress
Lessons Completed
0
Lessons Remaining
0
Time Remaining
0 hr 0 min
0% completed
0% remaining
Course Detail
Published: June 10, 2025
Richard Feldman
Richard is the creator of the Roc programming language, the host of the Software Unscripted Podcast, and the author of “Elm in Action” from Manning Publications. He’s written a lot of JavaScript, dating back to the pre-jQuery days, but since 2015 has spent more time writing Elm, Rust, and Roc. Over the years he’s created several popular Elm packages, including elm-css, elm-test, and elm-json-decode-pipeline; the JavaScript seamless-immutable library; and a fully-featured programming language compiler in Rust.
