Content deleted Content added
No edit summary |
No edit summary |
||
Line 7:
:::The IO monad is one example (see [http://www.haskell.org/pipermail/haskell/2002-May/009622.html]). [[User:Cadr|Cadr]] 11:08, 1 Jun 2004 (UTC)
::::It's not clear, actually, since the difference is only visible with the 'seq' function, which is considered slightly dubious anyway. More importantly, these are ''Haskell's'' monad laws that IO may or may not be properly living up to: the sense in which "monad" is used in Haskell is ''precisely'' the CT sense.
::::If you think this should be a separate article, rename it "Monads in functional programming", rather than the () notation which suggests that it's a separate sense of the word.—[[User:Ashley Y|Ashley Y]] 02:49, 2004 Jun 2 (UTC)
|