const challenge

[Sergey Gromov]

Walter Bright Wrote:

> D const, on the other hand, is driven by the idea that the semantics of 
> it must be reliable. The twin concepts of invariantness and transitivity 
> are the key. As we discussed, I think it results in a paradigm change, 
> rather than just sprinkling const through the declarations.
> 
> Invariant strings are one example of the transformative nature of it, 
> and it took me a long time to 'get it'. So I understand completely the 
> skepticism about it.

There wouldn't be any need in unique() if not invariant().  Right now programmers have to rely on conventions and their knowledge of data
structures rather than on strict typing.

SnakE