Ар бир өзгөрмөнүн, билдирүүнүн же функциянын тиби компиляциядан мурун же ишке ашырылуу учурунда аныкталган жана компилятор же ишке ашыруу чөйрөсү операциялар учурунда тибтердин тууралуулугун катуу текшерет. Бул тибтердин туура келбестигинен келип чыккан каталарды өнүктүрүүнүн эрте этаптарында алдын алат.

Мурунку Кийинки