类 Pascal 语言中的类型等价

Question

Oberon-2 语言报告“The Programming Language Oberon-2”在附录 A 中有以下定义：

两个变量a和b，类型为T_a和T_b 属于 同一类型 if

1. T_a 和 T_b 都表示通过相同的类型标识符，或
2. T_a 被声明为等于 T_b在 T_a = T_{b 形式的类型声明中}，或
3. a 和 b 在变量、记录字段或形参声明中出现在同一个标​​识符列表中，并且不是开放数组。

给定类型声明

Ta = INTEGER
Tb = INTEGER
Tc = Tb

上述定义中的第二段表明

• Ta 和 Tb 是不同的类型（没有声明 Ta = Tb），
• Ta 和 Tc 是不同的类型（没有声明 Ta = Tc）和
• Tc 和 INTEGER 是不同的类型（没有声明 Tc = INTEGER）。

这是对 Oberon-2 中相同类型的正确解释吗？据我了解，Oberon-2 在名称等效性方面非常严格，在这种情况下，这种解释实际上是有道理的。标准 Pascal 和 ISO Modula-2 怎么样？

Answer 1

问题中相同类型的解释遵循所谓的严格名称等效。例如，在 Ada 中，此功能通过 派生类型 得到支持。在严格的名称等效下，每个类型声明都引入了不同的类型。然而，Pascal、Modula-2 和 Oberon 都使用非严格名称等效。这意味着对于类型标识符 T_a，声明 T_{b em>} = T_a 和 T_c = T_a 使 T_{b sub> 和 Tc 等效。}