Har qanday o'zgaruvchi, ifoda yoki funktsiyaning turi kompilatsiya qilishdan oldin yoki bajarilish vaqtida aniqlanadigan va kompilyator yoki bajarilish muhitining operatsiyalar davomida turlar mosligini qat'iyan tekshiradigan til. Bu turlar mos kelmasligi bilan bog'liq xatoliklarni dastlabki rivojlanish bosqichlarida oldini oladi.

Oldingi Keyingi