Jump to content

Talk:Nominal type system

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

Nominative? and type-safety

[edit]
Header added. —Nils von Barth (nbarth) (talk) 04:23, 15 December 2013 (UTC)[reply]

Where does the term "nominative type system" come from? I've heard this called a "nominal type system", but "nominative" is not something I've seen.

I'd like to see the source for this statement "and is considered to have better type-safety than structural typing". Although I would agree that given distinct names to the same structural type improves code readability and encourages self-documented code; nominal subtyping in the style of OO is known to have serious flaws Inheritance is not subtyping Carlosayam (talk) 21:24, 22 June 2010 (UTC)[reply]

Good point about naming; “nominal” is more common than “nominative”, and gives a clearer constrast with “structural”, so I’ve moved the page.
I think the use of “nominative” is from Nominative And Structural Typing at C2.
—Nils von Barth (nbarth) (talk) 04:23, 15 December 2013 (UTC)[reply]