>>270が型とはなんぞや的なことを言ってたから
型は集合でオブジェクトと密接な関係があることを僕なりに説明したつもり

ちなみに型は集合って考えは少数派ではないとも僕は思ってる
ググったらたくさんでてくる

たとえばこれとか

プログラム言語論
http://www.cs.tsukuba.ac.jp/~kam/lecture/plm2017/6.pdf