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