Jose Valim - "I hereby officially announce the Elixir type system effort is transitioning from research into development"