>"Curried functions may be used in any programming language that supports
>closures;
>however, uncurried functions are generally preferred for efficiency reasons,
>since the
>overhead of partial application and closure creation can then be avoided for
>most function
>calls."See also the paragrap
Dear Tim:
According to Wiki on currying (https://en.wikipedia.org/wiki/Currying,
paragraph on lambda calculi):
"Curried functions may be used in any programming language that supports
closures; however, uncurried functions are generally preferred for efficiency
reasons, since the overhead of p
Temptation...
I would like to remain faithful to Axiom's syntax for signatures
foo: (%,%) -> %
but the world seems to have converged on
foo: % -> % -> %
This shows up everywhere in logic, in haskell, etc.
It allows for a primitive kind of currying, the "right curry"
(Some form of scheme allows