相等性依赖类型

关系模型大量依赖相等性：键、连接、差、重复判断都要判断值是否相等。若类型没有清晰的相等语义，关系运算就失去基础。自定义类型设计时，相等不能被当作随意的实现细节。