Difference between revisions of "Datatypes R2 Issue 12"
| Line 16: | Line 16: | ||
This is a very far-reaching thing to do. I can agree to EN and AD | This is a very far-reaching thing to do. I can agree to EN and AD | ||
| − | but it should not be done for PQ and CD. --[[User:Gschadow|Gschadow]] 01:23, 25 Jun 2006 (CDT) | + | but it should not be done for PQ and CD. The proposal is not |
| + | correctly titled, as the whole point about data types is that | ||
| + | identity is not different from equality. Anything that looks | ||
| + | different between two values and does not factor into the | ||
| + | equality relation is logically irrelevant. --[[User:Gschadow|Gschadow]] 01:23, 25 Jun 2006 (CDT) | ||
== Links == | == Links == | ||
Back to [[Data Types R2 issues]] | Back to [[Data Types R2 issues]] | ||
Revision as of 06:25, 25 June 2006
Contents
Data Types Issue 12: Drop identity-equality distinction
Introduction
Remove the artificial distinction between identity and equality. We do a whole lot of goofy things (like make addresses BAGs instead of SETs because we need to support duplicate addresses with different times.
This would not be backward compatible.
Discussion
DataTypes BOF May 2005: Proposed action: Accept and add equivalence definitions for EN, AD, PQ, CD, possibly others
This is a very far-reaching thing to do. I can agree to EN and AD but it should not be done for PQ and CD. The proposal is not correctly titled, as the whole point about data types is that identity is not different from equality. Anything that looks different between two values and does not factor into the equality relation is logically irrelevant. --Gschadow 01:23, 25 Jun 2006 (CDT)
Links
Back to Data Types R2 issues
