Type system updates: moving from research into development ( elixir-lang.org ) A short status update on the effort to bring a type system into Elixir.