Types 如何确定类型等价性。命名和结构

对于使用名称等效的语言，给出了以下声明：

A, D: array [1..100] of int;
C: array [1..100] of int;
F: array [1..100] of int;

问题是：“解释这四个变量中哪一个具有相同的类型。此外，哪一个具有不同的类型？”

在此上下文中，如何确定类型等价性

---

我相信A和D将是名称等效的-因为两者使用相同的赋值-但所有选项在结构上都是等效的，因为它们都使用int的

数组[1..100]

类型的名称等效意味着“没有名称替换的结构等效”*

因为所有变量都有结构上等价的类型，不包含任何不同名称的类型（它们不同的变量名和单独的声明与类型检查无关），所以它们的类型是名称等价的，即。E这四个变量的类型相同

*