[Grace-core] [A Graceful Blog] Comment: "From Lancaster to Portland"

[James Noble]

> It's a bit strange that they introduced intersection types in the language reference, but not in the language, as it seems to go against the 
> philosophy of nominal typing.  I suppose they found it OK as the programmer never sees these types.

Mostly. except Java does have intersection types  - in type bounds you can write "T extends Foo & Bar" 

this is useful, this is why we should keep them in Grace

J