A mythical language that features heavy type-inference and no templating, cause templating sucks, yo.

mystaticlang

import "stdio.h"

class Object {
    @collected;

    int x = 1;
    float y = 2.0;

    void init(self, x, *args) {
        self.x = x;
        super(self, x, *args);
    }
}

class Thing {
    @extends(Object);

    @to int (self) {
        return self.x;
    }

    @from int (cls, x) {
        return cls(x);
    }
}

class Array {
    
}

type inference;

def main() {
    var obj = Object;
    var x = (); []; {};
    var x = int[1, 2, 3, 4];
    var x = Array[1, 2, 3, 4];

    printf('a line');

}