Safe subsets of C exist already. Any safeguards active at compile time could in principle be achieved via static code analysis. Only, if that means making assum

Safe subsets of C exist already. Any safeguards active at compile time could in principle be achieved via static code analysis. Only, if that means making assumptions and transformation to a different type system, that's like putting an old engine in a new car.