Verse は強い型付けのプログラミング言語であるため、すべての識別子に型が割り当てられます。 強い型付けの場合、識別子の型と演算がそのような型に与える影響がわかるため、コードがランタイム中に予測不可能な結果を出すことはありません。
インスタンスの中には、定数を作成するときなどに型が明示的に必要とされないものがあります。 たとえば MyConstant := 0 では、int 型が明示的に指定されていなかったとしても整数値が割り当てられるため、MyConstant の型は int であると推測されます。 このようなインスタンスでは型が推測されます。
Verse には、ほとんどのプログラムが必要とする基本的な演算をサポートする組み込み型があります。 これらを組み合わせてより大きな構造体を作り、独自の型を作成できますが、こうした共通型は Verse で変数や定数を使用するうえでの基礎になるというのを理解しておくことが重要です。
Verse の共通型については、以下のページを参照してください。
ロジック
ロジック型はブール値 true と false を表します。
int
int 型は整数値 (小数部分なし) を表します。
float
float 型は整数ではないすべての数値を表します。大きな値と正確な小数部分を保持することができます。
文字列
文字列型は、単語、名前、文、その他の文字の集合などの数値ではない値を表します。
rational
rational 型は整数の除算結果として使用されます。
any
any はすべての型 (タイプ) のスーパータイプです。つまり、any に対して定義したあらゆる動作は、すべてのサブタイプに定義されます。
comparable
comparable ではサブタイプを含め、comparable 型の値が、この型の他の値と比較できるという要件が追加されます。
void
void 型は関数の戻り値の型としてのみ使用できるものであり、関数の結果が役に立たないことを示します。