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,

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.