Identified Type Hierarchy

An identified type lives in an identified tree-like hierarchy. This hierarchy tells whether an identified type is a subtype of another type.

The identified type hierarchy, as its name states, consists only of identified type definitions.

Important

Two identified types relating in the same way to exactly the same type are considered different. For instance, given the following snippet:

{
    TypeA =: []
    TypeB =: []

    a: TypeA = {}
    b: TypeB = a
}

evaluating b abruptly halts the execution of the interpreter with this message (accordingly to type-checking):

error: type mismatch:
expected: TypeB
actual: TypeA
at <row>:<col>:
    b: TypeB = a
               ^