Type (型)

型 (またはデータ型) とは、どのような種類のデータや構造を格納できるかに影響を与える値の特性のことです。例えば、論理型 (boolean) のデータ型は常に true または false の値しか保持しませんが、文字列型 (string) はテキスト文字列を保持し、数値型 (number) はあらゆる種類の数値を保持します。

値のデータ型は、その値に対してどの演算が有効であるかにも影響します。例えば、数値型の値は他の数値を乗算することができますが、文字列を乗算することは、その文字列に "2" など数値しか入っていなかった場合であってもできません。

型は異なる値の比較においても有用な知識です。構造化型同士の比較は必ずしも簡単に仮定できるものではありません。前のデータ構造が同じであっても、プロトタイプチェーンの中に継承された構造がある可能性があるからです。