6 ms·
Exactly, generate Haskell. It's declarative and a programming language
by habitue 2y ago
Exactly, generate Haskell. It's declarative and a programming language
- kristianp 2y agoI was thinking the same, although I don't think declarative is the best term. Purely functional may be better. Would getting an llm to use a language like Haskell allow it to make less errors? I've had chat gpt make errors to do with state changes that maybe haskell or caml code can't have.
- habitue 2y agoI don't know that it would make less errors, but the more expressive type system could help you detect those errors.