3 ms·
Interesting, but why not then use an even stricter language? Say Idris, ATS, Lean or F* ?
by didibus 5mo ago
Interesting, but why not then use an even stricter language? Say Idris, ATS, Lean or F* ?
- davidatbu 5mo agoNot 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.
- mohsen1 5mo agoBecause I don't know those languages. I'm still reading the code LLM writes