[bitc-dev] Syntax: procedure call.

[Jonathan S. Shapiro]

On Sun, Apr 11, 2010 at 6:00 PM, Elias Gabriel Amaral da Silva
<tolkiendili at gmail.com> wrote:
> But, really, a type that depends on two other types could be written
> as Map(char, int), just like the application of a function that
> depends on two values...

Yes. And the syntax is consistent with higher-order kinding, which is
good. There is just something about it that strikes me as ugly. can't
quite say why that is.

Example:

struct S('a, 'b, 'c) {
   ...
}

There is just something about that which doesn't work for me visually.
I suspect, mostly, an issue of tradition. And perversely:

struct S 'a 'b 'c {
   ...
}

doesn't make me twitch the same way. I have no idea why.

Does the damned syntax actually need to be consistent? :-)

shap