Ссылка: Sebesta, Концепции языков программирования, 10-е изд.
могу понять, что такое эквивалентность имени. Я почти уверен, что у меня есть структурный недостаток. Мой профессор привел следующий пример:
Type TI=integer
Type TTI=TI
a=integer
b=TTI
f= ref float
g= ref float
a и b являются как структурными, так и именными эквивалентами, в то время как f и g являются просто структурными эквивалентами. Я не понимаю, почему a и b будут эквивалентны именам, а f и g - нет.