Algebraic data structures are really nice for representing ASTs and intermediate languages. And a compiler lends itself very well to functional programming, bec

Algebraic data structures are really nice for representing ASTs and intermediate languages. And a compiler lends itself very well to functional programming, because what you ultimately want is just a function that takes the input code and produces the output code.