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
<lino.aguiar.rosa@gmail.com> wrote:
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