Il Sun, Sep 03, 2006 at 12:26:25AM +0200, Tomasz Zielonka ebbe a scrivere: > On Sat, Sep 02, 2006 at 09:51:26PM +0200, Benjamin Franksen wrote: > > However, in order to 'run' (i.e. finally actually use) a monadic value > > that involves an application of bind, the latter would have to supply > > some argument to its second argument (which is a function), > > If I didn't see above, only the following text... > > > so there must be some way to 'get an a out of' the first argument m. > > I would answer: Yes, there is a method in Monad which has exactly this > purpose: >>= >
I tried to describe this stuff in the link below, the best I could. The text is still in part messing but you should be able to understand where I'm headed just from the code... http://www.haskell.org/haskellwiki/Meet_Bob_The_Monadic_Lover andrea _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
