-
1 checking account
Econa bank account in which deposits can be withdrawn at any time, but do not usually earn interest, except in the case of some online accounts. It is the most common type of bank account.U.K. term current account -
2 контроль типов
Русско-английский словарь по вычислительной технике и программированию > контроль типов
-
3 ispitivanje tipova
• type checking -
4 kontrola typów
• type checking -
5 kontrola zgodności typów
• type checkingSłownik polsko-angielski dla inżynierów > kontrola zgodności typów
-
6 контроль типов
Русско-английский индекс к Англо-русскому толковому словарю терминов и сокращений по ВТ, Интернету и программированию > контроль типов
-
7 проверка соответствия типов
Русско-английский индекс к Англо-русскому толковому словарю терминов и сокращений по ВТ, Интернету и программированию > проверка соответствия типов
-
8 контроль типов
-
9 контроль типов
родовой тип данных; данные родового типа — generic data type
плавающий тип; тип с плавающей запятой — floating point type
Русско-английский словарь по информационным технологиям > контроль типов
-
10 проверка типов
type checking вчт. -
11 проверка типов
type checking вчт.Русско-английский словарь по радиоэлектронике > проверка типов
-
12 контроль типов
1) Computers: type check, type checking3) Information technology: type-checking4) Programming: (соответствия) type checking -
13 статическая типизация
Programming: static type checking (см. static typing), static type-checking (см. static typing), static typing (определение и контроль типов объектов на стадии компиляции по их описанию в программе. Syn: static type-checking. Ant: dynamic typing)Универсальный русско-английский словарь > статическая типизация
-
14 статический контроль типов
Programming: static type checking, static typing (до начала выполнения программы, на основе только исходного текста), static type-checking (см. static typing)Универсальный русско-английский словарь > статический контроль типов
-
15 контроль соответствия типов
1) Information technology: type check (напр. данных)2) Oil: type check, type checkingУниверсальный русско-английский словарь > контроль соответствия типов
-
16 проверка типов
Information technology: type check, type checking -
17 типовая безопасность
(обеспечивается наличием контроля типов (type checking), а также корректным использованием шаблонных классов (template class)) type safetyРусско-английский словарь по вычислительной технике и программированию > типовая безопасность
-
18 алгоритм проверки типа
Programming: algorithm for type checking (см. ISO/IEC 10746-3, ГОСТ Р ИСО/МЭК 10746-3-2001)Универсальный русско-английский словарь > алгоритм проверки типа
-
19 динамическая типизация
Programming: dynamic typing (определение и/или контроль типов данных (объектов) во время исполнения программы. Syn: dynamic type checking, runtime typing), runtime typing (см. dynamic typing)Универсальный русско-английский словарь > динамическая типизация
-
20 динамический контроль типов
Programming: dynamic type checking (см. dynamic typing), dynamic typing (во время выполнения программы), runtime typing (см. dynamic typing)Универсальный русско-английский словарь > динамический контроль типов
См. также в других словарях:
Type system — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing … Wikipedia
Type inference — Type inference, or implicit typing, refers to the ability to deduce automatically the type of a value in a programming language. It is a feature present in some strongly statically typed languages. It is often characteristic of but not limited to … Wikipedia
Type theory — In mathematics, logic and computer science, type theory is any of several formal systems that can serve as alternatives to naive set theory, or the study of such formalisms in general. In programming language theory, a branch of computer science … Wikipedia
Checking (ice hockey) — Checking in ice hockey is any one of a number of defensive techniques. It is usually not a penalty. Contents 1 Types 2 New NHL standard of rule enforcement, 2005–2006 3 External links 4 … Wikipedia
Checking on the Moon — Author(s) Jenny Davis Country … Wikipedia
Dependent type — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing … Wikipedia
checking account — n. US a current account at a bank. Etymology: CHECK(3) * * * noun, pl ⋯ counts [count] US : a bank account from which you can take money by writing checks called also (Brit) current account * * * ˈchecking account [checking account checking… … Useful english dictionary
Type safety — In computer science, type safety is a property of some programming languages that is defined differently by different communities, but most definitions involve the use of a type system to prevent certain erroneous or undesirable program behavior… … Wikipedia
Nominative type system — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing … Wikipedia
Type introspection — In computing, type introspection is a capability of some object oriented programming languages to determine the type of an object at runtime. This is a notable capability of the Objective C language, and is a common feature in any language that… … Wikipedia
Intuitionistic type theory — Intuitionistic type theory, or constructive type theory, or Martin Löf type theory or just Type Theory is a logical system and a set theory based on the principles of mathematical constructivism. Intuitionistic type theory was introduced by Per… … Wikipedia