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.
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.
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur