プログラミング言語

型システム

詳細は「型システム」を参照

型システムは、プログラミング言語において値や式を「型」に分類し、その型をどう扱うかを定義するものである。これには一般に、その言語で構成可能なデータ構造の定義が含まれる。数理論理学を使った型システムの設計および研究を型理論という。内部的には、デジタルコンピュータでは全てのデータが0と1(二進法)で格納されている。

戻る