I think LLMs benefit from training examples, static typing, and an LSP implement... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		esafak 5 months ago \| parent \| context \| favorite \| on: OCaml as my primary language I think LLMs benefit from training examples, static typing, and an LSP implementation more than terseness.

nextos 5 months ago [–]

Exactly. 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.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact