Joe Armstrong

While adding types might improve safety and robustness in Elixir, I don't believe it will cause a massive growth in its userbase. The essence of Elixir's appeal lies in its concurrency and fault-tolerance, not solely in type systems. Moreover, many Elixir users appreciate its dynamic typing and adding static types could potentially alienate a portion of its community rather than attract a significantly larger audience.

While Elixir builds on the Erlang VM, it's not a silver bullet. I believe that the ecosystem, being relatively young, lacks maturity compared to others for solving an array of modern software problems effectively, especially when it comes to availability of libraries and tools.