>>20
non trivial C++ code typically ends up using casts to get things done, and unchecked casting breaks type safety. Castless C++ is type safe. And it might be powerful enough for a lot of things, but it is common practice to use casts instead of trying to engineer around the type system. Maybe this is due to a type system with limited expressive power.