In this post, we extend our language with let/in expressions and lambda functions.| danilafe.com
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 define the rules for a G-machine, the abstract machine that we will target with our compiler.| 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