|
|
|
|
|
by Kon5ole
19 days ago
|
|
Burke Holland has a few good videos that helped me. For example this on agents[1]. He uses Copilot but the principles are similar for Claude Code, Codex, OpenCode and other harnesses: So far in the LLM coding revolution I still feel like it's software development. I just work with systems on the level of features and architecture instead of flow control statements. Some day we might lose that too, but I think it will take a while. [1] https://www.youtube.com/watch?v=-BhfcPseWFQ |
|
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.