Funny you mention that, that’s actually the direction I’m taking with the architecture that I’m building

In fact most of the architecture work I’m building, assumes that there will not be a human reading code, they read (effectively) UML and data diagrams

so most of the interesting parts I’m working on now are how do you make code blazingly fast, formally verified and memory safe if you remove the constraint of human interpretability of machine instruction