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) |