Re: equality of partial applications

From: Sebastian Fischer <sebf_at_informatik.uni-kiel.de>
Date: Mon, 18 Jun 2012 09:53:45 +0200

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

This archive was generated by hypermail 2.3.0 : Do Jun 20 2024 - 07:15:12 CEST