@nprofile1q... I just found myself thinking about this again, but from a new angle, and my new take is: How to design programming languages for LLMs specifically.
Namely, I'd seek to answer these questions:
- How can the design of a language encourage LLMs to write logically correct code?
- ... performant code?
- ... secure code?
As a bit of an extreme example, I'd posit that vibecoding a C project would produce code with memory leaks and buffer overflow bugs. What should it use instead?