Comment by UncleMeat

Would you say the same thing about Java? It’s type system is also unsound.