オブジェクトや参照、式などの種類を表すもの。 型によって、取り得る値や適用できる操作が決まる。