Subject | Russian | English |
progr. | алгоритмическая типизация | algorithmic typing (ssn) |
progr. | алгоритмическое отношение типизации | algorithmic typing relation (ssn) |
progr. | аспект строгой типизации | strongly typed aspect (ssn) |
abbr. | Дарвиновская архитектура типизации информации | DITA (Darwin Information Typing Architecture webber) |
progr. | дерево вывода для утверждения типизации | derivation tree for the typing statement (ssn) |
progr. | динамическая типизация | dynamic typing (определение и/или контроль типов данных (объектов) во время выполнения программы ssn) |
progr. | динамическая типизация | runtime typing (ssn) |
progr. | доступ со строгой типизацией | strongly typed access (Alex_Odeychuk) |
construct. | задание на типизацию | specified requirements for standardization |
construct. | закрытая система типизации | closed system of typification |
construct. | закрытая типизация | "closed" standardizing |
construct. | закрытая типизация | closed typification |
construct. | закрытая типизация | closed standardizing |
progr. | именованная типизация | nominal typing (Alex_Odeychuk) |
progr. | инверсия отношения типизации | inversion of the typing relation (ssn) |
progr. | каламбур типизации | type punning (Alex_Odeychuk) |
progr. | латентная типизация | duck typing (вид динамической типизации, применяемой в ряде языков программирования (D, Perl, Smalltalk, Python, Objective-C, Ruby, JavaScript, Groovy, ColdFusion, Boo, Lua, Go, C#), когда границы использования объекта определяются его текущим набором методов и свойств, в отличие от наследования от определённого класса. То есть считается, что объект реализует интерфейс, если он содержит все методы этого интерфейса, независимо от связей в иерархии наследования и принадлежности к какому-либо классу Alex_Odeychuk) |
progr. | лемма о порождении для отношения типизации | generation lemma for the typing relation (ssn) |
progr. | лимитированная структурная типизация | limited structural typing (Alex_Odeychuk) |
progr. | логическое программирование в ограничениях со строгой типизацией | strongly-typed constraint logic programming (Microsoft Alex_Odeychuk) |
progr. | механизм строгой типизации | strong typing mechanism (Alex_Odeychuk) |
ed. | модели типизации | typing regimes (ssn) |
progr. | мягкая типизация | soft typing (InfoWorld Alex_Odeychuk) |
progr. | неявная типизация | duck typing (вид динамической типизации, применяемой в ряде языков программирования (D, Perl, Smalltalk, Python, Objective-C, Ruby, JavaScript, Groovy, ColdFusion, Boo, Lua, Go, C#), когда границы использования объекта определяются его текущим набором методов и свойств, в отличие от наследования от определённого класса. То есть считается, что объект реализует интерфейс, если он содержит все методы этого интерфейса, независимо от связей в иерархии наследования и принадлежности к какому-либо классу Alex_Odeychuk) |
progr. | неявная типизация | implicit typing (ssn) |
progr. | неявная типизация локальных переменных | implicit typing of local variables (ssn) |
progr. | новое правило типизации | new typing rule (ssn) |
progr. | новые правила типизации | new typing rules (ssn) |
progr. | номинальная типизация | nominal typing (Marie_D) |
IT | обобщённая система типизации | Common Type System (swatimathur4) |
progr. | объектно-ориентированный язык с динамической типизацией | OO, dynamically typed language (ssn) |
progr. | объектно-ориентированный язык с динамической типизацией | dynamically typed OO language (ssn) |
progr. | объектно-ориентированный язык с динамической типизацией | dynamically typed object-oriented language (ssn) |
progr. | объектно-ориентированный язык с динамической типизацией | object-oriented, dynamically typed language (первым был Smalltalk ssn) |
progr. | объектно-ориентированный язык со статической типизацией | object-oriented, statically typed language (ssn) |
progr. | объектно-ориентированный язык со статической типизацией | statically typed OO language (ssn) |
progr. | объектно-ориентированный язык со статической типизацией | OO, statically typed language (ssn) |
progr. | объектно-ориентированный язык со статической типизацией | statically typed object-oriented language (ssn) |
IT | ограничения статической типизации | restrictions of static typing (Alex_Odeychuk) |
progr. | ОО язык с динамической типизацией | dynamically typed object-oriented language (ssn) |
progr. | ОО язык с динамической типизацией | OO, dynamically typed language (ssn) |
progr. | ОО язык с динамической типизацией | object-oriented, dynamically typed language (ssn) |
progr. | ОО язык с динамической типизацией | dynamically typed OO language (ssn) |
progr. | ОО язык со статической типизацией | statically typed OO language (ssn) |
progr. | ОО язык со статической типизацией | OO, statically typed language (ssn) |
progr. | ОО язык со статической типизацией | object-oriented, statically typed language (ssn) |
progr. | ОО язык со статической типизацией | statically typed object-oriented language (ssn) |
construct. | открытая система типизации | open system of typification |
construct. | открытая типизация | open typification |
construct. | открытая типизация | "open" standardizing |
construct. | открытая типизация | open standardizing |
progr. | отношение типизации | typing relation (ssn) |
progr. | отношение типизации для арифметических выражений | typing relation for arithmetic expressions (ssn) |
progr. | поддерживать неявную типизацию | be implicitly typed (Alex_Odeychuk) |
psychol. | половая типизация | sex typing |
progr. | постепенная типизация | gradual typing (type system that uses both dynamic typing and static typing; InfoWorld Alex_Odeychuk) |
progr. | правила типизации | typing rules (ssn) |
progr. | правила типизации для булевских значений | typing rules for booleans (ssn) |
progr. | правила типизации для чисел | typing rules for numbers (ssn) |
progr. | правило типизации | typing rule (Alex_Odeychuk) |
progr. | с динамической типизацией | dynamically typed (ssn) |
progr. | с мономорфной типизацией | monomorphically typed (Alex_Odeychuk) |
progr. | с обеспечением статической типизации | in a statically typed way (Alex_Odeychuk) |
progr. | с поддержкой статической типизации | in a statically typed way (Alex_Odeychuk) |
progr. | с полиморфной типизацией | polymorphically typed (Alex_Odeychuk) |
progr. | с постепенной типизацией | gradually typed (gradual typing is a type system that uses both dynamic typing and static typing; InfoWorld Alex_Odeychuk) |
comp., MS | с типизацией по столбцу | typed by column (Visual Studio 2013 Rori) |
progr. | свойства отношения типизации | properties of the typing relation (ssn) |
progr. | сильная типизация | strongly typed (свойство языка программирования, в соответствии с которым во всех выражениях гарантируется согласованность типов ssn) |
Gruzovik | синоптическая типизация | weather typing |
progr. | система постепенной типизации | gradual typing system (Alex_Odeychuk) |
construct. | система типизации | typification system |
progr. | слабая типизация | weak typing (в отличие от языков с сильной (strong) типизацией habrahabr.ru bojana) |
progr. | язык программирования со слабой типизацией | loosely typed (jslab.ru owant) |
progr. | со статической типизацией | in a statically typed way (Alex_Odeychuk) |
progr. | со статической типизацией | statically typed (Microsoft Alex_Odeychuk) |
progr. | со строгой типизацией | definitely-typed (Alex_Odeychuk) |
progr. | соответствующее правило типизации | corresponding typing rule (ssn) |
progr. | средства статической типизации | static typing features (Electronic Design Alex_Odeychuk) |
progr. | Стандарт требует строгой типизации данных | the standard requires that there is strong data typing |
progr. | статическая типизация | static type-checking (ssn) |
progr. | статическая типизация | static type checking (ssn) |
progr. | статическая типизация | static typing (определение и контроль типов объектов на стадии компиляции по их описанию в программе. Syn: static type-checking. Ant: dynamic typing ssn) |
progr. | статическая типизация с поддержкой вывода типов | statically inferred typing (Electronic Design Alex_Odeychuk) |
construct. | степень типизации | degree of typification |
construct. | степень типизации | degree of standardizing |
progr. | строгая статическая типизация | strong static typing (ssn) |
progr. | строгая типизация | strict typing (IBM Alex_Odeychuk) |
progr. | строгая типизация | strong typing (в языках программирования – требование, чтобы для каждой переменной был чётко определён тип данных, который может быть ей присвоен; это предотврашает ошибки, связанные с типами данных (type error), во время исполнения программы. Ant: weak typing ssn) |
progr. | строгая типизация данных | strong data typing (ssn) |
progr. | структурная типизация | 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) |
progr. | типизация данных | data typing (ssn) |
Makarov. | типизация ледников по их форме и размерам | types of glaciers distinguished on the basis of their form and dimensions |
progr. | типизация локальных переменных | typing of local variables (ssn) |
progr. | типизация образцов | pattern typing (ssn) |
progr. | типизация переменных | variable typing (ssn) |
progr. | типизация по модели Хиндли-Милнера | Hindley-Milner typing (включает в себя типы высших порядков, полиморфные типы, абстрактные и алгебраические типы данных, синонимы типов; из кн.: Душкин Р.В. Функциональное программирование на языке Haskell Alex_Odeychuk) |
gen. | типизация по полу | sex typing |
gen. | типизация по полу | sex-typing |
oil | типизация пород | rock-typing (dimock) |
archit. | типизация проектирования | type design practice |
progr. | типизация с ограничениями | constraint typing (ssn) |
O&G | типизация СГС | seismogenic structure types (MichaelBurov) |
O&G | типизация СГС | seismogenic structures nomenclature (MichaelBurov) |
O&G | типизация СГС | seismogenic structures classification (MichaelBurov) |
O&G | типизация СГС | seismogenic structure classification (MichaelBurov) |
O&G | типизация СГС | SGS classification (MichaelBurov) |
O&G | типизация сейсмогенерирующих структур | seismogenic structure types (MichaelBurov) |
O&G | типизация сейсмогенерирующих структур | seismogenic structures classification (MichaelBurov) |
O&G | типизация сейсмогенерирующих структур | seismogenic structures nomenclature (MichaelBurov) |
O&G | типизация сейсмогенерирующих структур | seismogenic structure classification (MichaelBurov) |
O&G | типизация сейсмогенерирующих структур | SGS classification (MichaelBurov) |
construct. | типизация строительных изделий | typification of structural elements |
construct. | типизация строительных решений | typification of structural solutions |
construct. | типизация строительных решений | typification of structural conceptions |
progr. | условное выражение с целевой типизацией | target-typed conditional expression (Alex_Odeychuk) |
progr. | утверждение типизации | typing statement (ssn) |
progr. | утиная типизация | duck typing (wikipedia.org owant) |
progr. | утиная типизация в C# | duck typing in C# (ssn) |
progr. | форма соответствующего правила типизации | shape of the corresponding typing rule (ssn) |
progr. | функциональное программирование со строгой типизацией | strongly typed functional programming (Alex_Odeychuk) |
progr. | явная типизация | explicit typing (ssn) |
progr. | язык объектно-ориентированного программирования со строгой типизацией | strongly typed object-oriented programming language (Alex_Odeychuk) |
progr. | язык программирования с динамической типизацией | loose typed language (Alex_Odeychuk) |
progr. | язык с динамической типизацией | dynamically typed language (ssn) |
progr. | язык со строгой типизацией | strongly typed language (4uzhoj) |
progr. | язык функционального программирования с динамической типизацией | dynamic, functional language (Alex_Odeychuk) |
progr. | язык функционального программирования со статической типизацией | statically typed functional language (Microsoft Alex_Odeychuk) |