[bitc-dev] Opinions wanted: Infix shift operators
Jonathan S. Shapiro
shap at eros-os.org
Thu Aug 5 21:17:04 PDT 2010
On Thu, Aug 5, 2010 at 12:23 PM, wren ng thornton <wren at freegeek.org> wrote:
> > Hi!
> > Why not do like haskell and say
> > S typevar typevar
> > instead of S<typevar, typevar>?
> > Like Either Integer String
> I'm very much in favor of the whitespace application syntax.
Because this isn't Haskell.
In the BitC use domain, it is important to be able to take full advantage of
the native calling convention. Because of this, arity is part of type. That
is, the types:
int x int -> int
int -> int -> int
are not the same.
I would actually prefer to use the currying syntax myself, and if someone
can show me how to make that work I think I would adopt it.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the bitc-dev