Talk:Nominal type system

Nominative? and type-safety

 * Header added. —Nils von Barth (nbarth) (talk) 04:23, 15 December 2013 (UTC)

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)


 * 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)