Some of Sunday's edits have been lost. The edits from Saturday that were reverted have been restored. Site is now hosted on prgmr.com. Thank you for your patience. This notice will be removed one week from posting. --Michael Mol 18:12, 7 March 2010 (UTC)

From Rosetta Code

In this typing scheme, two types are the same when they have the same structure (e.g., a tuple of a 32-bit integer, a string and a double-precision float is the same as any other tuple of 32-bit integer, string and double); there is no individual identity for type instances.