Hacker News new | ask | show | jobs
by DaiPlusPlus 15 days ago
> I just work with systems on the level of features and architecture instead of flow control statements.

That's kinda at the level I enjoy though - where I get to think-through things when figuring out exhaustiveness and correctness; introducing refinement-types into a codebase that's previously nothing but ints-and-strings; and trying out new and cutting-edge language-features directly.

I know I can prompt Claude etc into trying to do those things, but from what I've seen from other people doing it the result is somewhat of a mess - or just plain inelegant.

-----

May I ask how well Claude/Copilot/etc works with FP languages instead? So far - and back in early 2024 - I've only messed-around with asking ChatGPT to generate Haskell programs and the results were hallucinated gibberish.

1 comments

Can't comment on FP, haven't touched it since SMLNJ in the late 90s. I fear my mind is now congealed in OOP paradigms and the threshold to FP is too high.

Anyway I can say this - the free web interface to ChatGPT in 2024 vs what you get with agent harnesses and the latest large models now is like comparing a wombat fetus to a college graduate.

Get one of the 20 or so dollar subscriptions, install Claude code, codex or similar and start by explaining what program you want to make and which language you want to do it in. Have it make a plan first, and do some back-and-forth to refine it until you're ready to let it implement.

If your experience is from ChatGPT two years ago I think you will be floored by the results, even in Haskell.