Haskell是一种功能性语言(也就是说,所有的事情都是通过函数调用完成的),静态的、隐式的类型(类型由编译器检查,但你不需要声明它们),懒惰的(在需要之前什么都不做)语言。
Bartosz Milewski的《程序员的类别理论》非官方PDF和LaTeX来源
初级算法和数据结构书