I'll also mention that Codex / Copilot could help write Haskell code where I sim... | Hacker News

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

		etaioinshrdlu on Dec 18, 2021 \| parent \| context \| favorite \| on: Wingman for Haskell I'll also mention that Codex / Copilot could help write Haskell code where I simply couldn't. Or, at least get me close. Generation with ML and then filtering with the typechecker/compiler for valid results could be a really powerful pair.

plafl on Dec 19, 2021 [–]

I feel that there is some kind of link to duality in optimization. Like you are trying to bound the intended program from below and from above.

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