>>303
北海道大学でも同様に型を集合と説明してますよ
理解してないのは君の方かと

抽象データ型
http://kussharo.complex.eng.hokudai.ac.jp/~kurihara/classes/SE/04-abstdatatype.pdf


それはさておき僕の理解とは関係なく君の説明が聞きたいな
君は型というものをどう説明しますか？