I’ve been thinking about stuff like this a bit. Now that we have stronger NLP models that seem to handle code ‘reasonably’ we’re approaching an interesting technological era. Where, once we have a language that is expressive enough and can touch everything it needs too (systems level, gpu, etc). Could language design be turned into an optimization problem? You know get the group theorists to do their sorcery, graph theorists to do theirs, logicians to do theirs, etc. What would it look like?
Or weirder yet - in 10 years will we even be writing code? Or just giving actions to something that writes code? If you really think about it, asking human beings to optimize code to machine specifications, or understand all the nooks and crannies in an API, is more of a “computer” task. Dunno, but if I made a language, it would be a language that could best be understood by machine learning models that are better then what they are today :P. I imagine the first Tech. Giant to creep into that domain with 90% success, and say, hoist it as a cloud service, will earn themselves billions and billions of dollars.