If you're willing to be patient, I think that in the next year Elixir is going to get an add-in aggressive static typing library (better than dialyzer) enabled by compiler hooks. It's going to happen, and it's going to be very good.
That said, I'm also playing around to try to help make this happen: https://github.com/ityonemo/mavis