2 ms·
I think LLMs benefit from training examples, static typing, and an LSP implementation more than terseness.
by esafak 1y ago
I think LLMs benefit from training examples, static typing, and an LSP implementation more than terseness.
- nextos 1y agoExactly. My experience building a system that generates Dafny and Liquid Haskell is that you can get much further than with a language that is limited to dynamic or simple static types.