Programmierfehler bereits zur Übersetzungs(Entwicklungs)-Zeit erkennen und nicht erst (eventuell) zur Laufzeit
wenn Typkorrektheit zur Übersetzungszeit feststeht, dann kann man zur Laufzeit alle Typprüfungen weglassen (das spart Platz und Zeit).