
28 Sep
2012
28 Sep
'12
8:07 a.m.
Hi Lino,
Brent gave an excellent answer. Looking up "cartesian closed category"
should yield even more insights.
On Fri, Sep 28, 2012 at 9:07 AM, Lino Rosa
That's the function resulting from the previous partial application of (+), but that fuction only exists at run time, after you apply the first one.
When you speak of a function that "only exists at run time", I think you're alluding to partial evaluation. Haskell doesn't do that, although many have wished for it. -- Kim-Ee