On Mon, Sep 14, 2009 at 15:03, Adam Chlipala <[email protected]> wrote: > Anthony Di Franco wrote: >> >> We do have monads for scala, in the for construct, and via the >> Functional Java library, see here: >> http://debasishg.blogspot.com/2008/03/monads-another-way-to-abstract.html >> >> It's idiomatic in that the for construct is a central part of the >> language routinely used, but whether that helps for Ur-learning >> purposes is a separate question I won't address. >> > > I purposely wrote "monadic IO," not "monads." I meant the forced use of a > particular monad to access any side effects.
That, definitely not. >> Knowing what a functor is, I don't know what makes them or their use >> "ML-style" but I would like to so as to be able to comment. >> > > You're probably thinking of a different meaning of the word. "functor" is a > keyword of SML; it's the associated construct that I mean. Yes, ok. > _______________________________________________ > Ur mailing list > [email protected] > http://www.impredicative.com/cgi-bin/mailman/listinfo/ur > _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
