I like sigfpe's introduction to monads: http://sigfpe.blogspot.com/2006/08/you-could-have-invented-monads- and.html -- Lennart On Aug 26, 2006, at 14:04 , Andrea Rossato wrote:
Il Fri, Aug 25, 2006 at 01:13:58PM -0400, Cale Gibbard ebbe a scrivere:
Hey cool, a new monad tutorial! :)
Just out of interest, have you seen my Monads as Containers article? http://www.haskell.org/haskellwiki/Monads_as_Containers
Let me know what you think of it. I find that often newcomers to monads will find the container perspective easier to grasp before moving on to treating monads as an abstraction of computation, but that side of things needs coverage too. :)
Sure I've read it! I must confess I find it difficult, though. I mean, the exemplification part is very interesting but, for me, it was too difficult to connect it to the code I was looking at.
This is way I decided this approach: let's start building a monad and see what it is by actually looking it at work.
The evaluator is a very simple piece of code, you can clearly see what it does. And then you start building up your knowledge by expanding it. Take into account that, for me, *writing* that tutorial is *the* way to get to grasp all the concepts behind the type system (and monads).
As you can see in a thread below, I'm studying hard in order to find out the proper continuation of the tutorial, and for my learning.
So far I'll be able to describe the code of a statefull evaluator that produces output. Then I'd like to add exception handling. Let's see if I'll be able to get that far...
By the way, I'll soon add links to the other important tutorials on monads: yours, IO Inside, All about monads. At the I'd like to be able to link A Gentle introduction, the Haskell 98 Report and, why not, "Write yourself a Scheme in 48 hours". That will be it.
Thanks for your kind attention. Andrea _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe