ChopChop: a Programmable Framework for Semantically Constraining the Output of Language Models — mentioned by tikhonj

Mon, 12 Jan 2026 08:19:27 GMT

From what I've heard—and in my own very limited experiments—LLMs are much better at less popular languages than I would have expected. I've had good results with OCaml, and I've talked to people who've had good results with Haskell and even Unison. I've also seen multiple startups that have had some pretty impressive performance with Lean and Rocq. My current theory is that as long as the LLM has sufficiently good baseline performance in a language, the kind of scaffolding and tooling you can build around the pure code generation will have an outsize effect, and languages with expressive type…

Paper and discussion history. A mention is not an endorsement.

ChopChop: a Programmable Framework for Semantically Constraining the Output of Language Models · HackerPapers discussions

ChopChop: a Programmable Framework for Semantically Constraining the Output of Language Models — mentioned by tikhonj