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