Typ określa, które operacje mogą być wykonywane na danych i jak te dane lub wartości są przechowywane dla tego typu. Istnieją często spotykane typy, takie jak liczba całkowita (integer) czy ciąg tekstowy (string), typy złożone i typy niestandardowe. Patrz też: typ prymitywu i typ kontenera. Słowa kluczowego type można używać z nawiasami klamrowymi, aby zdefiniować oczekiwany typ. Deklaracje funkcji i zakresy numeryczne są obecnie obsługiwane jako deklaracje. Na przykład funkcja Subscribe() dla interfejsu subscribable używa słowa kluczowego type, aby zdefiniować, że jej parametr Callback musi być funkcją z typem zwracanym void.
Verse
Subscribe<public>(Callback:type {__(:t):void})<transacts>:cancelable