контроль типов, проверка типа, проверка соответствия типов проверка, выполняемая при компиляции или интерпретации программы, определяющая допустимость заданных типов данных в операторах программы Смотри также: data type, strong typing, typed language