...wenn die Nachteile doch bekannt sind: Fehler treten erst zur Laufzeit auf (gefährlich) oder müssen abgefangen werden (aufwendig).
(soll nicht ,,extra noch`` Typ-Regeln lernen)
das deutet aber auf Designfehler an anderen Stellen hin:
oft wird das Typsystem umgangen, weil man Polymorphie möchte, aber nicht korrekt hinschreiben kann.