Hello peterv,

Thursday, July 12, 2007, 6:01:43 PM, you wrote:

> Monads were very confusing because I first looked at Concurrent Clean (it
> comes with an IDE and games! :), and that language uses a simple "uniqueness
> typing" approach where the "world" or "state" is explicitly passed as an
> object, and where the compiler garantees "monadic" usage of that object

btw, internally most haskell compilers do the same and monad syntax is
just syntax sugar above this. look at http://haskell.org/haskellwiki/IO_inside
to complete the picture. and ST monad does the same too

-- 
Best regards,
 Bulat                            mailto:[EMAIL PROTECTED]

_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to