| Russian | English |
| абстрактная типовая концепция | abstract type concept (ssn) |
| автоматические преобразование типов | implicit type conversion (Alex_Odeychuk) |
| автоматический вывод типов | type deduction (автоматический вывод типов шаблона в языке программирования C++ Alex_Odeychuk) |
| автоматическое преобразование встроенных типов в объекты | boxing (Alex_Odeychuk) |
| автоматическое преобразование примитивных типов | automatic conversion between primitive types (Alex_Odeychuk) |
| автоматическое преобразование типов | automatic type conversions (IBM Alex_Odeychuk) |
| автоматическое преобразование типов | automatic conversion (e.g., between string and number values at run time Alex_Odeychuk) |
| автоматическое преобразование типов | automatic type conversion (ssn) |
| автоматическое приведение типов | automatic casts (Alex_Odeychuk) |
| администрирование типов источников данных | data source type administration (ssn) |
| активизация типов | activating types (ssn) |
| алгоритм вывода типов | type inference algorithm (Alex_Odeychuk) |
| алгоритм вывода типов Дамаса-Милнера | Damas-Milner type inference algorithm (Alex_Odeychuk) |
| алгоритм определения типов | type-inferencing algorithm (ssn) |
| алгоритм определения типов данных | type-inferencing algorithm (ssn) |
| анализ значений ссылочных типов, допускающих пустую ссылку | nullable reference type analysis (выполняется компилятором языка программирования C# Alex_Odeychuk) |
| анализ типов отказов и эффекта | FMEA (Failure Mode and Effect Analysis ssn) |
| анализ типов отказов и эффекта | Failure Mode and Effect Analysis (см. Standard glossary of terms used in Software Testing ssn) |
| анализ типов отказов и эффекта программного обеспечения | SFMEA (Software Failure Mode and Effect Analysis ssn) |
| анализ типов отказов и эффекта программного обеспечения | Software Failure Mode and Effect Analysis (SFMEA; см. Standard glossary of terms used in Software Testing ssn) |
| анализ типов отказов, эффекта и критичности | Failure Mode, Effect and Criticality Analysis (FMECA; см. Standard glossary of terms used in Software Testing ssn) |
| анализ типов отказов, эффектов и критичности | FMECA (Failure Mode, Effects, and Criticality Analysis ssn) |
| архитектурное типовое решение | architectural pattern (ssn) |
| архитектурные типовые решения | architectural patterns (ssn) |
| архитектурные типовые решения источников данных | data source architectural patterns (см. "Patterns of Enterprise Application Architecture" by Martin Fowler 2002 ssn) |
| базовые типовые решения | base patterns (см. "Patterns of Enterprise Application Architecture" by Martin Fowler 2002 ssn) |
| безопасность в отношении типов | type safety (ssn) |
| безопасность типов | type safety (система типов) |
| безопасный с точки зрения типов | type-safe (ssn) |
| библиотечный модуль удалённых типов | remote types library unit (в языке программирования Ada Alex_Odeychuk) |
| быть недоступным для внешних типов | be inaccessible to external types (Alex_Odeychuk) |
| верификации типов и кода | type- and code-verification (ssn) |
| взаимно рекурсивная структура типов | mutually recursive structure of types (Alex_Odeychuk) |
| взаимодействие между собой транзакций различных типов | relationships of different transaction types to each other (ssn) |
| вложение типов | subtyping (ssn) |
| возможность подстановки тегированных типов | tagged type substitutability (Alex_Odeychuk) |
| выбор типового решения | making a choice (ssn) |
| вывод типов | parameter inference (напр., при передаче анонимной функции другой функции или методу Scala автоматически выводит типы, когда это возможно ssn) |
| вывод типов | type inference (возможность компилятора самому логически вывести тип значения у выражения. Вывод типов не только сокращает размер исходного кода и повышает его лаконичность, но и нередко повышает повторное использование кода; Microsoft Alex_Odeychuk) |
| вывод типов аргументов замыкания | type inference for the arguments of a closure (Alex_Odeychuk) |
| вывод типов аргументов замыкания | type inference for the arguments of a closure (IBM Alex_Odeychuk) |
| вывод типов локальных переменных | local variable-type inference (Alex_Odeychuk) |
| вывод типов неизменяемых переменных | type inference for immutable variables (IBM Alex_Odeychuk) |
| вывод типов объектных литералов | type inference for object literals (Alex_Odeychuk) |
| вывод типов, режима передачи параметров и детерминизма | type, mode, and determinism inference (Alex_Odeychuk) |
| вывод типов, режима передачи параметров и детерминизма предикатов | type, mode, and determinism inference (University of Melbourne, Австралия Alex_Odeychuk) |
| выполнение неявного преобразования типов | use of implicit conversion (Alex_Odeychuk) |
| выполнять вывод типов фактических параметров вызова | infer the types of the call's actual parameters (Alex_Odeychuk) |
| выполнять отображение новых типов объектов на элементы базы данных | handle mappings of new types to the database (англ. термин взят из кн.: Ottinger J.B., Minter D., Linwood J. Beginning Hibernate. – Apress, 2014. – 223 р. Alex_Odeychuk) |
| выполнять построение типов с помощью перегрузки операторов | build types with operator overloading (из кн.: Солтер Н.А., Клепер С.Дж. С++ для профессионалов Alex_Odeychuk) |
| выполнять проверку соответствия типов | typecheck (IBM Alex_Odeychuk) |
| выходные данные различных типов | output data of various types (ssn) |
| вычисление конечных типов выражений | computing result types of expressions (ssn) |
| генерирование типов | type generation (Alex_Odeychuk) |
| гибкость типов данных | datatype flexibility (ssn) |
| гибкость типов данных | data type flexibility (ssn) |
| Данный раздел содержит описание объявлений типов и подтипов, различных видов объявлений объектов, объявлений дополнительных имён, объявлений атрибутов и объявлений компонентов | this chapter describes type and subtype declarations, the various kinds of object declaration, alias declarations, attribute declarations, and component declarations (см. IEЕЕ Std. 1076-87. IEЕЕ Standard VHDL. Language Reference Manual ssn) |
| дерево вывода типов | typing derivation (ssn) |
| диапазонные регистры типов памяти | memory type range registers (ssn) |
| диапазоны целочисленных типов | ranges of the integer types (данных ssn) |
| дидактические представления абстрактных типов данных | didactic presentations of abstract data types (ssn) |
| динамическая проверка соответствия типов | dynamic typing (ssn) |
| динамическая проверка соответствия типов | dynamic type checking (проверка, выполняемая при интерпретации программы, определяющая допустимость заданных типов данных в операторах программы ssn) |
| динамическая проверка типов | dynamic typing (ssn) |
| динамическая проверка типов | dynamic type checking (ssn) |
| динамические возможности преобразования типов и получения информации о типе | runtime type facilities (из кн.: Солтер Н.А., Клепер С.Дж. С++ для профессионалов Alex_Odeychuk) |
| динамический контроль соответствия типов | dynamic typing (ssn) |
| динамический контроль типов | runtime typing (ssn) |
| динамический контроль типов | dynamic type checking (ssn) |
| динамический контроль типов | dynamic typing (во время выполнения программы ssn) |
| динамическое приведение вниз по иерархии типов | casting down dynamically (Microsoft Alex_Odeychuk) |
| динамическое приведение типов | dynamic casts (с использованием информации, доступной во время выполнения программного кода Alex_Odeychuk) |
| динамическое связывание типов | dynamic type binding (ssn) |
| динамическое создание конструируемых типов | creating constructed types dynamically (ssn) |
| динамическое создание типов | dynamic creation of types (ssn) |
| для скалярных типов упорядоченность определена в терминах относительных значений | for scalar types, ordering is defined in terms of the relative values (см. IEЕЕ Std. 1076-87. IEЕЕ Standard VHDL. Language Reference Manual) |
| допустимые преобразования типов данных | data type conversions that are allowed (ssn) |
| допустимые преобразования числовых типов | legal conversions between numeric types (ssn) |
| достоинство статической проверки типов | benefit of static typechecking (ssn) |
| другие образцы типов | similar type patterns (ssn) |
| единая система типов | integrated type system (IBM Alex_Odeychuk) |
| загрузка типов | type load (Microsoft Alex_Odeychuk) |
| загрузчик типов | type loader (Microsoft Alex_Odeychuk) |
| запись типов | type notation (ssn) |
| запись типов в стиле Pascal | Pascal-like type notation (ssn) |
| значение и точность типов данных | value and accuracy of the data types (ssn) |
| идентификатор библиотеки типов | LIBID (Microsoft Alex_Odeychuk) |
| идентификаторы типов | type identifiers (ssn) |
| идентификация типов во время выполнения | runtime type identification (ssn) |
| иерархия обобщённых типов данных | hierarchy of the generic data types (ssn) |
| иерархия родовых типов данных | hierarchy of the generic data types (ssn) |
| иерархия стандартных типов исключений | standard exception hierarchy (Alex_Odeychuk) |
| иерархия тегированных типов | hierarchy of tagged types (корпорации AdaCore Alex_Odeychuk) |
| иерархия типов | type hierarchy (полный контекст класса или интерфейса Java, включая его базовые и производные классы ssn) |
| иерархия типов | hierarchy of types |
| иерархия типов данных | datatype hierarchy (ssn) |
| иерархия типов данных | data type hierarchy (ssn) |
| извещать о событиях нескольких типов | generate more than one type of event (ssn) |
| индукция на деревьях вывода типов | induction on typing derivations (ssn) |
| индукция на деревьях вывода типов | induction on derivation trees (ssn) |
| инициализация непосредственно производных типов | initialization of directly derived types (ssn) |
| инициализация перечислимых типов данных | initialization of enumerated data types (ssn) |
| инициализация поддиапазонных типов данных | initialization of subrange data types (ssn) |
| инициализация производных типов структурированных данных | initialization of derived structured data types (ssn) |
| инициализация типов данных | initialization of data types (ssn) |
| инициализация типов данных массива | initialization of array data types (ssn) |
| инициализация типов данных с ограничением диапазона | initialization of subrange data types (ssn) |
| инициализация типов данных с ограниченным диапазоном значений | initialization of subrange data types (ssn) |
| использование контрольных таблиц, т.е. списков типов объектов, нуждающихся в анализе | checklists, i.e. lists of the sort of things that need analysis (см. IEC 61508-7:2010 ssn) |
| использование не требующих объяснения соглашений для однозначной спецификации абстрактных типов данных | use self-explanatory conventions for the unambiguous specification of abstract data types (ssn) |
| использование незавершённых типов как параметров | use of incomplete types as parameters (в языке императивного объектно-ориентированного параллельного программирования Ada 2012 Alex_Odeychuk) |
| использование неизменяемых ссылочных типов | using immutable reference types (ssn) |
| использование обобщённых типов данных | usage of generic data types (ssn) |
| использование преднамеченных типов | use of future types (Alex_Odeychuk) |
| использование родовых типов данных | usage of generic data types (ssn) |
| использование родовых типов данных в определённых пользователем программных компонентах | usage of generic data types in user-declared program organization units (ssn) |
| использование универсальных типов | generic programming (ssn) |
| использование фактических типов параметров | using the actual types of the parameters (напр., функций ssn) |
| использовать отражение и вывод типов | exploit reflection and type inference (Alex_Odeychuk) |
| категория символьных и двоичных типов данных | character and binary datatype category (ssn) |
| категория символьных и двоичных типов данных | character and binary data-type category (ssn) |
| категория символьных и двоичных типов данных | character and binary data type category (ssn) |
| категория символьных типов данных | character data-type category (ssn) |
| категория символьных типов данных | character datatype category (ssn) |
| категория символьных типов данных | character data type category (ssn) |
| категория строковых типов данных | string data-type category (ssn) |
| категория строковых типов данных | string datatype category (ssn) |
| категория строковых типов данных | string data type category (ssn) |
| категория типов | category of types (Alex_Odeychuk) |
| категория типов данных | datatype category (ssn) |
| категория типов данных | data type category (ssn) |
| категория типов данных двоичных строк | binary string data-type category (ssn) |
| категория типов данных двоичных строк | binary string datatype category (ssn) |
| категория типов данных двоичных строк | binary string data type category (ssn) |
| категория типов данных символьных строк | character string data-type category (ssn) |
| категория типов данных символьных строк | character string datatype category (ssn) |
| категория типов данных символьных строк | character string data type category (ssn) |
| количество правил выведения типов в системе типов | number of inference rules in the type system (Alex_Odeychuk) |
| коллекция базовых типов | collection of basic types (ssn) |
| компоненты типов данных | components of data types (ssn) |
| конструирование наборов объектов других типов | construct collections of objects of other types (ssn) |
| контекстно-зависимое преобразование типов | contextual coercion (ssn) |
| контракт безопасности типов | type safety contract (ssn) |
| контроль соответствия типов | type-checking (ssn) |
| контроль соответствия типов | typing (ssn) |
| конфигурация типов обработки вызовов | call service type configuration (ssn) |
| концепция типов значений | notion of value types (ssn) |
| литерал, который прямо представляет значение битовой строки типов данных BOOL, BYTE, WORD, DWORD или LWORD | literal that directly represents a bit string value of data type BOOL, BYTE, WORD, DWORD, or LWORD (ssn) |
| Логические операторы and, or, nand, nor, xor и not определены для предопределённых типов BIT и BOOLEAN | the logical operators and, or, nand, nor, xor, and not are defined for predefined types BIT and BOOLEAN (см. IEЕЕ Std. 1076-87. IEЕЕ Standard VHDL. Language Reference Manual) |
| маршализация типов и параметров | type and parameter marshaling (The process of packaging and sending method types and parameters across thread or process boundaries  amazon.com Alex_Odeychuk) |
| массив типов данных | array of data types (ssn) |
| массивы параметризованных типов | arrays of generic types (ssn) |
| массивы типов данных | arrays of data types (ssn) |
| машина вывода типов | type inferencer (составная часть компилятора языка программирования с автоматическим выводом типов; InfoWorld Alex_Odeychuk) |
| меню администрирования типов источников данных | datasource type administration menu (ssn) |
| меню администрирования типов источников данных | data source type administration menu (ssn) |
| местозаполнители для типов, задаваемых пользователем при создании экземпляра | placeholders for types that the user supplies when creating instances to use (Alex_Odeychuk) |
| метаданные типов | type metadata (ssn) |
| метод фабрики типов | typed factory method (Alex_Odeychuk) |
| механизм вывода типов | type inferencer (InfoWorld Alex_Odeychuk) |
| механизм поставщиков типов | type provider mechanism (Alex_Odeychuk) |
| множество всех типов | powertype (метакласс, чьими экземплярами являются подклассы данного класса ssn) |
| множество определений типов | set of type definitions (ssn) |
| множество определений типов можно разбить на непересекающиеся классы | the set of type definitions can be partitioned into disjoined classes (ssn) |
| множество различных типов данных | a variety of different types of data (ssn) |
| множество типов | many types (ssn) |
| множество типов драйверов аппаратных устройств | many types of hardware device drivers (ssn) |
| моделирование обоих типов планировщиков | modeling both types of schedulers (ssn) |
| Моделирование обоих типов планировщиков позволяет нам сравнить поведение системы в различных условиях | Modeling both types of schedulers allows us to compare the behavior of the system under different conditions (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
| модификация основных типов | modifying the basic types (данных ssn) |
| набор взаимно рекурсивных типов | set of mutually recursive types (Alex_Odeychuk) |
| набор взаимозависимых типов | set of mutually recursive types (Alex_Odeychuk) |
| набор контейнерных типов | a number of container types (ssn) |
| набор основополагающих типов данных | set of fundamental data types (ssn) |
| набор типов | set of types (ssn) |
| набор фундаментальных типов данных | set of fundamental data types (ssn) |
| набор элементарных типов данных | set of elementary data types (ssn) |
| наборы объектов других типов | collections of objects of other types (ssn) |
| назначение определённых пользователем типов данных | purpose of the user-defined data types (ssn) |
| назначения адреса внутри программ и типов функциональных блоков | address assignments inside programs, and function block types (ssn) |
| наследование путём создания производных типов | inheritance via derivation (Alex_Odeychuk) |
| наследование типов | type inheritance (Alex_Odeychuk) |
| недоступный для внешних типов | inaccessible to external types (Alex_Odeychuk) |
| неожиданное сообщение об ошибке несовместимости типов | unexpected type-incompatibility error message (ssn) |
| несколько возможных типов искажений | a few possible types of damage (ssn) |
| несколько приёмов преобразования типов данных | number of data type conversion techniques (ssn) |
| несколько соглашений, регулирующих порядок использования имён типов | a few conventions for type names (ssn) |
| несколько типов событий | several types of events (ssn) |
| несовместимость типов | type incompatibility (ssn) |
| неявное преобразование типов | implicit conversions (IBM Alex_Odeychuk) |
| неявное преобразование типов | implicit type conversion (IBM Alex_Odeychuk) |
| неявное преобразование типов выражения | implicit type conversion of an expression (ssn) |
| неявное преобразование типов выражения и присваивания | implicit type conversion of an expression and of the assignment (ssn) |
| неявное преобразование типов данных | implicit-type conversions (Alex_Odeychuk) |
| неявное преобразование типов данных | implicit data type conversion (ssn) |
| неявное преобразование типов данных выражения | implicit type conversion of an expression (ssn) |
| неявное преобразование типов типизированными функциями | implicit type conversion with typed functions (ssn) |
| неявное преобразование числовых типов | implicit numeric coercions (данных Alex_Odeychuk) |
| неявное преобразование числовых типов | implicit promotions between numeric types (InfoWorld Alex_Odeychuk) |
| неявное преобразование числовых типов данных | implicit numeric coercions (Alex_Odeychuk) |
| неявное приведение типов | implicit type coercions (в языке программирования Х10; IBM Alex_Odeychuk) |
| неявное приведение типов | implicit coercions (IBM Alex_Odeychuk) |
| неявное приведение типов | implicit conversions (Alex_Odeychuk) |
| неявные преобразования типов, поддерживаемые в C# | implicit type conversions supported in C# (ssn) |
| но продвижение типов может иногда привести к неожиданным результатам | Type promotion can, however, lead to somewhat unexpected results |
| обеспечивать множественное наследование типов | provide multiple inheritances (Alex_Odeychuk) |
| обнаружение типов во время выполнения | runtime type discovery (ssn) |
| оболочки примитивных типов | wrappers (из кн.: Шилдт Г. Java 8. Полное руководство Alex_Odeychuk) |
| обработка типов данных во время выполнения | run-time processing of data types (Alex_Odeychuk) |
| обработка типовых тестов | processing standardized tests (ssn) |
| образцы типов | type patterns (ssn) |
| общая система типов | CTS (сокр. от common type system ssn) |
| общая система типов | common type system (ssn) |
| общий предок типов | common ancestor of types (IBM Alex_Odeychuk) |
| объявление типов данных | declaration of data types (ssn) |
| объявление типов, функций, членов классов и значений | type, function, member and value declarations (Alex_Odeychuk) |
| объявления типов | type declarations (ssn) |
| объявления типов и подтипов | type and subtype declarations (ssn) |
| обёртки примитивных типов | wrappers (из кн.: Парамонов И.В. Разработка приложений баз данных с использованием средств объектно-реляционного отображения: метод. указания Alex_Odeychuk) |
| обёртывание значений базовых типов в монадический тип | wrapping of underlying types inside a monadic type (Alex_Odeychuk) |
| ограничение типов | limiting the types (ssn) |
| ограничения динамических типов | limitations of dynamic types (ssn) |
| ограничения символьных типов | limitations with character types (ssn) |
| один из возможных типов | one type (ssn) |
| один из типов файла в файловой системе, описываемый i-узлом | block device (ssn) |
| один из трёх поддерживаемых типов преобразования | one of three supported map types (ssn) |
| однозначная спецификация абстрактных типов данных | unambiguous specification of abstract data types (ssn) |
| ОО язык с динамическим контролем типов | dynamically typed object-oriented language (ssn) |
| ОО язык с динамическим контролем типов | object-oriented, dynamically typed language (ssn) |
| ОО язык с динамическим контролем типов | OO, dynamically typed language (ssn) |
| ОО язык с динамическим контролем типов | dynamically typed OO language (ssn) |
| ОО язык с динамической проверкой типов | OO, dynamically typed language (ssn) |
| ОО язык с динамической проверкой типов | dynamically typed object-oriented language (ssn) |
| ОО язык с динамической проверкой типов | object-oriented, dynamically typed language (ssn) |
| ОО язык с динамической проверкой типов | dynamically typed OO language (ssn) |
| ОО язык со статическим контролем типов | statically typed OO language (ssn) |
| ОО язык со статическим контролем типов | object-oriented, statically typed language (ssn) |
| ОО язык со статическим контролем типов | OO, statically typed language (ssn) |
| ОО язык со статическим контролем типов | statically typed object-oriented language (ssn) |
| ОО язык со статической проверкой типов | OO, statically typed language (ssn) |
| ОО язык со статической проверкой типов | statically typed OO language (ssn) |
| ОО язык со статической проверкой типов | object-oriented, statically typed language (ssn) |
| ОО язык со статической проверкой типов | statically typed object-oriented language (ssn) |
| операнды разных числовых типов | operands of different number types (ssn) |
| оператор приведения типов | casting operator (ssn) |
| оператор со статическим контролем типов | statically typed operator (Alex_Odeychuk) |
| описание типов данных | datatype description (ssn) |
| описание типов данных | data type description (ssn) |
| описания типов | type declarations (ssn) |
| определение имён и типов внутренних временных переменных | specifying the names and types of the internal temporary variables (ssn) |
| определение обобщённых типов | generic type definition (ssn) |
| определение производных типов | derivation (Alex_Odeychuk) |
| определение типов данных | defining data types (ssn) |
| определение типов данных удалённых операций | definition of remote operations data types (ssn) |
| определения концептуальных типов | contextual type definitions (ssn) |
| определения обобщённых типов | generic type definitions (ssn) |
| определения обобщённых типов и конструируемые типы | generic type definitions and constructed types (ssn) |
| определения типов | type definitions (ssn) |
| определения типов | typing definitions (см. ISO/IEC 10746-3, ГОСТ Р ИСО/МЭК 10746-3-2001 ssn) |
| определения типов значений | definitions of value types (ssn) |
| определённый механизмом вывода типов | inferred (говоря о типе данных Alex_Odeychuk) |
| основы создания типов | basics of creating types (напр., в языке С# ssn) |
| основы типов | type basics (ssn) |
| Относительно правил продвижения типов необходимо сделать ряд важных замечаний | there are a couple of important points to be made about the type promotion rules |
| отображение базовых типов | map of basic types (ssn) |
| отображение типов | type mapping (Alex_Odeychuk) |
| параллельная проверка соответствия типов | parallel typechecking (Microsoft Alex_Odeychuk) |
| параллельная редукция типов | parallel type reduction (ssn) |
| параллельная редукция типов | parallel reduction of types (ssn) |
| параметры типов | type parameters (ssn) |
| переадресация типов | type forwarding (blogspot.com owant) |
| передавать аргумент через фабрику типов | pass the argument through the typed factory (Alex_Odeychuk) |
| передача по ссылке аргументов стандартных типов | passing simple data types by reference (ssn) |
| переименование типов | typedef declaration (ssn) |
| перехватчик фабрики типов | typed factory interceptor (Alex_Odeychuk) |
| переход от системы типов к системе экземпляров | transition from type system to instance system (ssn) |
| перечень поддерживаемых специфических преобразований типов | list of the specific type conversions supported (ssn) |
| повторное рассмотрение абстрактных типов данных | abstract data types revisited (ssn) |
| поддерживаемые неявные преобразования типов | supported implicit type conversions (ssn) |
| поддержка кортежных типов | support for tuples (InfoWorld Alex_Odeychuk) |
| поддержка кортежных типов | support for tuple types (Microsoft Alex_Odeychuk) |
| поддержка типов данных | datatype support (ssn) |
| поддержка типов данных | data type support (ssn) |
| подсветка имён типов | type colorization (Microsoft Alex_Odeychuk) |
| подстановочность тегированных типов | tagged type substitutability (подстановочность – основная характеристика полиформизма типов Alex_Odeychuk) |
| Польза от методов борьбы с искажениями ограничена, поскольку предполагается, что разработчик заранее предугадает несколько возможных типов искажений и предусмотрит программно реализуемые функции для их устранения | Damage-correction techniques are of limited benefit because they require one to predict in advance a few possible types of damage and to design software functions to undo the damage when it occurs ("Software Reliability: Principles and Practices" by Glenford J. Myers (1976) ssn) |
| понятие общей системы типов | understanding the common type system (ssn) |
| понятие специальных преобразований типов | understanding custom type conversions (ssn) |
| поправки для типов проектов | adjustments due to project type (ssn) |
| правила использования фактических типов параметров | rules for using the actual types of the parameters (напр., функций ssn) |
| правила преобразования типов | type conversion rules (ssn) |
| правила преобразования типов | rules of type conversions (ssn) |
| правила преобразования типов данных | data type conversion rules (ssn) |
| правила проверки типов | rules for type checking (ssn) |
| правила продвижения типов | type promotions (ssn) |
| правила продвижения типов | type promotion rules (ssn) |
| предоставленный поставщиком типов | provided by a type provider (Alex_Odeychuk) |
| предотвращать неявное преобразование типов | prevent the use of implicit conversion (Alex_Odeychuk) |
| при организации пользовательских типов данных | as you organize your user-defined data types (ssn) |
| при организации пользовательских типов данных помните о следующих возможностях программного обеспечения | as you organize your user-defined data types, keep in mind the following features of software |
| приведение вверх по иерархии типов | casting up (Microsoft Alex_Odeychuk) |
| приведение вниз по иерархии типов | casting down (Microsoft Alex_Odeychuk) |
| приведение несовместимых типов | casting incompatible types (ssn) |
| приведение типов | casts (IBM Alex_Odeychuk) |
| приведение типов | typecasting (явное, не автоматическое Alex_Odeychuk) |
| приведение типов | typecast (данных) |
| приведение типов | recast (без преобразования внутреннего представления) |
| приведение типов | type coercions (Alex_Odeychuk) |
| приведение типов | type coercion |
| приведение типов | cast |
| приведение типов | casting |
| приведение типов | typecast (явное (напр., указанное программистом, explicit cast) или неявное (implicit cast) (напр., автоматически выполняемое компилятором) преобразование переменной, выражения и т.п. из одного типа в другой ssn) |
| приведение типов | type cast (явное (напр., указанное программистом, explicit cast) или неявное (implicit cast) (напр., автоматически выполняемое компилятором) преобразование переменной, выражения и т.п. из одного типа в другой ssn) |
| приведение типов | type casting (narod.ru owant) |
| приведение типов в выражениях | using casts in expressions (ssn) |
| приведение типов в выражениях | coercion in expressions (ssn) |
| приведение типов данных | typecast (ssn) |
| приведение типов данных | type casting (ssn) |
| приведение типов данных | type cast (ssn) |
| Приведение типов можно применять и к отдельным частям крупного выражения | A cast can be applied to a specific portion of a larger expression (ssn) |
| примеры индукции на деревьях вывода типов | examples of induction on typing derivations (ssn) |
| примеры объявлений типов | examples of type declarations (ssn) |
| примеры предопределённых типов | predefined type examples (ssn) |
| примеры преобразования типов данных | examples of the data type conversion (ssn) |
| "примирение" типов | type conciliation (ssn) |
| принципиально новая система типов | novel type system (в языке программирования Alex_Odeychuk) |
| приоритет типов данных | datatype precedence (ssn) |
| приоритет типов данных | data type precedence (ssn) |
| приёмы преобразования типов данных | data type conversion techniques (ssn) |
| продвижение типов | promotion (ssn) |
| продвижение типов | type promotion (ssn) |
| Продвижение типов затрагивает только вычисление выражения | Type promotion only affects the evaluation of an expression (ssn) |
| просмотр метаданных типов | viewing type metadata (ssn) |
| простая система типов | simple type system (ssn) |
| пространство имён типов | type namespace (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) |
| проходить проверку согласования типов | be type-checked (Alex_Odeychuk) |
| проходить проверку соответствия типов | type check (Alex_Odeychuk) |
| процесс перехода от системы типов к системе экземпляров | transformation of type system to instance system (ssn) |
| пять основных типов данных | five basic data types (ssn) |
| разработка абстрактных типов данных | designing an ADT (ssn) |
| разрешение зависимостей через фабрики типов | dependency resolutions via typed factories (Alex_Odeychuk) |
| разрешение типов | type resolution (корпорации Cray Alex_Odeychuk) |
| распознавание модулей и типов | type/module realization (компилятором языка программирования Alex_Odeychuk) |
| распознавание модулей и типов | type and module realization (компилятором языка программирования Alex_Odeychuk) |
| распределение типов | type allocation (ssn) |
| распространить вывод типов на объявления локальных переменных с инициализаторами | extend type inference to declarations of local variables with initializers (InfoWorld, USA Alex_Odeychuk) |
| расширяемость типов | extensibility of types (Alex_Odeychuk) |
| реакция системы на типовое воздействие | response of a system to a standard test input (ssn) |
| реакция системы на типовой входной сигнал | response of a system to a standard test input (ssn) |
| реализация абстрактных типов данных | implementing ADTs (ssn) |
| реализация абстрактных типов данных | implementing abstract data types (ssn) |
| реализация порядковых типов, определяемых пользователем | implementation of user-defined ordinal types (ssn) |
| реализация типов массивов | implementation of array types (ssn) |
| регистры адресных диапазонов и типов памяти | memory type range registers (ssn) |
| регистры адресных диапазонов и типов памяти | memory type and range registers (ssn) |
| регистры диапазонов адресов и типов памяти | memory type and range registers (ssn) |
| регистры диапазонов и типов памяти | memory type and range registers (ssn) |
| регистры определения диапазонов адресов и типов памяти | memory type and range registers (ssn) |
| регистры определения диапазонов и типов памяти | memory type range registers (ssn) |
| регистры определения типов памяти | memory type range registers (ssn) |
| решение задач с помощью абстрактных типов данных | problem solving with abstract data types (ssn) |
| ряд композитных типов | a number of composite types (ssn) |
| с динамическим контролем типов | dynamically typed (ssn) |
| с динамической проверкой типов | dynamically typed (ssn) |
| с использованием вывода типов | through type inference (Alex_Odeychuk) |
| с помощью создания производных типов | via derivation (Alex_Odeychuk) |
| с проверкой согласования типов во время выполнения | with a run-time type check (Alex_Odeychuk) |
| самое очевидное достоинство статической проверки типов | the most obvious benefit of static typechecking (ssn) |
| самый большой тип данных категории типов данных | largest data type of data type category (ssn) |
| сборка поставщика типов | type provider assembly (Microsoft Alex_Odeychuk) |
| свойства объявления типов данных | features of the declaration of data types (ssn) |
| свойства объявления типов данных и их инициализации, определённых пользователем | features of the declaration of user-defined data types and initialization (ssn) |
| свойства типов и объектов | properties of types and objects (ssn) |
| связывание типов | type binding (ssn) |
| связывание типов | type bindings (ssn) |
| система ограниченных типов | constrained type system (в языке параллельного программирования Х10; IBM Alex_Odeychuk) |
| система типов | type system (Система типов и операций над объектами этих типов. Проверка типа позволяет убедиться в том, что затребованная операция над данными типами допустима. Скажем, функцию необходимо вызывать с аргументами подходящих типов) |
| система типов программных объектов | software object type system (ssn) |
| система типов с распределением данных в памяти по областям | place-based type system (в языке распределенного параллельного программирования X10; IBM Alex_Odeychuk) |
| система типов Хиндли-Милнера | Hindley–Milner type system (Alex_Odeychuk) |
| слабая проверка соответствия типов | weak typing (ssn) |
| слабая проверка типов | weak typing (ssn) |
| слабый контроль соответствия типов | weak typing (ssn) |
| слабый контроль типов | weak typing (характеристика языка программирования, в котором программа может изменять тип данных или переменной во время исполнения ssn) |
| Следует иметь в виду, что правила продвижения типов применяются только к значениям, которыми оперируют при вычислении выражения | it is important to understand that type promotions only apply to the values operated upon when an expression is evaluated (ssn) |
| сложные идентификаторы типов | complex type identifiers (ssn) |
| со слабым контролем типов | weakly typed (ssn) |
| со статическим контролем типов | statically typed (ssn) |
| совместимость типов данных | type compatibilities (в ЯВУ существует десяток правил, задающих совместимость типов данных, начиная с правила, что каждый тип совместим сам с собой, типы совместимы, когда один является подмножеством другого и т.д. ssn) |
| соглашение об именовании типов | convention on type names (IBM Alex_Odeychuk) |
| соглашения, регулирующие порядок использования имен типов | conventions for type names (ssn) |
| создание конструируемых типов | creating constructed types (ssn) |
| создание подтипов на основе усиления инвариантов типов | subtyping based on the strengthening of type invariants (Alex_Odeychuk) |
| создание подтипов на основе усиления инвариантов типов | subtyping with strengthening type invariants (Alex_Odeychuk) |
| создание производных типов | derivation (Alex_Odeychuk) |
| создание производных типов | type derivation (данных Alex_Odeychuk) |
| создание типов | creation of types (ssn) |
| создание типов | creating types (напр., в языке С# ssn) |
| создание экземпляров типов | instantiating types (ssn) |
| сообщение об ошибке несовместимости типов | type-incompatibility error message (ssn) |
| сортировка других типов данных | sorting of other types of data (ssn) |
| специализированный селектор компонентов фабрики типов | custom typed factory component selector (Alex_Odeychuk) |
| специальные преобразования типов | custom type conversions (ssn) |
| спецификации абстрактных типов данных | specifying ADTs (ssn) |
| спецификации абстрактных типов данных | specifying abstract data types (ssn) |
| спецификации типов | type specifications (ssn) |
| спецификация абстрактных типов данных | ADT specification (ssn) |
| спецификация абстрактных типов данных | specification of abstract data types (ssn) |
| спецификация абстрактных типов данных | abstract data type specification (ssn) |
| спецификация элементарных типов данных | specification of elementary data types (ssn) |
| списки типов генерируемых исключений | throw lists (из кн.: Солтер Н.А., Клепер С.Дж. С++ для профессионалов Alex_Odeychuk) |
| списки типов объектов, нуждающихся в анализе | lists of the sort of things that need analysis (ssn) |
| список вопросов для ссылочных типов | checklist for reference types (ssn) |
| список вопросов для типов значений | checklist for value types (ssn) |
| список типов объектов, нуждающихся в анализе | list of the sort of things that need analysis (ssn) |
| список типов ссылок | reference type list (ssn) |
| способ ограничения типов | way of limiting the types (ssn) |
| способы указания типов переменных в программах | ways to specify a type in code (ssn) |
| сравнение ссылочных типов | comparing reference types (ssn) |
| сравнение ссылочных типов на эквивалентность | comparing reference types for equality (ssn) |
| сравнение явных и неявных преобразований типов | explicit vs. implicit type conversion (ssn) |
| среда миграции данных типового ресурса хранения iSCSI | generic iSCSI data migration environment (ssn) |
| средства преобразования типов и получения информации о типе во время выполнения | runtime type facilities (Alex_Odeychuk) |
| стандартные методы в пределах типов функциональных блоков | standard methods within function block types (ssn) |
| стандартный селектор компонентов фабрики типов | default typed factory component selector (Alex_Odeychuk) |
| старая форма оператора приведения типов | older form of type casting (ssn) |
| статическая проверка соответствия типов | static typing (ssn) |
| статическая проверка соответствия типов | static typechecking (ssn) |
| статическая проверка соответствия типов | static type checking (ssn) |
| статическая проверка типов | static typing (ssn) |
| статическая проверка типов | static typechecking (ssn) |
| статическая проверка типов | static type checking (проверка типов, производимая во время компиляции программы, не во время её исполнения) |
| статическая типизация с поддержкой вывода типов | statically inferred typing (Electronic Design Alex_Odeychuk) |
| статический контроль типов | static type-checking (ssn) |
| статический контроль типов | static type checking (ssn) |
| статический контроль типов | static typing (до начала выполнения программы, на основе только исходного текста ssn) |
| статическое приведение вверх по иерархии типов | casting up statically (Microsoft Alex_Odeychuk) |
| статическое связывание типов | static type binding (ssn) |
| супертип для примитивных типов | super-type of basic types (Alex_Odeychuk) |
| Существует также несколько соглашений, регулирующих порядок использования имен типов | in addition to these features, there are a few conventions for type names (см. Windows System Programming, 4th Edition by Johnson M. Hart 2010) |
| Такой подход вполне оправдан, т.к. имеется корреляция между реакцией системы на типовой входной сигнал и её поведением в реальных рабочих условиях | this approach is quite useful because there is a correlation between the response of a system to a standard test input and the system's ability to perform under normal operating conditions (см. Modern Control Systems by Richard C. Dorf & Robert H. Bishop 2008 ssn) |
| тема преобразования типов данных | topic of data type conversion (ssn) |
| теория зависимых типов | dependent type theory (Alex_Odeychuk) |
| теория типов | data-type theory (Microsoft Alex_Odeychuk) |
| теория типов данных | data-type theory (Microsoft Alex_Odeychuk) |
| тип возвращаемого значения, определённый механизмом вывода типов | inferred return type (Alex_Odeychuk) |
| тип, сгенерированный из библиотеки типов | types generated from the type library (Microsoft Alex_Odeychuk) |
| типовое воздействие | standard action (воздействие, принятое для оценки и сопоставления свойств систем управления и их элементов. К числу типовых воздействий относят, напр., единичный скачок, единичный импульс и др. См. Теория управления. Терминология. Вып. 107. М.: Наука, 1988 ssn) |
| типовое воздействие | specified action (воздействие, принятое для оценки и сопоставления свойств систем управления и их элементов. К числу типовых воздействий относят, напр., единичный скачок, единичный импульс и др. См. Теория управления. Терминология. Вып. 107. М.: Наука, 1988 ssn) |
| типовое решение | pattern (ssn) |
| типовые воздействия | standard actions (ssn) |
| типовые воздействия | specified actions (ssn) |
| Типовые решения | the Patterns |
| типовые решения | patterns (ssn) |
| типовые решения для обработки задач автономного параллелизма | offline concurrency patterns (см. "Patterns of Enterprise Application Architecture" by Martin Fowler 2002 ssn) |
| типовые решения для хранения состояния сеанса | session state patterns (см. "Patterns of Enterprise Application Architecture" by Martin Fowler 2002 ssn) |
| типовые решения, предназначенные для моделирования поведения | behavioral patterns (ssn) |
| типовые решения, предназначенные для представления данных в Web | Web presentation patterns (см. "Patterns of Enterprise Application Architecture" by Martin Fowler 2002 ssn) |
| типовые решения распределенной обработки данных | distribution patterns (см. "Patterns of Enterprise Application Architecture" by Martin Fowler 2002 ssn) |
| типы данных общей системы типов | CTS data types (ssn) |
| типы данных общей системы типов | common type system data types (ssn) |
| типы делегатов общей системы типов | CTS delegate types (ssn) |
| типы делегатов общей системы типов | common type system delegate types (ssn) |
| типы интерфейсов общей системы типов | CTS interface types (ssn) |
| типы интерфейсов общей системы типов | common type system interface types (ssn) |
| типы классов общей системы типов | CTS class types (ssn) |
| типы классов общей системы типов | common type system class types (ssn) |
| типы перечислений общей системы типов | CTS enumeration types (ssn) |
| типы перечислений общей системы типов | common type system enumeration types (ssn) |
| типы структур общей системы типов | CTS structure types (ssn) |
| типы структур общей системы типов | common type system structure types (ssn) |
| транзакции различных типов | different transaction types (ssn) |
| требование обеспечения эквивалентности типов | non-disjointness requirement (в языке параллельного программирования Х10; IBM Alex_Odeychuk) |
| условия безопасности типов | type safety contract (ssn) |
| утверждения трёх типов | three kinds of assertions (ssn) |
| формальное знакомство с построением типов классов в C# | formal examination of building class types with C# (ssn) |
| целочисленное продвижение типов | integer promotion (ssn) |
| цепь наследования типов | type inheritance chain (Alex_Odeychuk) |
| часть, содержащая объявления типов, констант и переменных | declarative part (Alex_Odeychuk) |
| чётко определённый набор основополагающих типов данных | well-defined set of fundamental data types (ssn) |
| чётко определённый набор фундаментальных типов данных | well-defined set of fundamental data types (ssn) |
| эквивалентность типов | type equivalence (microsoft.com owant) |
| элементы входных данных различных типов | input data elements of various types (ssn) |
| элементы входных данных различных типов в пределах родового типа данных | input data elements of various types within a generic data type (ssn) |
| эффективность и безопасность типов | efficiency and type safety (ssn) |
| эффективность и безопасность типов обобщений | efficiency and type safety of generics (ssn) |
| явное и неявное преобразование типов | explicit and implicit type conversion (данных ssn) |
| явное преобразование типов | explicit conversions (IBM Alex_Odeychuk) |
| явное преобразование типов | type casts (Alex_Odeychuk) |
| явное преобразование типов | explicit type conversion (ssn) |
| явное преобразование типов выражения | explicit type conversion of an expression (ssn) |
| явное преобразование типов данных | explicit data type conversion (ssn) |
| явное преобразование типов данных выражения | explicit type conversion of an expression (ssn) |
| явное приведение и преобразование типов | casts and conversions (IBM Alex_Odeychuk) |
| явное приведение типов | type casts (IBM Alex_Odeychuk) |
| явное приведение типов | explicit casts (Alex_Odeychuk) |
| явные преобразования типов | explicit type conversions (выражения могут быть преобразованы из одного типа в другой явным указанием ssn) |
| язык со статическим контролем типов данных | statically typed language (ssn) |
| язык со строгим контролем типов | strongly typed language (ssn) |
