On 06/18/2012 09:53 AM, Sebastian Fischer wrote:
> 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..
Just a short remark to your interesting discussion.
I think that undecidability is not an argument against supporting
extensional equality. Unification modulo defined operations
is also undecidable but still supported in Curry...
Actually, some form of higher-order unification was originally
proposed for Curry but later abandoned due to its complexity.
Best regards,
Michael
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Mi Jun 20 2012 - 18:11:06 CEST