Type-constrained code generation with language models by from Hacker News on 2025-05-13 22:15 (#6X8WS) Comments