Martin Odersky

While the addition of types in Elixir may make the language more robust and appealing to some software developers, it is unlikely to lead to a massive growth in its userbase. The benefits of static typing are well appreciated in certain programming communities, but language adoption is multifaceted and involves more than just technical features. Elixir's niche in concurrent programming and its functional nature mean it already occupies a specific space that may not be broadly expanded by the introduction of types.

In my experience, typed languages promote better tooling and safer code by catching errors at compile time, which can enhance developer productivity and software reliability.