контроль соответствия типов, проверка соответствия типов, контроль типов, проверка типов Проверка соответствия между операциями и комбинациями типов операндов, между формальными и фактическими параметрами и между левой и правой частями присваивания. Контроль типов может выполняться статически - во время трансляции, и динамически - во время выполнения программы.
English-Russian Computer dictionary
type conversion
преобразование типов Операция программы, преобразующее значение одного типа в соответствующее значение другого типа.
English-Russian Computer dictionary
typed constant
типизованная константа Константа определенного типа данных. В языке со строгим контролем типов могут различаться константы, имеющие одно значение, но разные типы.
English-Russian Computer dictionary
typed language
тип данных, тип В языках программирования - множество допустимых значений и применимых операций. В большинстве языков понятие типа данных включает также определение способа представления данных в памяти.
English-Russian Computer dictionary
type line
линия - контур шрифта (отсчет от линии знака до полной высоты шрифта)