Void

In addition to the standard types in Verse, there are some additional constructs that can be used the way you would use a type, but that technically are not types. void is one such construct.

In addition to the standard types in Verse, there are some additional constructs that can be used the way you would use a type, but that technically are not types. void is one such construct.

When used as the result of a function, it indicates that the function can return any value, but when invoked, it will provide no particular result of interest.

For example:

Foo() : void = {}
Copy full snippet

In this example, Foo won't have a result that is useful. Specifically, its result type is true, which has the single inhabiting unit value false. void can also be used as the type for constants or function parameters, similarly indicating that the value can't be used for anything useful. In this way, a void constant or function parameter is similar in purpose to an any function parameter.