Best IT Recipes

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

During my studies at Haskell, I had a feeling that authors who do not always tell me everything, therefore, to really understand this, I would like to know the theory of type systems, monads and such concepts.

Most of these concepts come from the category theory that I have heard, so what are these good books / sites on this topic and related topics?

+13
functional-programming haskell
Mar 22 '09 at 16:36
source share
5 answers

Papers from Philip Wadler and Simon Peyton Jones should start with Haskell's theory. The book Implementation of Functional Programming Languages (available online) by Simon Peyton Jones is quite old, but still interesting.

+8
Mar 22 '09 at 16:48
source share

I would recommend looking at some of the research papers on this topic. Philip Wadler Understanding Monads and Monads for Functional Programming are two good starting points for understanding monads.

You will find links to most of http://www.haskell.org/haskellwiki/Research_papers .

+4
Mar 22 '09 at 16:50
source share

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

+4
Mar 22 '09 at 20:29
source share

You may find this blog post helpful.

+3
Apr 03 '09 at 15:47
source share

Lambda calculus is certainly strong if you really want to understand functional languages. I can recommend the introduction of Henk Barendregt , as well as his book (full text on the Internet).

+3
Aug 03 '09 at 22:12
source share


More articles:


All Articles