カタ型とは、(抽象的な)何かについて、その(抽象的な)輪郭の種類を意味する概念である。お菓子や工業製品を作る型というのは、その物体の原型となる輪郭である。テレビや用紙などの大きさを表す型というのは、それについて決められた形についての大きさである。武術や演舞における型というのは、その動作における定型である。プログラミングにおける型というのは、記憶域におけるデータ構造も意味する。血液における型というのは、血液型の記事を参照。以上のように、様々な意味を持つ。▼プログラミング言語における型(Type)とは、値を種類に応じて分類する文法上の手法である。型を使うことで、早い段階でエラーを検出できる。抽象化モジュールのインターフェイスを表わすために使われる。型とその型の値に対する操作の集合のペアで定義される。ある値に対する決めらた以外の操作は、型システムによって禁止されている。Ada、C++、Haskellなど、多くのプログラミング言語がサポートするようになった。ドキュメントプログラムを読む時に、理解を助ける。型は、型システムによって、プログラムの安全性を保証するために使われる。型システムとは、型を利用してプログラムにある種の振舞が存在しないことを証明するための、形式手法である。安全であるとは、言語が言語自身の抽象化を守るものをいう。静的(コンパイル時)に安全性がチェックされる。起らないかを確認し、コンパイルに通れば実行中には起らないことを保障する。安全であるが、動的(実行時)に安全性がチェックされる。C言語のように、型システムによって安全性が保障されていない(unsafe)言語も存在する。プログラミング言語が規定していない挙動がありうる。安全性とチェックのタイミングをまとめると、以下の表になる。最初の型システムは、実数と整数を区別して数値計算を効率化するために導入された。安全な言語では、実行時の型チェックを省くことで高速化するものもある。なる形、手本、規範、という意味がある。「器を鑄るの法なり」とあり、鋳型のこととある。〔段注〕によると木によるものが模、竹によるものが笵で、土によるものが型だという。形声で声符は𠛬(刑)。あり、小学校4年で習う教育漢字である。〔六書統〕にある古文。𡌒は、〔康煕字典〕に型の訛字ではないか、とされている字。全部TOP■ニコニコ動画モバイル運営元:ドワンゴ。