Type-Constrained Code Generation with Language Models by from Hacker News on 2025-05-13 22:15 (#6X8TK) Comments