static type checker: statyczny mechanizm kontroli typów > Dodaj do ulubionych Mechanizm kontroli typów (type-checker), który działa podczas kompilacji programu.