We can assume buffer overflows are less common in Java than in C and I doubt that Java programmers are better craftsmen. The same with types: they make some k

We can assume buffer overflows are less common in Java than in C and I doubt that Java programmers are better craftsmen. The same with types: they make some kind of errors much less likely though there is no silver bullet in general e.g., I much prefer a general purpose language such as Python for expressing complex requirements in tests over any type system (even if your type system is turing complete and you can express any requirement in it; it doesn't mean it is a good idea)