-
1 type checking
"The process performed by a compiler or interpreter to make sure that when a variable is used, it is treated as having the same data type as it was declared to have." -
2 type
[taip]1. n տիպ, տարատեսակ, տե սակ. դաս, կարգ. an odd type տարօրինակ մարդ/ տիպ. I don’t like this type Սա իմ ճաշակով չէ. type of work աշխատանքի բնույթը. տպգր. տպա տառ, տառ. in bold/heavy type խոշոր տպա տառ/թավատառ. հմկրգ. type check տիպերի համապատասխանության ստուգելը. type checking ստուգում type coercion տիպերի բերում. type conversion տիպերի ձևա փոխություն. type mismatch տի պերի անհամապատասխանություն type in/out մուտք/ելք. type specifiation տիպի նկարագրություն.2. v մե քենագրել. typed constant հմկրգ. տիպա կանացված հաստատուն. typed language ուժեղ տի պի զաց ված/տիպիկանացված լեզու -
3 managed code
"Code that is executed by the common language runtime environment rather than directly by the operating system. Managed code applications gain common language runtime services such as automatic garbage collection, runtime type checking and security support, and so on. These services help provide uniform platform- and language-independent behavior of managed-code applications."تعليمات برمجية مُدارة -
4 unmanaged code
"Code that is executed directly by the operating system, outside the.NET Framework common language runtime. Unmanaged code must provide its own memory management, type checking, and security support, unlike managed code, which receives these services from the common language runtime."تعليمات برمجية غير مُدارة -
5 unsafe code
"Code that is executed directly by the operating system, outside the.NET Framework common language runtime. Unmanaged code must provide its own memory management, type checking, and security support, unlike managed code, which receives these services from the common language runtime."
См. также в других словарях:
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
