 |
| |||
| контроль типов | |||
| контроль соответствия типов (ssn) | |||
| |||
| проверка типов | |||
| проверка типа (на правильность типов данных, употреблённых в программе) | |||
| контроль соответствия типов | |||
| проверка типа (система типов); проверка соответствия типов (проверка, выполняемая при компиляции или интерпретации программы, определяющая допустимость заданных типов данных в операторах программы ssn); типизация (ssn) | |||
| контроль типов | |||
| 英语 词库 | |||
| |||
| typing (ssn) | |||
| typechecking (ssn) | |||
|
type-checking : 31 短语, 5 学科 |
| 信息技术 | 1 |
| 教育 | 1 |
| 测谎 | 1 |
| 编程 | 27 |
| 计算 | 1 |