Scala's Type System: a tutorial

Channel: brhutchison   |   2012/04/01
Play Video
1
Scala
Scala's Type System: a tutorial
::2012/04/01::
Play Video
2
Type-ZERO - All Systems Nominal (MechWarrior Online Tribute)
Type-ZERO - All Systems Nominal (MechWarrior Online Tribute)
::2013/01/02::
Play Video
3
[MWO] All Systems Nominal
[MWO] All Systems Nominal
::2012/11/09::
Play Video
4
All Systems Nominal
All Systems Nominal
::2013/03/31::
Play Video
5
Edifier C3 2.1
Edifier C3 2.1
::2014/02/10::
Play Video
6
Logitech Z 506 Speaker System
Logitech Z 506 Speaker System
::2012/01/28::
Play Video
7
Nominal Ledger
Nominal Ledger
::2012/11/09::
Play Video
8
HI-TEX Active spekers, Hornsonic
HI-TEX Active spekers, Hornsonic
::2011/04/17::
Play Video
9
Trust 5.1 Surround Speaker Set SP-6250Z
Trust 5.1 Surround Speaker Set SP-6250Z
::2011/10/04::
Play Video
10
Reactor Online. Sensors Online. Weapons Online. All Systems Nominal.
Reactor Online. Sensors Online. Weapons Online. All Systems Nominal.
::2011/03/09::
Play Video
11
NEW Subaru WRX STI 2015 Impreza official video
NEW Subaru WRX STI 2015 Impreza official video
::2014/01/14::
Play Video
12
LCM Landing Craft Mechanized Type 8 on GovLiquidation.com
LCM Landing Craft Mechanized Type 8 on GovLiquidation.com
::2014/03/21::
Play Video
13
Creative T6160 5.1 Unboxing
Creative T6160 5.1 Unboxing
::2011/01/14::
Play Video
14
SELF-EXPANDING NITINOL STENT "JAGUAR" with delivery system
SELF-EXPANDING NITINOL STENT "JAGUAR" with delivery system
::2014/02/28::
Play Video
15
Beyerdynamic DT880 PRO Headset - 250 OHM
Beyerdynamic DT880 PRO Headset - 250 OHM
::2014/03/30::
Play Video
16
Logitech X-140 Speakers Unboxing & Inside Look
Logitech X-140 Speakers Unboxing & Inside Look
::2009/09/25::
Play Video
17
Type-ZERO - System Overdrive (Preview)
Type-ZERO - System Overdrive (Preview)
::2012/07/29::
Play Video
18
APC SU1400rmi2u UPS used as a 24VDC to 240VAC inverter
APC SU1400rmi2u UPS used as a 24VDC to 240VAC inverter
::2014/02/07::
Play Video
19
SAMSUNG DVM - S 2014 Full Version ~ Redefining System Air Conditioning Standards [by ESE]
SAMSUNG DVM - S 2014 Full Version ~ Redefining System Air Conditioning Standards [by ESE]
::2013/08/26::
Play Video
20
MechWarrior Online improved system start up
MechWarrior Online improved system start up
::2013/01/24::
Play Video
21
New 1500 hp SCR Drilling Rig
New 1500 hp SCR Drilling Rig
::2013/11/05::
Play Video
22
2015 Subaru WRX STI Live Photos - 2014 Detroit
2015 Subaru WRX STI Live Photos - 2014 Detroit
::2014/01/15::
Play Video
23
Induction machine supplied by VSI with the Z type observer backstepping
Induction machine supplied by VSI with the Z type observer backstepping
::2014/03/05::
Play Video
24
Video review "MyTinySun" HEAD 1000 PRO Lighting System.
Video review "MyTinySun" HEAD 1000 PRO Lighting System.
::2013/11/20::
Play Video
25
Japanese Girl Part 96 Mayu Watanabe AKB48 Member ( 渡辺麻友 )
Japanese Girl Part 96 Mayu Watanabe AKB48 Member ( 渡辺麻友 )
::2013/11/15::
Play Video
26
Bmw R1200GS 2014 review
Bmw R1200GS 2014 review
::2014/03/24::
Play Video
27
Best Car Reviews - 2015 Subaru WRX STI - 2014 Detroit Auto Show
Best Car Reviews - 2015 Subaru WRX STI - 2014 Detroit Auto Show
::2014/02/23::
Play Video
28
Japanese Girl Part 105 Yui Koike  小池唯
Japanese Girl Part 105 Yui Koike 小池唯
::2013/11/19::
Play Video
29
SAMSUNG DVM - S 2014 (Standard Proposal) ~ Redefining System Air Conditioning Standards [by ESE]
SAMSUNG DVM - S 2014 (Standard Proposal) ~ Redefining System Air Conditioning Standards [by ESE]
::2013/08/27::
Play Video
30
Brand New DVMS Features Presentation by Energy Systems ERGOVA LTD Albania ~ Redefining A/C Standards
Brand New DVMS Features Presentation by Energy Systems ERGOVA LTD Albania ~ Redefining A/C Standards
::2013/10/21::
Play Video
31
Milliwatt test
Milliwatt test
::2012/06/15::
Play Video
32
Assembleon (Philips) Gem Series Topaz Placement System
Assembleon (Philips) Gem Series Topaz Placement System
::2011/07/18::
Play Video
33
Master Audio Xcellence line array  - Afial Presentation
Master Audio Xcellence line array - Afial Presentation
::2012/11/18::
Play Video
34
Multi strand system.avi
Multi strand system.avi
::2012/03/30::
Play Video
35
BTI WIRE STRAIGHTENING CUM CUTTING OFF MACHINE. Sarbjeet Singh +91-9814126951
BTI WIRE STRAIGHTENING CUM CUTTING OFF MACHINE. Sarbjeet Singh +91-9814126951
::2011/03/31::
Play Video
36
SPSS for newbies tutorial: Likert scale input
SPSS for newbies tutorial: Likert scale input
::2013/03/16::
Play Video
37
1981 Technics SA-203 Receiver and 1981 Paisley AE-300 Speakers
1981 Technics SA-203 Receiver and 1981 Paisley AE-300 Speakers
::2014/03/10::
Play Video
38
My sound system custom dual 12" sub box
My sound system custom dual 12" sub box
::2012/04/17::
Play Video
39
LCM-8 Landing Craft on GovLiquidation.com
LCM-8 Landing Craft on GovLiquidation.com
::2013/09/22::
Play Video
40
Interval type-2
Interval type-2
::2013/08/07::
Play Video
41
JBL EON 210P Portable PA System @ Namm 2012 with DJkit.tv
JBL EON 210P Portable PA System @ Namm 2012 with DJkit.tv
::2012/01/31::
Play Video
42
BTI Wire Straightening and Cutting Machine. (Sarbjeet Singh +91-9814126951)
BTI Wire Straightening and Cutting Machine. (Sarbjeet Singh +91-9814126951)
::2009/12/17::
Play Video
43
The Finland Phenomenon
The Finland Phenomenon
::2013/11/19::
Play Video
44
BTI AUTOMATIC WIRE STRAIGHTENING AND CUTTING MACHINE . BTI M-010. Sarbjeet Singh 09814126951
BTI AUTOMATIC WIRE STRAIGHTENING AND CUTTING MACHINE . BTI M-010. Sarbjeet Singh 09814126951
::2011/09/07::
Play Video
45
Audio Technix 12s on 500 watts nominal RMS
Audio Technix 12s on 500 watts nominal RMS
::2013/04/07::
Play Video
46
Beyerdynamic Custom One Pro Unboxing
Beyerdynamic Custom One Pro Unboxing
::2013/06/22::
Play Video
47
2 12 inch Alpine Type S subwoofers
2 12 inch Alpine Type S subwoofers
::2012/11/12::
Play Video
48
LCM-8 Landing Craft on GovLiquidation.com
LCM-8 Landing Craft on GovLiquidation.com
::2013/10/21::
Play Video
49
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
50
Bmw R1200GS Adventure 2014 review, Bmw R1200GS Adventure 2014 video
Bmw R1200GS Adventure 2014 review, Bmw R1200GS Adventure 2014 video
::2014/03/24::
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, and Objective-C 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

Mashpedia enables any individual or company to promote their own Youtube-hosted videos or Youtube Channels, offering a simple and effective plan to get them in front of our engaged audience.

Want to learn more? Please contact us at: hello@mashpedia.com

Powered by YouTube
LEGAL
  • Mashpedia © 2014