型って集合のことじゃん
bool型は{true,false}の集合
int型は{0,1,2...}の集合

抽象データ型は関数をその集合に入れられますよってもの
オブジェクト指向言語では抽象データ型を定義できる

実装の継承は値や関数を引き継げる
型の継承は抽象関数を引き継げる

オブジェクト指向における型は値、関数の実装、抽象関数の集合
オブジェクトの定義は型の定義と同義

コンパイル時に型チェックを行うのは静的型付けの説明かな