Hər bir dəyişən, ifadə və ya funksiyanın tipi kompilyasiya edilmədən əvvəl və ya icra zamanı müəyyən edilir və kompilyator və ya icra mühiti əməliyyatlar zamanı tiplərin uyğunluğunu ciddi şəkildə yoxlayır. Bu, tiplərin uyğun olmaması ilə əlaqəli səhvlərin inkişafın erkən mərhələlərində qarşısını alır.

Əvvəlki Növbəti