Given the MOO approach and applying it to language itself, maybe we could arrive at something that wouldn’t even need to be human-readable or writable.

And then, something more human-friendly could be layered on top of it without sacrificing clarity of thought processes, type safety, etc.

I’d describe Haskell as "mathy," while C++ feels like overgrown Assembly. Probably time to move on.