我注意到我和數學和物理的人之間經常會有很多混亂的爭論，因為我的背景是計算機科學，對我來說，某個東西的類型就是它可以被規範類型轉換成的類型。是同構的、等價的，隨便怎麼說。它能否以相同的結構存儲在內存中？