Verse ist eine strongly-typed Programmiersprache, was bedeutet, dass jeder type jedem identifier zugewiesen wird. Bei starker Typisierung erzeugt der Code während der runtime keine unvorhersehbaren Ergebnisse, da die Typen für Bezeichner bekannt sind und zudem bekannt ist, wie sich operations auf diese Typen auswirken.
Es gibt Fälle, in denen die Angabe des Typs nicht ausdrücklich erforderlich ist, z. B. bei der Erstellung einer constant. Im Beispiel MyConstant := 0 wird der Typ für MyConstant als int abgeleitet, weil ihm ein integer-Wert zugewiesen wird, obwohl der int-Typ nicht explizit angegeben wurde. In solchen Fällen wird der Typ abgeleitet.
Verse hat built-in types, die die grundlegenden operations unterstützen, die die meisten Programme ausführen müssen. Du kannst deine eigenen Typen erstellen, indem du diese zu größeren Strukturen kombinierst, aber diese allgemeinen Typen sind wichtig, um die Grundlage für die Verwendung von Variablen und Konstanten in Verse zu verstehen.
Die folgenden Zeiten beschreiben die gängigen Typen von Verse:
Logik
Der Logiktyp repräsentiert die booleschen Werte True und False.
Int
Der Typ int steht für ganzzahlige (nicht gebrochene Zahlen) Werte.
Float
Der Typ „Float" steht für alle nicht-ganzzahligen numerischen Werte. Er kann große Werte und genaue Bruchteile speichern.
String
Der Typ "string" repräsentiert nicht-numerische Werte wie Wörter, Namen, Sätze und andere Ansammlungen von Zeichen.
Rational
Der Typ „rational" wird als Ergebnis einer ganzzahligen Division verwendet.
Any
„Any" ist der Supertyp aller Typen, was bedeutet, dass jedes Verhalten, das für ihn definiert ist, auch für alle Subtypen definiert ist.
Vergleichbar
Der Untertyp „beliebig, vergleichbar" ergänzt die Anforderung, dass jeder Wert dieses Typs mit jedem anderen Wert dieses Typs verglichen werden kann.
Void
Der Void-Typ kann nur als Rückgabetyp einer Funktion verwendet werden und zeigt an, dass das Ergebnis der Funktion nicht nützlich ist.