const?? When and why? This is ugly!

[Walter Bright]

grauzone wrote:
> I didn't mean going back to programming with locks. Instead you could 
> use the new ideas without extending the type system. As far as I 
> understand, the language extensions are only needed for verification (so 
> far).

Without verification, it's programming by hopeful convention. If you 
want a reliable system, you need more than hope <g>.