[adambrod]

You can use dialyzer to add type safety at compile time. It's not quite as good as Elm's compiler but it's much better than JS type checkers.

http://learningelixir.joekain.com/elixir-type-safety/

[simoncion]

Dialyzer is good, but -as you mention- it has limits:

http://erlang.org/pipermail/erlang-questions/2015-December/0...

You can't use Dialyzer to give you the more-or-less iron-clad type safety you get in C++ or Java, but you can use it to get warned about many type errors that might have otherwise gone unnoticed.