Re: call-time choice vs partial application?

From: Emilio Jesús Gallego Arias <egallego_at_babel.ls.fi.upm.es>
Date: Fri, 04 May 2007 18:00:23 +0200

Claus Reinke <claus.reinke_at_talk21.com> 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
result"

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.

Regards,

Emilio

_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on So Mai 06 2007 - 17:56:00 CEST

This archive was generated by hypermail 2.3.0 : Do Feb 01 2024 - 07:15:07 CET