16 Dec
2010
16 Dec
'10
1:28 p.m.
On Thu, Dec 16, 2010 at 04:41:24PM +0100, Luca Ciciriello wrote:
Hi, here my path (in correct order) I followed to learn to think functionally:
1) Curry-Howard Isomorphism 2) Type Theory & Functional Programming 3) The Hindley-Milner Type inference algorithm 4) Basic Category Theory 5) Notions of computation and monads 6) Denotational semantics 7) Monads for functional programming 8) Theorems for free. 9) A History of Haskell: Being Lazy With Class
These are all wonderful topics. But I strongly disagree with the notion that one must understand all of these before even starting a Haskell tutorial (!), or even that one must understand all of these to be able to "think functionally" in some sense. -Brent