On Tue, Feb 17, 2015 at 12:17 AM, Geoffrey Irving <[email protected]> wrote:
> I agree that the asymmetry is real. The effect of "fewer" (in my > terminology) is allocation, the effect of "more" is a somewhat slower > calling convention. Allocation is the worse of the two options. > Since the notion I have in mind *never* introduces an allocation (in the absence of explicit user syntax saying to do so), we're not looking at this the same way. I'm stealing second between appointments right now. Should have time to do a careful note a bit later.
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
