型とは

質問: 型とはなんですか?
回答:値の意味です。

あえてプログラミング言語に限定せず、NW・IO・HW等も含む広義の意味でのコンピュータがやり取りするのは2進数の羅列だけである。そうした2進数の羅列を意味づけし解釈するには「型」が必要となる。この意味で型は仕様と同義であり、広義のコンピュータの土台そのものとさえ言える。