I wouldn't necessarily recommend Elixir simply due to not having static types. You should continue deliberating on whether to use OCaml or Haskell without throwing Elixir into the mix.