Re: call-time choice vs partial application?

From: Emilio Jesús Gallego Arias <>
Date: Fri, 04 May 2007 18:00:23 +0200

Claus Reinke <> writes:

> is my expectation wrong, or PAKCS? what do other Curry implementations
> return here?

In Sloth, we don't allow partial applications to be in NF, so it returns "No

Allowing them, the result is (somewhat simplified):

((wrap (_8596=:=,0),_8596),(b_lambda_e_lambda0 _8670,_8670))

So wrt to your comments:

> i would expect a and b to be equivalent, as the evaluation of and choice for
> wrap's first parameter shouldn't happen until we have a complete application
> and demand for its result ("if a rule is applied to a function call").

So I think it behaves as you expected.



curry mailing list
Received on So Mai 06 2007 - 17:56:00 CEST

This archive was generated by hypermail 2.3.0 : Mo Dez 04 2023 - 07:15:09 CET