A new effort just popped up to have another crack at adding strong types https://elixirforum.com/t/typechecker-for-elixir/34474/7