> If you don't use casts, then you should come pretty close to soundness, at least in Java. If you forbid casts or reflection, then you're throwing away much o

> If you don't use casts, then you should come pretty close to soundness, at least in Java. If you forbid casts or reflection, then you're throwing away much of the Java ecosystem.