const?? When and why? This is ugly!

[grauzone]

Walter Bright wrote:
> grauzone wrote:
>> Does this approach fit D at all? D is a C based system programming 
>> language. Does it work to demand from everyone to obey the const 
>> rules? Couldn't all this be done manually, instead of bothering the 
>> programmer with a complex type system?
> 
> Doing it manually is how it's done in C. And the results are it is a 
> massive failure. It's just impractical to write reliable, portable, 
> inspectable, and maintainable multithreaded code in C. Even the experts 
> can't get the trivial cases right, as there was a famous recent example 
> in Dr. Dobb's (forgot the name of the article at the moment).

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).