Re: equality of partial applications

From: Sebastian Fischer <>
Date: Mon, 18 Jun 2012 09:53:45 +0200

On Mon, Jun 18, 2012 at 9:30 AM, Wolfgang Lux <> 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!
curry mailing list
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