Der Typ definiert, welche Operationen bei Daten ausgeführt werden können und wie die Daten oder Werte für diesen Typ gespeichert werden. Es gibt allgemeine Typen wie Ganzzahl und String, Composite-Typen und benutzerdefinierte Typen. Siehe auch Grundkörper-Typ und Containertyp. Das Schlüsselwort type kann mit geschweiften Klammern verwendet werden, um einen erwarteten Typ zu definieren. Funktionsdeklarationen und numerische Bereiche werden derzeit als Deklarationen unterstützt. Zum Beispiel verwendet die Funktion Subscribe() für die Schnittstelle subscribable das Schlüsselwort type, um zu definieren, dass sein Callback-Parameter eine Funktion mit dem Rückgabetyp void sein muss.
Subscribe<public>(Callback:type {__(:t):void})<transacts>:cancelable