tag:blogger.com,1999:blog-4261954431421179908.post4911205194639998615..comments2022-12-05T06:36:55.247+00:00Comments on <a href="http://www.q-media.com/"><img src="http://q-media.com/images/qlogo.gif"></a>: Ceci n'est ce pas une Haskell Monad TutorialSteve Piercehttp://www.blogger.com/profile/05111167194178030567noreply@blogger.comBlogger2125tag:blogger.com,1999:blog-4261954431421179908.post-69309689061548830162010-12-15T00:47:32.851+00:002010-12-15T00:47:32.851+00:00The title should be: "Ceci n'est pas un H...The title should be: "Ceci n'est pas un Haskell monad totorial"Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-4261954431421179908.post-86843829832590019132010-12-14T00:05:59.322+00:002010-12-14T00:05:59.322+00:00I'd like to point out that there's a signi...I'd like to point out that there's a significant difference between these, as far as monads go:<br /><br />data Id a = Id a<br /><br />newtype Id a = Id a<br /><br />In particular, with one of them, "undefined >> return 5" explodes at runtime. With the other, it does not.<br /><br />Understanding which has which behavior, and why, is an important part of understanding evaluation in Haskell.Anonymousnoreply@blogger.com