I believe when AI become a hive mind and they decide to develop a programming language, they'll start with assembly-like language to abstract the bytecodes, then move to very-specialized higher-level language. The next step will be to develop an os optimized for their use case, the one that provides interfaces for their own assembly-like language.

I wonder what the best output language for an LLM is? The one that has the most training examples? Or something that has other properties that make it easier to generate?

I’d guess that the languages with the fewest implicit behaviors (so no Scala or Haskell) would be easiest. Maybe Go is the generation language of choice?

If there was never a need for humans to understand code, are higher level languages really the most efficient?