Template Generics

Generics

Unlike C++, generics use $< prefix to disambiguate between type parameters and the less-than operator.

struct Tree$<T> {
}

Type parameters can have example types for compile-time type checking:

abstract struct Linkable$<T> {
    var next: own*? T;
    var previous: *? T;
}

struct LinkedList$<T: Linkable$<T>> {
}

When instantiating generic templates, any type satisfying the example type constraints can be used:

var tree = Tree$<Int> {};