Re: monad thinking process

2002-01-25 Thread Andre W B Furtado
Just check this monad tutorial (attached). It's really great for beginners. -- Andre --- Begin Message --- -- Forwarded message -- Date: Tue, 05 Jun 2001 11:26:12 -0300 From: Andre Santos <[EMAIL PROTECTED]> Newsgroups: depto.cursos.grad.if098 Subject: Monads for the Working

Re: monad thinking process

2002-01-25 Thread Theodore Norvell
Cagdas Ozgenc wrote: > > Greetings. > > I have very little experience with monads. However my first impression is > that there is too much thinking process involved in programming with monads, > and it is very time consuming, at least for a beginner like myself. I don't > know how productivity c

Re: monad thinking process

2002-01-25 Thread Shawn P. Garbett
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On Friday 25 January 2002 06:14 am, Cagdas Ozgenc wrote: > Greetings. > > I have very little experience with monads. However my first impression is > that there is too much thinking process involved in programming with > monads, and it is very time co

Re: monad thinking process

2002-01-25 Thread Eray Ozkural (exa)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On Friday 25 January 2002 14:14, Cagdas Ozgenc wrote: > > What do monad experts think? What do you think of code readability? How > easy is it to prove that programs written with monads are correct? How does > changing one function affect other functi

Re: monad thinking process

2002-01-25 Thread Ronald Legere
Cagdas, Is it possible for you to give an example where you think there is too much thinking involved? I dont see it. Writing haskell IO with monads (with the Do notation) is just a straightforward as writing C code for the same steps, isnt it? Just try not to think about it too mu

monad thinking process

2002-01-25 Thread Cagdas Ozgenc
Greetings. I have very little experience with monads. However my first impression is that there is too much thinking process involved in programming with monads, and it is very time consuming, at least for a beginner like myself. I don't know how productivity changes once you get used to programm

Re: Monad composition

2002-01-25 Thread John Hughes
Andre W B Furtado wrote: >Well, it's also possible to interchange data between these two monads by: > >unsafeIOToST :: IO a -> ST s a >stToIO :: ST s a -> IO a > >Can anyone tell the possible problems related to >unsafeIOToST?