Function types syntax

[John Rose]

On Jan 27, 2010, at 5:44 AM, Rémi Forax wrote:

> Postfix notation (arrow) have also a problem with array brackets,
> int -> int[] can be a function type that return int[] or an array of 
> function type that returns int.

Good point.  That is a corner case which would require something like declarator parentheses:  int -> int[] vs. (int -> int)[].

Even apart from the effects on higher order function type syntax, that still looks better (to me) than the strawman: #int[](int) vs. #int(int)[].

-- John