Andrei Alexandrescu Wrote: > Depending how you look at this, it is either a success or a failure of > formal methods in designing programming languages. > > http://twofoos.org/content/java-type-system-holes/ As to the first bug, it's clearly a runtime bug, not language's. It's stated that this bug is detected by the compiler when it's possible.