Comments on Q-media: Ceci n'est ce pas une Haskell Monad Tutorial

The title should be: "Ceci n'est pas un H...

2010-12-15T00:47:32.851Z

The title should be: "Ceci n'est pas un Haskell monad totorial"

I'd like to point out that there's a signi...

2010-12-14T00:05:59.322Z

I'd like to point out that there's a significant difference between these, as far as monads go:

data Id a = Id a

newtype Id a = Id a

In particular, with one of them, "undefined >> return 5" explodes at runtime. With the other, it does not.

Understanding which has which behavior, and why, is an important part of understanding evaluation in Haskell.

That's great advice... thanks!

2010-12-13T20:50:02.032Z

That's great advice... thanks!

Based on your educational experience, I'd reco...

2010-12-13T20:16:41.497Z

Based on your educational experience, I'd recommend implementing the IDT monad transformer. :-)