type checking Проверка соответствия между операциями и комбинациями типов операндов, между формальными и фактическими параметрами и между левой и правой частями присваивания. Контроль типов может выполняться статически - во время трансляции, и динамически - во время выполнения программы.