Not OP. For this particular use case, I think performance is a primary concern.
But if you mean in general, I also totally feel that languages that let you represent more invariants statically are better fit for LLMs. I'd love to see experimentation with LLMs with dependent types and managed effects.
Not OP. For this particular use case, I think performance is a primary concern.
But if you mean in general, I also totally feel that languages that let you represent more invariants statically are better fit for LLMs. I'd love to see experimentation with LLMs with dependent types and managed effects.
Because I don't know those languages. I'm still reading the code LLM writes