Note this: """ Only after Praxis's engineers are sure that they have logically correct specifications written in Z do they start turning the statements into ac

Note this: """ Only after Praxis's engineers are sure that they have logically correct specifications written in Z do they start turning the statements into actual computer code. The programming language they used in this case, called Spark, was also selected for its precision. Spark, based on Ada, a programming language created in the 1970s and backed by the U.S. Department of Defense, was designed by Praxis to eliminate all expressions, functions, and notations that can make a program behave unpredictably. """ Is not only a problem that our industry lack discipline, is that almost everyone is so resistant to use better tools. When some insist to use C++/JavaScript/PHP/MySql/Mongo/etc (tools with bad design/complexity/bug-prone/etc flaws) with the excuse that is possible to use them "well" if only we are more "disciplined" and "pay attention"? When bad tools are bad, discipline is not the answer. Is fix the tool, or get rid of them. Why developers understand that if a end-user have a high-error rate in one program is a problem with the program but when that happend with a language/tool for developers... not think the same???