Houby dynamické typování. Dynamicky je zjištěno, zda je přetypování správné, protože jinak to nejde.
Programátor v takovém musí explicitně uvést že a na co chce přetypovat.
Tedy, když už to jinak nejde, programátor se může s vědomím* jedné dynamické kontroly rozhodnout explicitně přetypovat.
*) Pokud o tom neví, tak si IMHO nezaslouží označení programátor.