sprawdzanie typu

Sprawdzanie typu służy do sprawdzania programu przed wykonaniem. W ten sposób sprawdzane są wartości typu danych i składnia. Głównym celem systemu typu w języku programowania jest zmniejszenie prawdopodobieństwa wystąpienia błędów w programie z powodu błędów typu.