[Ur] Learning Ur/Web

[Anthony Di Franco]

On Mon, Sep 14, 2009 at 15:03, Adam Chlipala <adamc at impredicative.com> 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
> Ur at impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
>