statically-typed programming language: język programowania o statycznej kontroli typów > Dodaj do ulubionych Język programowania, w którym poprawność użycia typów danych w programie jest sprawdzana w czasie jego kompilacji.