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