Play Video
1
Type-ZERO - All Systems Nominal (MechWarrior Online Tribute)
Type-ZERO - All Systems Nominal (MechWarrior Online Tribute)
::2013/01/02::
Play Video
2
Scala
Scala's Type System: a tutorial
::2012/04/01::
Play Video
3
[DOWNLOAD] MW3 Reactor online, sensors online, weapons online, all systems nominal
[DOWNLOAD] MW3 Reactor online, sensors online, weapons online, all systems nominal
::2012/03/10::
Play Video
4
APC Smart-UPS SMT3000 2700W/3000VA 120V LCD UPS System
APC Smart-UPS SMT3000 2700W/3000VA 120V LCD UPS System
::2014/07/03::
Play Video
5
All Systems Nominal
All Systems Nominal
::2012/06/20::
Play Video
6
Nominal Ledger
Nominal Ledger
::2012/11/09::
Play Video
7
Nominal versus Real GDP
Nominal versus Real GDP
::2012/01/25::
Play Video
8
All Systems Nominal: Episode #3 - Equilibrium
All Systems Nominal: Episode #3 - Equilibrium
::2013/03/31::
Play Video
9
APC SMT2200 1980 Watts/2200VA 120V LCD UPS System
APC SMT2200 1980 Watts/2200VA 120V LCD UPS System
::2014/07/30::
Play Video
10
Top 30 Richest Countries in Africa by GDP Nominal
Top 30 Richest Countries in Africa by GDP Nominal
::2014/05/16::
Play Video
11
HI-TEX Active spekers, Hornsonic
HI-TEX Active spekers, Hornsonic
::2011/04/17::
Play Video
12
How to include Nominal Codes and create Sub Accounts - QuickBooks Online
How to include Nominal Codes and create Sub Accounts - QuickBooks Online
::2014/02/27::
Play Video
13
Logitech Z 506 Speaker System
Logitech Z 506 Speaker System
::2012/01/28::
Play Video
14
Nominal vs. Effective Interest Rates for a Mortgage and How it affects how much You Pay per month
Nominal vs. Effective Interest Rates for a Mortgage and How it affects how much You Pay per month
::2013/08/06::
Play Video
15
Golden Rules of Accounting,how to understand the concepts of Real,Personal and Nominal account rules
Golden Rules of Accounting,how to understand the concepts of Real,Personal and Nominal account rules
::2013/09/05::
Play Video
16
Logitech X-140 Speakers Unboxing & Inside Look
Logitech X-140 Speakers Unboxing & Inside Look
::2009/09/25::
Play Video
17
JL Audio 1000/1 Dyno 2.8 ohm nominal
JL Audio 1000/1 Dyno 2.8 ohm nominal
::2014/08/24::
Play Video
18
How to tell if your Samsung Galaxy S3 CPU is fast, nominal or slow.
How to tell if your Samsung Galaxy S3 CPU is fast, nominal or slow.
::2013/02/22::
Play Video
19
Learn Modern Standard Arabic (structure - Nominal sentence) Fosha Lesson 9 of 11
Learn Modern Standard Arabic (structure - Nominal sentence) Fosha Lesson 9 of 11
::2013/10/03::
Play Video
20
AEMC Instruments - PEL Android App
AEMC Instruments - PEL Android App
::2014/08/08::
Play Video
21
NEW Subaru WRX STI 2015 Impreza official video
NEW Subaru WRX STI 2015 Impreza official video
::2014/01/14::
Play Video
22
Creative T6160 5.1 Unboxing
Creative T6160 5.1 Unboxing
::2011/01/14::
Play Video
23
Assembleon (Philips) Gem Series Topaz Placement System
Assembleon (Philips) Gem Series Topaz Placement System
::2011/07/18::
Play Video
24
SELF-EXPANDING NITINOL STENT "JAGUAR" with delivery system
SELF-EXPANDING NITINOL STENT "JAGUAR" with delivery system
::2014/02/28::
Play Video
25
Onkyo CD Receiver System CS445 Overview
Onkyo CD Receiver System CS445 Overview
::2014/08/27::
Play Video
26
SPSS for newbies tutorial: Likert scale input
SPSS for newbies tutorial: Likert scale input
::2013/03/16::
Play Video
27
How to Use SPSS: Oraganizing,Coding and Entering Data for Non-Parametric Data Analysis
How to Use SPSS: Oraganizing,Coding and Entering Data for Non-Parametric Data Analysis
::2013/08/28::
Play Video
28
Subwoofer test LTC car audio sistems 250 watt nominal.10"
Subwoofer test LTC car audio sistems 250 watt nominal.10"
::2013/04/28::
Play Video
29
Video review "MyTinySun" HEAD 1000 PRO Lighting System.
Video review "MyTinySun" HEAD 1000 PRO Lighting System.
::2013/11/19::
Play Video
30
APC Smart-UPS SMX1500RM2U X 1200W/1500VA LCD 120V 2U/Tower UPS System
APC Smart-UPS SMX1500RM2U X 1200W/1500VA LCD 120V 2U/Tower UPS System
::2014/07/04::
Play Video
31
Multi strand system.avi
Multi strand system.avi
::2012/03/30::
Play Video
32
Trust 5.1 Surround Speaker Set SP-6250Z
Trust 5.1 Surround Speaker Set SP-6250Z
::2011/10/04::
Play Video
33
Audio Technix 12s on 500 watts nominal RMS
Audio Technix 12s on 500 watts nominal RMS
::2013/04/07::
Play Video
34
Dynamic High Frequency Caps
Dynamic High Frequency Caps
::2010/11/29::
Play Video
35
How to Select the Right FRAM (F-RAM) for your Applications
How to Select the Right FRAM (F-RAM) for your Applications
::2013/10/21::
Play Video
36
Unpacking and Overview - HeadWay LiFePo4 36V 10Ah Ebike Battery Pack & 2 Chargers
Unpacking and Overview - HeadWay LiFePo4 36V 10Ah Ebike Battery Pack & 2 Chargers
::2014/06/13::
Play Video
37
JBL EON10 G2 Loudspeaker System Sound Test
JBL EON10 G2 Loudspeaker System Sound Test
::2013/11/23::
Play Video
38
Angle valve type Z1A to control the flow of steam
Angle valve type Z1A to control the flow of steam
::2014/04/09::
Play Video
39
Comparison of gutters: Zambelli gutters vs. Scandinavian systems
Comparison of gutters: Zambelli gutters vs. Scandinavian systems
::2014/03/06::
Play Video
40
PROpak Portable Foam System
PROpak Portable Foam System
::2014/05/16::
Play Video
41
LCM Landing Craft Mechanized Type 8 on GovLiquidation.com
LCM Landing Craft Mechanized Type 8 on GovLiquidation.com
::2014/03/20::
Play Video
42
Denon PMA 425R + RRR Radiotehnika S-90F + Pioneer CS 5070 system
Denon PMA 425R + RRR Radiotehnika S-90F + Pioneer CS 5070 system
::2013/05/06::
Play Video
43
Iran has built Herz 9 anti aircraft missile system to protect it
Iran has built Herz 9 anti aircraft missile system to protect it's Nuclear program from Israel
::2014/07/17::
Play Video
44
MWO AS7-D-DC Startup
MWO AS7-D-DC Startup
::2013/01/25::
Play Video
45
NEW 2014 BMW R 1200 GS Adventure Wethead
NEW 2014 BMW R 1200 GS Adventure Wethead
::2014/01/31::
Play Video
46
Types Of Accounts
Types Of Accounts
::2014/03/17::
Play Video
47
Blaupunkt LS 215e BK schwarzsilber
Blaupunkt LS 215e BK schwarzsilber
::2014/07/31::
Play Video
48
Kef Coda 8 (serie melhorada)
Kef Coda 8 (serie melhorada)
::2012/07/31::
Play Video
49
2015 Mercedes S-Class Coupé: Active Body Control demonstration
2015 Mercedes S-Class Coupé: Active Body Control demonstration
::2014/06/28::
Play Video
50
Nominal micro business management software - Invoice payment
Nominal micro business management software - Invoice payment
::2011/09/01::
NEXT >>
RESULTS [51 .. 101]
From Wikipedia, the free encyclopedia
  (Redirected from Nominative type system)
Jump to: navigation, search

In computer science, a nominal or nominative type system (or name-based type system) is a major class of type system, in which compatibility and equivalence of data types is determined by explicit declarations and/or the name of the types. Nominal systems are used to determine if types are equivalent, as well as if a type is a subtype of another. It contrasts with structural systems, where comparisons are based on the structure of the types in question and do not require explicit declarations.

Nominal typing[edit]

Nominal typing means that two variables are type-compatible if and only if their declarations name the same type. For example, in C, two struct types with different names are never considered compatible, even if they have identical field declarations.

However, C also allows a typedef declaration, which introduces an alias for an existing type. These are merely syntactical and do not differentiate the type from its alias for the purpose of type checking. This feature, present in many languages, can result in a loss of type safety when (for example) the same primitive integer type is used in two semantically distinct ways. Haskell provides the C-style syntactic alias, as well as a declaration that does introduce a new, distinct type, isomorphic to an existing type.

Nominal subtyping[edit]

In a similar fashion, nominal subtyping means that one type is a subtype of another if and only if it is explicitly declared to be so in its definition. Nominally-typed languages typically enforce the requirement that declared subtypes be structurally compatible (though Eiffel allows non-compatible subtypes to be declared). However, subtypes which are structurally compatible "by accident", but not declared as subtypes, are not considered to be subtypes.

C, C++, C#, Java, Objective-C, and Swift all primarily use both nominal typing and nominal subtyping.

Some nominally-subtyped languages, such as Java and C#, allow classes to be declared final (or sealed in C# terminology), indicating that no further subtyping is permitted.

Comparison[edit]

Nominal typing is useful at preventing accidental type equivalence, and is considered[by whom?] to have better type-safety than structural typing. The cost is a reduced flexibility, as, for example, nominal typing does not allow new super-types to be created without modification of the existing subtypes.

See also[edit]

Notes[edit]

References[edit]

External links[edit]

Wikipedia content is licensed under the GFDL License
Powered by YouTube
LEGAL
  • Mashpedia © 2014