References for learning the theory behind pure functional languages such as Haskell?

问题

While learning Haskell I had the feeling that the authors where not always telling me everything, so to truly understand it I would like to know the theory behind the type system, monads and concepts like that.

Most of these concepts come from Category Theory I heard, so what are some good books/websites on this topic and related topics?

回答1:

Papers by Philip Wadler and Simon Peyton Jones should get you started on the theory behind Haskell. The book The Implementation of Functional Programming Languages (available online) by Simon Peyton Jones is quite old but still interesting.

回答2:

I'd recommend looking at some of the research papers on the topic. Philip Wadler's "Comprehending Monads" and "Monads for functional programming" are two good starting places for understanding monads.

You'll find links to most at http://www.haskell.org/haskellwiki/Research_papers.

回答3:

Haskell has a Hindley Milner type system. See Wikipedia and this blog post for more details.

回答4:

Maybe you'll find this blog post useful.

回答5:

Lambda calculus is definitely imortant if you truly want to understand functional languages. I can recommend Henk Barendregt's introduction, as well as his book (full text online).

来源：https://stackoverflow.com/questions/671257/references-for-learning-the-theory-behind-pure-functional-languages-such-as-hask