DIP69: problem with scope grammar - need a new keyword

[Paolo Invernizzi via Digitalmars-d]

On Monday, 8 December 2014 at 20:42:49 UTC, deadalnix wrote:
>
> No I mean the reverse. Let's make it with const as it is better
> understood by everybody, and at the end we discuss grammar, so 
> it
> doesn't matter.
>
> const A delegate() a; // A mutable delegate that return a 
> const(A)
> A const delegate() a; // A const delegate with a const context
> (context is transitive) and return an A.
> A delegate() const a; // A mutable delegate with a const context
> that return an A.
>
> You have inherently 3 things to qualify when it come to 
> delegate:
> the return type, the context and the delegate itself.
>
> Yes, that create an inconsistency in the grammar. On the other
> hand, that allow for much more consistency in other aspect of 
> the
> language. If consistency is a measure, the proposal is a winner.
>
> Relevant: http://wiki.dlang.org/DIP30

+1!
---
Paolo