データの型

コンピュータの内部では、データはいくつかの型（type）に従って格納されています。型とは、基本的にはデータの種類の名前です。

　データの型
　　├　文字列型　　英数字，ひらがな，カタカナ，漢字など。
　　│　　　　　　　ＡＳＣＩＩ，シフトＪＩＳ，Ｕｎｉｃｏｄｅなど多様な体系がある。
　　│　　　　　　基本的には、英数字など半角文字は１バイト／１文字
　　│　　　　　　日本語などの全角文字は２バイト／１文字になる。
　　├　論理型　　　１ビットで１／０（真／偽，ＯＮ／ＯＦＦ）を表す。
　　├　数値型　　　１２３とか－４５６．７などの数値。
　　│　　├　整数型（固定小数点数）　　－３、０、２など
　　│　　│　　└　２進数になります。
　　│　　│　　　　通常は８ビット（１バイト）あるいは１６ビット（２バイト）
　　│　　└　実数型（浮動小数点数）　　０.３１４１６×１０^５のように指数で表現するもの。
　　│　　　　　　　通常は３２ビット（詳細：「浮動小数点数型の表示」）
　　└　バイナリ型　画像，音声，動画など

プログラムを記述するとき、変数の型を指定する必要があります。この型によって、変数に格納できる値の集合と、変数に対して実行する操作が決まり、戻すデータの型も決まります。

例えば、z = x + y の処理をするとき、これらの変数が整数ならば簡単な内部処理で済みます。
　浮動小数点数だと認識すると複雑な処理が必要になり処理時間が長くなります。zも浮動小数点数となり計算誤差が生じますので、if (z = 10) … としたとき、ｚが厳密に１０になることはないので、この処理が行われないことになります。
　さらに、ｘが"1"、ｙが"2"（文字数）だと認識すると、ｚはｘとyを連結した文字列 "12" になってしまいます。

コンピュータ（プログラミング言語）がこのような誤解をしないように、プログラム記述で型宣言をする必要があるのです。
　しかし、厳密に型宣言を記述するのは煩雑です。そのため、プログラミング言語のなかには、コンパイル時の分析で自動的に型を設定（静的型付け）したり、実行時に型を判断（動的型付け）するので、厳密な型宣言をする必要がないものもあります。