[Ur] Maybe Monad ( option monad) or list monad in Ur

Vitaliy Akimov vitaliy.akimov at gmail.com
Sat Aug 6 09:30:28 EDT 2011


On Sat, Aug 6, 2011 at 3:28 PM, Adam Chlipala <adamc at impredicative.com> wrote:
>
> You could certainly redefine the class on your own in a way which
> allows defining new instances.

This won't allow using monad notation for new instances (e.g. list
comprehensions). I would even bind other urweb syntax extensions to
some classes which are possible to override.



More information about the Ur mailing list