4 ms·

What about the better typed languages - Coq, Agda, Idris, etc.? Java is not that strongly typed after all.