Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
English
⇄
Russian
Terms
for subject
Programming
containing
type systems
|
all forms
|
in specified order only
English
Russian
common
type system
общая система типов
(
ssn
)
common
type system
class types
типы классов CTS
(
ssn
)
common
type system
class types
типы классов общей системы типов
(
ssn
)
common
type system
data types
типы данных CTS
(
ssn
)
common
type system
data types
типы данных общей системы типов
(
ssn
)
common
type system
delegate types
типы делегатов CTS
(
ssn
)
common
type system
delegate types
типы делегатов общей системы типов
(
ssn
)
common
type system
enumeration types
типы перечислений CTS
(
ssn
)
common
type system
enumeration types
типы перечислений общей системы типов
(
ssn
)
common
type system
interface types
типы интерфейсов CTS
(
ssn
)
common
type system
interface types
типы интерфейсов общей системы типов
(
ssn
)
common
type system
structure types
типы структур CTS
(
ssn
)
common
type system
structure types
типы структур общей системы типов
(
ssn
)
common
type system
type members
члены типов CTS
(
ssn
)
common
type system
type members
члены типов общей системы типов
(
ssn
)
constrained
type system
система ограниченных типов
(в языке параллельного программирования Х10; IBM
Alex_Odeychuk
)
extension to the
type system
расширение системы типов
(языка программирования
Alex_Odeychuk
)
formalization of software object
type system
формализованное описание системы типов программных объектов
(
ssn
)
formalized description of software object
type system
формализованное описание системы типов программных объектов
(
ssn
)
Hindley–Milner
type system
система типов Хиндли-Милнера
(
Alex_Odeychuk
)
integrated
type system
единая система типов
(IBM
Alex_Odeychuk
)
intrinsic common
type system
data types
встроенные типы данных CTS
(
ssn
)
intrinsic common
type system
data types
встроенные типы данных общей системы типов
(
ssn
)
novel
type system
принципиально новая система типов
(в языке программирования
Alex_Odeychuk
)
number of inference rules in the
type system
количество правил выведения типов в системе типов
(
Alex_Odeychuk
)
place-based
type system
система типов с распределением данных в памяти по областям
(в языке распределенного параллельного программирования X10; IBM
Alex_Odeychuk
)
simple
type system
простая система типов
(
ssn
)
software object
type system
система типов программных объектов
(
ssn
)
structural
type system
структурная система типов
(
ssn
)
transformation of
type system
to instance system
процесс перехода от системы типов к системе экземпляров
(
ssn
)
transition from
type system
to instance system
переход от системы типов к системе экземпляров
(
ssn
)
type system
система типов
(Система типов и операций над объектами этих типов. Проверка типа позволяет убедиться в том, что затребованная операция над данными типами допустима. Скажем, функцию необходимо вызывать с аргументами подходящих типов)
understanding the common
type system
понятие общей системы типов
(
ssn
)
uniform
type system
унифицированная система типов
(
ssn
)
Get short URL
