The metaphor comparing Ruby to poetry and OCaml to prose feels backwards to me. It is typed languages that have you choose some kind of rhythm, commit to it, a

The metaphor comparing Ruby to poetry and OCaml to prose feels backwards to me. It is typed languages that have you choose some kind of rhythm, commit to it, and follow it. Once you've committed to it, breaking the rhythm productively is difficult. It is done at your own peril, it can send the whole edifice climbing down, and it often leaves the reader dissatisfied. Untyped languages are comparatively free-form (free verse?). I would like to see a typed-FP Phoenix for a typed-FP equivalent to Elixir: a language that builds on an existing platform with a great focus on the UX and the tooling. Perhaps Reason could become that language, or something derived from Haskell. (Although Haskell's Elixir would be in a difficult situation. It would need to compile faster than Haskell to have a really good UX.) Then again, maybe that language would build on top of a less obvious choice for FP aficionados, like Go. Right now the Rails-like web framework with a focus on type safety I find the most promising exists in a multiparadigm language and isn't devoted to FP. It is Lucky for Crystal.