Le type définit les opérations qui peuvent être effectuées sur les données et la manière dont ces données, ou valeurs, sont stockées pour ce type. Il existe des types communs, tels que les nombres entiers et les chaînes, des types composites et des types personnalisés. Voir aussi type primitif et type de conteneur. Il est possible d'utiliser le keyword type entre accolades pour définir un type attendu. Les déclarations de fonctions et les plages numériques sont actuellement prises en charge en tant que déclarations. Par exemple, la fonction Subscribe() de l'interface subscribable utilise le mot-clé type pour déterminer que son paramètre Callback doit être une fonction avec un type de retour void.
Subscribe<public>(Callback:type {__(:t):void})<transacts>:cancelable