Runtime type generation: Proof of Concept

[lorenzholzbauer]

At runtime a type can be represented using the follwing construct:

class Type {
    constructor(name, fields, methods, baseType = null) {
        this.name = name;
        this.fields = fields;
        this.methods = methods;
        this.baseType = baseType;
    }
}

The fields and methods can be undefined in primitive types.

The types are saved in an array to check nested types.

const typeRegistry = {};

function registerType(type) {
    typeRegistry[type.name] = type;
}

function getType(typeName) {
    return typeRegistry[typeName];
}

[Luna-Klatzer]

It would potentially be even more efficient to simply let the compiler directly assign and access the properties it needs.

So that the following code:

interface X {
  x: num;
}

...

if ({} matches X) {
  ...
}

Is translated as:

...
const __intf_X = new Type("X", [{ x: __kipper.num }], []);

...

if (__intf_X.matches({})) {
  ...
}