Outre les types standard dans Verse, il est possible d'utiliser certaines constructions supplémentaires de la même manière qu'un type, même si celles-ci ne sont techniquement pas des types. void est l'une de ces constructions.
Lorsqu'il est utilisé comme résultat d'une fonction, il indique que la fonction peut renvoyer n'importe quelle valeur, mais lorsqu'elle est appelée, elle ne fournit aucun résultat particulier.
Par exemple :
Foo() : void = {}
Cela signifie que Foo réussira, mais ne renverra pas de valeur.
Par exemple :
FirstInt(X:int, :void) : int = X
Techniquement, le vide peut être considéré comme une fonction définie comme
void(:any) : true
Lorsqu'il est utilisé comme type, on peut penser qu'il est appliqué à tout ce qui est attribué à l'identifiant de type correspondant.
L'utilisation d'une fonction dans une position de type n'est autorisée que pour une fonction void. Les fonctions utilisées de cette manière sont connues sous le nom de foncteurs.