Hi Lino,<div><br></div><div>Brent gave an excellent answer. Looking up "cartesian closed category" should yield even more insights.</div><div><br></div><div>On Fri, Sep 28, 2012 at 9:07 AM, Lino Rosa <span dir="ltr"><<a href="mailto:lino.aguiar.rosa@gmail.com" target="_blank">lino.aguiar.rosa@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">That's the<br>function resulting from the previous partial application of (+), but<br>
that fuction only exists at run time, after you apply the first one.</blockquote></div><div><br></div><div>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.</div>
<div><br></div><div><br clear="all">-- Kim-Ee<br></div><div><br></div>