型とは、ある変数に適切な値セットを制限する修飾子です。 例えば、INT は変数が整数を含むことを保証する数値型です。
また、変数は値型または参照型のいずれかで分類することができます。値型変数には、データ (番号、文字、または構造化された情報) が入ります。 参照変数には、データが含まれているストレージ領域のアドレスが入ります。 C などの一部の言語では、参照変数はポインターと呼ばれます。変数の 2 つの型の規則は異なります。例については、参照変数およびEGL での参照の互換性を参照してください。