Type system diagram

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

It does not show the nullable twin of e.pf 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[va.pfar];
    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