How hard would it be to have a static typing system in Elixir?

[wanton7]

Check this thread Facebook is writing a new, statically typed language to run on the BEAM?!
Maybe that flows to Elixir too if it’s viable for Erlang.