контроль (соответствия) типов; проверка (соответствия) типов. проверка соответствия между операциями и комбинациями типов операндов, между формальными и фактическими параметрами и между левой и правой частями присваивания. контроль типов может выполняться статически - во время трансляции, и динамически - во время выполнения программы
TYPE CHECKING
Англо-русский перевод TYPE CHECKING
English-Russian dictionary. Англо-Русский словарь. 2012