Richard talks with José Valim, the creator of the Elixir programming language, about introducing static types to Elixir.