型
一般に型と呼ばれるものには2種類ある
1つめ
静的解析
の1つとしての
型検査
における
集合
のようなもの
2つめ
実行時に値を区別するタグ