OpenAI Codex is pretty good at translating code between languages. It's far from perfect - but it can get simple cases perfectly. It knows languages like Rust, Haskell, Erlang, and more.
I found that I could translate Python to Haskell using Codex and get more real working Haskell code far, far quicker than I could manually.
I think Codex will be a simply incredible tool for learning new programming languages, could definitely make FP easier. It may not be super "smart", but it's smart enough, it knows a ton, and it's got superhuman recall.
Another idea is that you could filter Codex suggestions for those that pass the type-checker, and keep regenerating until it passes.
It's so incredibly fun. It made me want to never stop coding.
I found that I could translate Python to Haskell using Codex and get more real working Haskell code far, far quicker than I could manually.
I think Codex will be a simply incredible tool for learning new programming languages, could definitely make FP easier. It may not be super "smart", but it's smart enough, it knows a ton, and it's got superhuman recall.
Another idea is that you could filter Codex suggestions for those that pass the type-checker, and keep regenerating until it passes.
It's so incredibly fun. It made me want to never stop coding.