一本谈论现代函数编程语言编译器实现的好书

http://research.microsoft.com/en-us/um/people/simonpj/papers/pj-lester-book/
作者是haskell之父，超级大牛，这本书比《The Implementation of Functional Programming Languages》理论部分谈的浅，但是特点是很实际，你可以照着书中的例子来完成一个简单的编译器，其中代码部分，都是以literate haskell source的形式给出的，我上面给出的链接里有所有源代码，可以直接编译出每一部分来自己实验的。