[Ur] Learning Ur/Web

[Adam Chlipala]

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.