型は、データに対して実行できる演算とその型のデータ値の格納方法を定義します。 整数や文字列などの共通型、複合型、カスタム型があります。 「プリミティブ型」と「コンテナ型」も参照してください。 type キーワードは中括弧とともに使用して、必要な型を定義できます。 関数宣言と数値範囲は現時点で宣言としてサポートされています。 たとえば、subscribable インターフェースの Subscribe() 関数は、type キーワードを使用して、その Callback パラメータが関数と void 戻り型であることが必要と定義します。
Verse
Subscribe<public>(Callback:type {__(:t):void})<transacts>:cancelable