In the end programming languages are tools, and tools are often designed to
fit well in the existing ecosystem. E.g. python is “easy to type”, thus designed for the keyboard “meta”. Similarly, if one designs a language with synergy with LLMs in mind, it may yield productivity boosts.
For example, one could conceive a language that is very safe, but to achieve this it may perhaps also be very verbose. Such a language may be horrid for humans, but perhaps fine for LLMs.
But it still has to be auditable by humans, so I imagine some sort of LLM tool library over an existing language makes sense. Might be wrong! But langchain tools and pydantic schemas for Input/Output feel like the right abstraction
I can see the argument though, anything moving in that direction already?
Not that I know of! Its an interesting idea though, as you say it should remain auditable.
Along that line me wonder if it were possible to design an LLVM output (i.e. can work with existing code) that is extra well optimized for interop with a specialized LLM, e.g. encoding more information more compactly or something.
