Il tipo di un [dato](#data) definisce quali [operazioni](#operation) possono essere eseguite su di esso e come i suoi [valori](#value) vengono memorizzati. I tipi si suddividono in comuni, quali numeri interi e stringhe, composti e personalizzati. Vedi anche tipo primitivo e tipo contenitore. La parola chiave type può essere utilizzata con parentesi graffe per definire un tipo previsto. Le dichiarazioni di funzione e gli intervalli numerici sono attualmente supportati come dichiarazioni. Ad esempio, nella funzione Subscribe() dell'interfaccia subscribable, la parola chiave type indica che il parametro Callback dev'essere una funzione con tipo di ritorno void.
Subscribe<public>(Callback:type {__(:t):void})<transacts>:cancelable