> Dynamicky je zjištěno, zda je přetypování správné, protože jinak to nejde.
Jak jste přišel na to, že to jinak nejde?
> Tedy, když už to jinak nejde, programátor se může s vědomím* jedné dynamické kontroly rozhodnout explicitně přetypovat.
A tím je typová bezpečnost ztracena. Jelikož kompilátor není schopen ověřit typy (což je statické typování), tak jazyk není (čistě) statický. Java je statická i dynamická.