[Haskell-cafe] Re: Haskell for categorists
bayer at math.columbia.edu
Mon Jul 16 10:23:53 EDT 2007
Miguel Mitrofanov <miguelimo38 <at> yandex.ru> writes:
> There are a lot of tutorials ensuring the reader that, although
> Haskell is based on category theory, you don't have to know CT to use
> Haskell. So, is there ANY Haskell tutorial for those who do know CT?
If you know category theory, it's a good bet that you're used to learning new
subjects by reading research papers. You may even subscribe to the old acorn
that it's best to read original sources.
One can't learn Haskell _just_ by reading papers, but it sure helps give
perspective on how Haskell came to be, which in turn helps Haskell make more
sense. Go read the original papers suggesting that category theory might be
helpful in functional programming. Then try to find monads in the classic
category theory textbooks, and stare at the surrounding pages.
More information about the Haskell-Cafe