Type compatibility: Difference between revisions

Content added Content deleted

Inline

Revision as of 19:02, 25 July 2008 (view source) rosettacode>Mwn3d m (Some grammar, a link) ← Older edit		Revision as of 20:30, 8 August 2008 (view source) rosettacode>Mwn3d m (Moved to type system cat) Newer edit →
Line 1:		Line 1:
	[[Category:~~Encyclopedia~~]]'''Type equivalence''' describes the way types are considered equivalent when matched. Types can be equivalent:		[[Category:Type System]]'''Type equivalence''' describes the way types are considered equivalent when matched. Types can be equivalent:

	* by name (nominal equivalence);		* by name (nominal equivalence);