Any

Verse tiene un tipo especial, any, que es el supertipo de todos los tipos (todos los demás tipos son subtipos de any). Debido a esto, any admite muy pocas operaciones, ya que todos los demás tipos deben ser capaces de proporcionar la misma funcionalidad que any.

Por ejemplo, si any definiera una operación de comparación (algo que no hace), entonces todos los demás tipos también tendrían que definir una operación de comparación (que tampoco hacen).

Con un tipo any no es posible hacer mucho, pero está bien conocer este tipo, ya que puede surgir al escribir código que produzca un error.

No obstante, existen formas de utilizar any:

Letters := enum:
    A
    B
    C

letter := class:
    Value : char

    Main(Arg : int) : void =
        X := if (Arg > 0)
            Letters.A
        else
            letter{Value := 'D'}
Copy full snippet

Letters := enum: A B C letter := class: Value : char Main(Arg : int) : void = X := if (Arg > 0) Letters.A else letter{Value := 'D'}

En el ejemplo de código anterior, a X se le da el tipo any, ya que es el supertipo más bajo tanto de Letters como de letter.

O lo que sería más útil, any puede emplearse como el tipo para un parameter de una función que se ignora (pero que podría ser requerido como argumento para un método de una interfaz implementada).

Por ejemplo:

FirstInt(X:int, :any) : int = X
Copy full snippet

FirstInt(X:int, :any) : int = X

El segundo argumento de FirstInt se ignora, y puede ser de cualquier tipo, por lo que se le da el tipo any. FirstInt puede escribirse de forma más general mediante el uso de tipos paramétricos. Por ejemplo:

First(X:t, :any where t:type) : t = X
Copy full snippet

First(X:t, :any where t:type) : t = X