Purity is not the only effect of interest. Heap allocation is another. I do concur that a partial application does not entail mutation effects, though it does entail escape (which has consequences for by-ref parameters). The more I think on this, the more interactions it seems to have, which inclines me (somewhat) to defer.
shap, from my phone On Mar 9, 2009 5:10 AM, "David-Sarah Hopwood" < [email protected]> wrote: Jonathan S. Shapiro wrote: > On Sat, Mar 7, 2009 at 5:16 PM, Gelf Mrogen < [email protected]> wrot... Why? I would also expect the equivalence suggested by Gelf: if an application of an impure function is known to be a partial application, then it does not itself have any effects. For example, ((lambda (a b) (f a b)) x) == (lambda (b) (f x b)) so the partial application is pure, even if its result isn't. -- David-Sarah Hopwood ⚥ _______________________________________________ bitc-dev mailing list [email protected] http://...
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
