Verse에는 표준 타입과 더불어, 엄밀히 말하면 타입이 아니지만 타입을 사용하듯이 사용할 수 있는 몇 가지 생성자가 있습니다. void 가 그중 하나입니다.
이 타입은 함수의 결과로 사용할 경우 함수가 어떤 값이든 반환할 수는 있지만, 함수가 인보크될 경우 아무 유의미한 결과도 제공하지 않는다는 것을 뜻합니다.
예를 들면
Foo() : void = {}
이는 Foo가 성공하지만 값을 반환하지 않는다는 의미입니다.
예를 들면 다음과 같습니다.
FirstInt(X:int, :void) : int = X
엄밀히 말하면 void는 다음과 같이 정의된 함수로 생각할 수 있습니다.
void(:any) : true
타입으로 사용할 때 해당 타입의 식별자에 할당되는 모든 대상에 적용되는 것으로 생각할 수 있습니다.
타입 위치에 함수를 사용하는 것은 void 함수에만 허용됩니다. 이러한 식으로 사용되는 함수를 펑터라고 합니다.