| English | Russian |
| algorithmic typing | алгоритмическая типизация (ssn) |
| algorithmic typing relation | алгоритмическое отношение типизации (ssn) |
| constraint typing | типизация с ограничениями (ssn) |
| corresponding typing rule | соответствующее правило типизации (ssn) |
| creating a table by typing in data | создание таблицы путём ввода данных (ssn) |
| data typing | типизация данных (ssn) |
| derivation tree for the typing statement | дерево вывода для утверждения типизации (ssn) |
| duck typing | неявная типизация (вид динамической типизации, применяемой в ряде языков программирования (D, Perl, Smalltalk, Python, Objective-C, Ruby, JavaScript, Groovy, ColdFusion, Boo, Lua, Go, C#), когда границы использования объекта определяются его текущим набором методов и свойств, в отличие от наследования от определённого класса. То есть считается, что объект реализует интерфейс, если он содержит все методы этого интерфейса, независимо от связей в иерархии наследования и принадлежности к какому-либо классу Alex_Odeychuk) |
| duck typing | латентная типизация (вид динамической типизации, применяемой в ряде языков программирования (D, Perl, Smalltalk, Python, Objective-C, Ruby, JavaScript, Groovy, ColdFusion, Boo, Lua, Go, C#), когда границы использования объекта определяются его текущим набором методов и свойств, в отличие от наследования от определённого класса. То есть считается, что объект реализует интерфейс, если он содержит все методы этого интерфейса, независимо от связей в иерархии наследования и принадлежности к какому-либо классу Alex_Odeychuk) |
| duck typing | утиная типизация (wikipedia.org owant) |
| duck typing in C# | утиная типизация в C# (ssn) |
| dynamic typing | динамический контроль соответствия типов (ssn) |
| dynamic typing | динамическая типизация (определение и/или контроль типов данных (объектов) во время выполнения программы ssn) |
| dynamic typing | динамический контроль типов (во время выполнения программы ssn) |
| dynamic typing | динамическая проверка соответствия типов (ssn) |
| dynamic typing | динамическое деление на типы (ssn) |
| dynamic typing | динамическая проверка типов (ssn) |
| dynamic typing | отнесение к типу в процессе интерпретации (ssn) |
| examples of induction on typing derivations | примеры индукции на деревьях вывода типов (ssn) |
| explicit typing | явная типизация (ssn) |
| formal assertions about the typing of programs | формальные высказывания о типах в программах (ssn) |
| generation lemma for the typing relation | лемма о порождении для отношения типизации (ssn) |
| gradual typing | постепенная типизация (type system that uses both dynamic typing and static typing; InfoWorld Alex_Odeychuk) |
| gradual typing system | система постепенной типизации (Alex_Odeychuk) |
| Hindley-Milner typing | типизация по модели Хиндли-Милнера (включает в себя типы высших порядков, полиморфные типы, абстрактные и алгебраические типы данных, синонимы типов; из кн.: Душкин Р.В. Функциональное программирование на языке Haskell Alex_Odeychuk) |
| implicit typing | неявная типизация (ssn) |
| implicit typing of local variables | неявная типизация локальных переменных (ssn) |
| improved typing accuracy and efficiency | улучшенная точность и эффективность ввода (текста с клавиатуры ssn) |
| induction on typing derivations | индукция на деревьях вывода типов (ssn) |
| internal events shown with the typing state of a text field | внутренние события, показанные в состоянии набора текста в текстовом поле (ssn) |
| inversion of the typing relation | инверсия отношения типизации (ssn) |
| limited structural typing | лимитированная структурная типизация (Alex_Odeychuk) |
| new typing rule | новое правило типизации (ssn) |
| new typing rules | новые правила типизации (ssn) |
| nominal typing | именованная типизация (Alex_Odeychuk) |
| nominal typing | номинальная типизация (Marie_D) |
| pattern typing | типизация образцов (ssn) |
| properties of the typing relation | свойства отношения типизации (ssn) |
| runtime typing | динамический контроль типов (ssn) |
| runtime typing | динамическая типизация (ssn) |
| shape of the corresponding typing rule | форма соответствующего правила типизации (ssn) |
| soft typing | мягкая типизация (InfoWorld Alex_Odeychuk) |
| static typing | статическая проверка соответствия типов (ssn) |
| static typing | статическое деление на типы (ssn) |
| static typing | отнесение к типу в процессе компиляции (ssn) |
| static typing | статическая проверка типов (ssn) |
| static typing | статическая типизация (определение и контроль типов объектов на стадии компиляции по их описанию в программе. Syn: static type-checking. Ant: dynamic typing ssn) |
| static typing | статический контроль типов (до начала выполнения программы, на основе только исходного текста ssn) |
| static typing features | средства статической типизации (Electronic Design Alex_Odeychuk) |
| statically inferred typing | статическая типизация с поддержкой вывода типов (Electronic Design Alex_Odeychuk) |
| strict typing | строгая типизация (IBM Alex_Odeychuk) |
| strong data typing | строгая типизация данных (ssn) |
| strong static typing | строгая статическая типизация (ssn) |
| strong typing | строгая проверка соответствия типов (ssn) |
| strong typing | строгое деление на типы (ssn) |
| strong typing | строгая проверка типов (ssn) |
| strong typing | строгая типизация (в языках программирования – требование, чтобы для каждой переменной был чётко определён тип данных, который может быть ей присвоен; это предотврашает ошибки, связанные с типами данных (type error), во время исполнения программы. Ant: weak typing ssn) |
| strong typing mechanism | механизм строгой типизации (Alex_Odeychuk) |
| structural typing | структурная типизация (conformance of a type to an interface is checked statically by the compiler. Any type that implements all methods of an interface conforms to that interface. Implementing types do not need to specify their implementing of interfaces Alex_Odeychuk) |
| the standard requires that there is strong data typing | Стандарт требует строгой типизации данных |
| type check | проходить проверку соответствия типов (Alex_Odeychuk) |
| type check | проходить проверку согласования типов (e.g., the invocation, which attempts to index a 2D space using 3D points, does not type check and is rejected at compile time Alex_Odeychuk) |
| type-check the code | выполнять проверку согласования типов в коде (Alex_Odeychuk) |
| type the code | набирать исходный код (Alex_Odeychuk) |
| type up | печатать (ssn) |
| type up the invoice | печатать счёт (ssn) |
| typing accuracy and efficiency | точность и эффективность ввода (текста с клавиатуры ssn) |
| typing ahead | ввод с опережением (ssn) |
| Typing and subtyping for computational interfaces | Типы и подтипы вычислительных интерфейсов (см. ISO/IEC 10746-1, ГОСТ Р ИСО/МЭК 10746-1-2004 ssn) |
| typing area | область ввода текста (основная часть клавиатуры компьютера, предназначенная для ввода текстов ssn) |
| typing definitions | определения типов (см. ISO/IEC 10746-3, ГОСТ Р ИСО/МЭК 10746-3-2001 ssn) |
| typing derivation | дерево вывода типов (ssn) |
| typing in | ввод (ssn) |
| typing in a simple program | ввод элементарной программы (ssn) |
| typing in a simple program in IP | ввод элементарной программы средствами IP (ssn) |
| typing in a simple program in IP | ввод элементарной программы средствами ментального программирования (ssn) |
| typing of local variables | типизация локальных переменных (ssn) |
| typing of numeric operators | типы числовых операций (деление на типы ssn) |
| typing of programs | типы в программах (ssn) |
| typing on the multitouch screen | ввод данных с помощью мультисенсорного экрана (ssn) |
| typing on the multitouch screen | ввод с помощью мультисенсорного экрана (ssn) |
| typing out | вывод (ssn) |
| typing over | замена вводом с клавиатуры (ssn) |
| typing relation | отношение типизации (ssn) |
| typing relation for arithmetic expressions | отношение типизации для арифметических выражений (ssn) |
| typing rule | правило типизации (Alex_Odeychuk) |
| typing rule | правило типов (см. ISO/IEC 10746-3, ГОСТ Р ИСО/МЭК 10746-3-2001 ssn) |
| typing rules | правила типизации (ssn) |
| typing rules for booleans | правила типизации для булевских значений (ssn) |
| typing rules for numbers | правила типизации для чисел (ssn) |
| typing shortcut | горячая клавиша (ssn) |
| typing state | состояние набора текста (ssn) |
| typing state of a text field | состояние набора текста в текстовом поле (ssn) |
| typing statement | утверждение типизации (ssn) |
| typing statement | утверждение о типе терма (ssn) |
| valid typing statement | верное утверждение о типе терма (ssn) |
| variable typing | типизация переменных (ssn) |
| weak typing | слабая проверка соответствия типов (ssn) |
| weak typing | слабое деление на типы (ssn) |
| weak typing | слабая типизация (в отличие от языков с сильной (strong) типизацией  habrahabr.ru bojana) |
| weak typing | слабая проверка типов (ssn) |
| weak typing | слабый контроль соответствия типов (ssn) |
| weak typing | слабый контроль типов (характеристика языка программирования, в котором программа может изменять тип данных или переменной во время исполнения ssn) |
