我注意到我和数学和物理的人之间经常会有很多混乱的争论，因为我的背景是计算机科学，对我来说，某个东西的类型就是它可以被规范类型转换成的类型。是同构的、等价的，随便怎么说。它能否以相同的结构存储在内存中？