On Mon, Feb 16, 2015 at 5:59 PM, Keean Schupke <[email protected]> wrote: > Are we saying arrows only take one left parameter and one right, so they > remain a binary operator on types, and that 'fn' builds an "argument pack", > like this: > > (fn a b c) -> d
The "fn" is just a meaningless keyword, Keean. It doesn't do anything but help the parser find the beginning of the type expression. We are not applying arguments to some mystical "fn" entity. In particular, I suspect it would be a syntax error to parenthesize it like you did above. I think the "fn" is really ugly and I'd like to talk about whether it's needed, and if so, what we can do instead. _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
