Type system diagram

Here is a diagram of the type system. It contains a few types we haven't met yet, such as func.

It does not show the nullable twin of each standard type, because that would complicate the diagram to little purpose.

graph TD;
    tuple-. by tuple coercion .->single;
    single-->int;
    single-->float64;
    single-->string;
    string-->V[varchar];
    single-->bool;
    single-->null;
    single-->struct;
    single-->list;
    single-->pair;
    single-->label;
    single-->set;
    single-->M[map];
    single-->func;
    single-->type;
    single-->error;
    struct-->X[user-defined structs];
    label-->enum;
    label-->field;
    enum-->Y[user-defined enums];

Loading