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 post, we implement the supporting code that will be shared between all executables our compiler will create.| 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