[Grace-core] Parsing ambiguity

Andrew P. Black black at cs.pdx.edu
Tue Jul 1 17:47:07 PDT 2014


On 1 Jul 2014, at 17:23, Timothy Jones <tim at ecs.vuw.ac.nz> wrote:

> On 02/07, James Noble wrote:
>> 1. because Java because C++
>> 2. unlike other arguments, "type" arguments in <>s are optional.
>> 3. at one point I tried to suggest a general optional keyword scheme, and you'd write foo type(X,Y)  or something if you wanted to give types
> 
> Rust is having this argument at the moment as well.
> 
> https://github.com/rust-lang/rfcs/pull/148


It’s a different argument: [ ] vs < >.    Fortress uses Oxford brackets, ⟦ ⟧, which were typed [[ and ]].

	Andrew


	


More information about the Grace-core mailing list