The software industry has elevated type checking from a useful technique to an unquestioned necessity.