Static typing can find type errors reliably at compile time, which should increase the reliability of the delivered program.
Statická typová kontrola najde chyby typu spolehlivě v době kompilace, to by mělo zvýšit spolehlivost dodaného programu.