In this post, we extend our compiler's typechecking algorithm to implement the Hindley-Milner type system, allowing for polymorphic functions.| danilafe.com
In this first post of a larger series, we embark on a journey of developing a compiler for a lazily evaluated functional language.| danilafe.com