On Mon, Jun 18, 2012 at 9:30 AM, Wolfgang Lux <wlux_at_uni-muenster.de> wrote:
> However, what you are expecting here is extensional equality, which is impossible to support in Curry.
Not only in Curry, as it is in general undecidable..
> Without modifying Curry's type system, the only alternative would be reporting a runtime error when you attempt unifying two partial applications.
Yes, I would prefer a runtime error (or failure) as result of
comparing functions which would make the difference between 'id' and
'map id' unobservable.
Thanks for your pointers!
Sebastian
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Mi Jun 20 2012 - 17:19:41 CEST