I was thinking about this a year ago & decided on Elixir.
So far I have no regrets. As you mentioned Elixir satisfies all the conditions you mentioned.
For the static typing part, I agree. But since there's no OOP, the flow of the information throughout the app is pretty explicit & the reasoning behind it is easy to be debugged.