Believe it or not, there're far more advanced type systems than Java’s. And yes, they do help to catch logic bugs among other things too.