> ...there is a correctness benefit over C/C++ for a disciplined programmer. Businesses want cheap programmers, not disciplined programmers. It's a great utopi

> ...there is a correctness benefit over C/C++ for a disciplined programmer. Businesses want cheap programmers, not disciplined programmers. It's a great utopia if everyone just follows the best practices and does it perfectly all the time, but I guarantee that as margins become thin people writing, say, code for autonomous vehicles are doing the _very_ minimum to meet correctness requirements.