プリミティブ型

ATS において最も単純な型は、プリミティブな値を分類するのに使われるプリミティブ型です。 例えば intdouble というプリミティブ型があります。 これらはそれぞれ固定長の整数と倍精度の浮動小数点数を分類しています。

ATS (Postiats) の現時点でも実装では、ATS プログラムはまず C99 に従ったC言語にコンパイルされます。 それから gcc のようなC言語コンパイラによってオブジェクトコードにコンパイルすることができます。 ATS からC言語へのコンパイルにおいて、 ATS の int 型はC言語の同名の型に変換されます。 同様に ATS の double 型はC言語の同名の型に変換されます。

ATS では他にも多くのプリミティブ型がありますが、少しづつ解説します。 一般的に使われるいくつかのプリミティブ型を次に示します。

様々なプリミティブ型と値を含むプログラム例を徐々に紹介します。