| Russian | English |
| алгоритм проверки типа | algorithm for type checking (см. ISO/IEC 10746-3, ГОСТ Р ИСО/МЭК 10746-3-2001 ssn) |
| быть автоматически приведенным к типу, не допускающему пустого значения, после проверки переменной на пустое значение | be automatically cast to non-nullable after null check (Alex_Odeychuk) |
| динамическая проверка типа | dynamic type test (с использованием информации, доступной во время выполнения программного кода Alex_Odeychuk) |
| динамическая проверка типа в операторе сопоставления с образцом | dynamic type test in the pattern match (the ~ Alex_Odeychuk) |
| переменная типа, допускающего проверку на равенство | equality type variable (Alex_Odeychuk) |
| правила проверки инварианта типа | type invariant checking rules (Alex_Odeychuk) |
| проверка предусловия надклассового типа | class-wide precondition check (в языке императивного объектно-ориентированного параллельного программирования Ada 2012 Alex_Odeychuk) |
| проверка типа | type checking (система типов) |
| проверка типа вместо интерфейса | checking type instead of interface (антишаблон проектирования: проверка того, что объект имеет специфический тип в то время, когда требуется только определённый интерфейс Alex_Odeychuk) |
| проверка типа вместо интерфейса | checking type instead of membership (проверка того, что объект имеет специфический тип в то время, когда требуется только определённый интерфейс Alex_Odeychuk) |
| проверка типа "годен-негоден" | go-no-go test (ssn) |
| проверка типа и раздельная компиляция | type checking and separate compilation (ssn) |
| проверка типа перечислимых констант | type-checking for enum constants (Alex_Odeychuk) |
| тип, допускающий проверку на равенство | equality type (Alex_Odeychuk) |
| тип проверки | challenge type (точнее – тип капчи, которая будет выводиться пользователю  remage.su owant) |
