Any

Verse, tüm türlerin üst türü olan any adında özel bir türe sahiptir (diğer tüm türler, anynin alt türleridir). Bu nedenle any çok az işlemi destekler çünkü diğer tüm türlerin anynin sağladığı işlevselliği sağlayabiliyor olması gerekir.

Örneğin; any bir karşılaştırma işlemini tanımlarsa (bu türlü bir işlem tanımlamaz) bu durumda diğer bütün türlerin de bir karşılaştırma işlemi tanımlaması (bu türlü bir işlem tanımlamazlar) gerekir.

Bir any türüyle yapabileceklerin son derece kısıtlıdır. Ancak bu türün ne işe yaradığını bilmekte fayda vardır, çünkü hata üreten bir kod yazarken ortaya çıkabilir.

Bununla birlikte any kullanmanın bazı yolları vardır:

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'}

Yukarıda verilmiş olan kod örneğinde Letters ve letterın en düşük üst türü olduğundan X için any türü verilir.

Daha yararlı bir kullanım şekli olarak, any, bir fonksiyonun yoksayılan (ancak uygulanan bir arayüzün bir metodu için bağımsız değişken olarak gerekli olabilen) bir parametresi için tür olarak kullanılabilir.

Örneğin:

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

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

FirstInt ikinci bağımsız değişkeni yoksayılmıştır ve bu durumda any türünde olabileceği için ona any türü verilmiştir. FirstInt, parametrik türler kullanılarak daha genel yazılabilir. Örneğin:

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

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