|
|
|
|
|
|
by tasuki
501 days 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. |
|
|