Logical const

[Walter Bright]

Fawzi Mohamed wrote:
> logical const is useful for lazy functions and memoization, and if 
> implemented correctly it is perfectly safe.
> As I said in an older discussions, to have it with the current system 
> all that is needed is some guarantees that the compiler will not 
> disallow "unsafe" changes (by moving to read only memory for example)in 
> some cases.
> For example casted mutable types, so that casting to mutable works.

D allows escape from the type system, but the programmer who does that loses the 
guarantees, and it's up to him to ensure that the result works.

String literals, for example, are going to often wind up in read only memory.