我似乎无法准确掌握什么名称等价.我很确定我的结构已经下降了.我教授给出的一个例子是:
Type TI=integer Type TTI=TI a=integer b=TTI f= ref float g= ref float
a和b都是结构和名称等价的,而f和g只是结构上的等价.我不明白为什么a和b是名字等价的,但f和g不是.
type-equivalence
type-equivalence ×1