type checker: mechanizm kontroli typów > Dodaj do ulubionych Mechanizm języka programowania, którego zadaniem jest sprawdzanie poprawności używanych w programie typów.
