On 17 February 2015 at 06:54, Matt Oliveri <[email protected]> wrote:

> > What I was trying to say is that when all functions are arity-1
> > the compiler never needs to insert lambda wrappers to turn curried
> > application into intermediate function calls that accumulate the
> arguments.
>
> Oh! OK, I understand now. So in other words, because curried
> applications are only allowed on functions that are natively curried,
> the compiler doesn't need to generate lambdas to curry them.
>

​I think I missed something.  Wasn't the issue that the lambdas introduced
allocation?  Natively curried functions typically do the same, right?  So
what problem is this solving?

-- 
William Leslie

Notice:
Likely much of this email is, by the nature of copyright, covered under
copyright law.  You absolutely MAY reproduce any part of it in accordance
with the copyright law of the nation you are reading this in.  Any attempt
to DENY YOU THOSE RIGHTS would be illegal without prior contractual
agreement.
_______________________________________________
bitc-dev mailing list
[email protected]
http://www.coyotos.org/mailman/listinfo/bitc-dev

Reply via email to