Comment by UncleMeat
11 days ago
The Java type system is also unsound. That’s life. It is hard to do this fully correctly. In practice this never comes up.
11 days ago
The Java type system is also unsound. That’s life. It is hard to do this fully correctly. In practice this never comes up.
While true, there are two important differences:
1) Unsoundnesses in Java's type system are checked at runtime.
2) They (or at least some) are intentional or at least won't-fix bugs.
Both are not true for Rust.