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

[hao deng]

On Sat, Aug 6, 2011 at 5:28 AM, Adam Chlipala <adamc at impredicative.com> wrote:
> austin seipp wrote:
>>
>> It's there in basis but there is no function with which you can
>> construct an instance of 'monad a'. The type class is closed and the
>> only instances are for 'transaction' and 'signal'.
>>
>
> That's right.  Due to a slightly embarrassing compiler implementation
> choice, there is no way now to create other [monad] instances.  You could
> certainly redefine the class on your own in a way which allows defining new
> instances.
>
> Or I could change the compiler at some point. :)
How long will that take? can we enter a ticket for that?
>
> _______________________________________________
> Ur mailing list
> Ur at impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
>