Introspection

Jai provides full access to type info (in a compiled language) available at compile time and run time.¹

Requesting type info returns a pointer to an entry in the type table that is a TypeInfo struct. These structs can be printed directly for quick and cheap debugging.

for _type_table { // iteration in Jai includes access to two local variables: it, it_index
    // it       - iterator, the current TypeInfo struct
    // it_index - zero-based iteration index, an integer

    print(it);
    // or..
    print("%:\n", it_index);
    print("  name: %\n", it.name);
    print("  type: %\n", it.type);
}

Equivalent data structures are provided for the entire text of the program (at compile time only). ²