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
In this post, we combine our compiler's tokenizer with a parser, allowing us to extract structure from input source code.| danilafe.com