2 ms·

LLMs are surprisingly good at Haskell (and I'm not). I hope for a rennaisance of somewhat more rigorous programming languages: you can typecheck the LLM sugges

by tasuki 2y ago

LLMs are surprisingly good at Haskell (and I'm not). I hope for a rennaisance of somewhat more rigorous programming languages: you can typecheck the LLM suggestions to see if they're any good. Also you can feed the type errors back to the LLM.