質問: 型ってなんで存在してるんですか? プログラマやコンパイラがバグを判定するためだけですか?
回答: 「整数だけ」を考えるのなら、それでいいんじゃない? 実際、charとかshortとかlongとかlong longとか整数のバリエーションがいくつも存在するのってC言語くらいだし。 ただ、現実問題としては「整数以外も扱いたいよねぇ」ってなるし、したら当然「型」が必要になるよね。