By contrast I'd rather not go back to meticulously decorating source files to add types where they aren't needed, so Elixir seems like the perfect language to me.