Tür, veriler üzerinde hangi işlemlerin gerçekleştirilebileceğini ve bu verilerin veya değerlerin o tür için nasıl depolandığını tanımlar. Tamsayı ve dize gibi ortak türler, bileşik türler ve özel türler vardır. Ayrıca bkz. primitif tür ve kapsayıcı tür. type anahtar sözcüğü, beklenen bir türü tanımlamak için küme ayraçları ile birlikte kullanılabilir. Fonksiyon bildirimleri ve sayısal aralıklar şu anda desteklenen bildirimlerdir. Örneğin, subscribable arayüzünün Subscribe() fonksiyonu, Callback parametresinin void dönüş türüne sahip bir fonksiyon olması gerektiğini belirlemek için type anahtar sözcüğünü kullanır.
Verse
Subscribe<public>(Callback:type {__(:t):void})<transacts>:cancelable