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