I think I must have overlooked this site before. How could I live without it? I love this hands-on compiler stuff and purity / laziness / type inference is what I'm exploring right now (even if Haskell is not my language of choice).

The compiler fledgeling I work on only knows Booleans & complex numbers and still manages type inference without unification. But then, it's not a full language, just a better numeric calculator. These articles are welcome input for coming up with improvements & extensions...