12 Jul
2007
12 Jul
'07
11:35 a.m.
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:Bulat.Ziganshin@gmail.com