I think that Jose makes a solid case that static typing doesn’t bring as much to the table to Elixir as most people believe, but enough people point to the lack of it as a reason not to adopt the language that it’s worth addressing. Again, I think @spec is great and people should use it more – just treat the dialyzer warnings as errors.

Edit: Not sure why the downvotes, but the talking points by Jose are on his ElixirConf keynote

https://www.youtube.com/watch?v=Jf5Hsa1KOc8&t=408s

I'm not saying that types aren't a useful addition to Elixir, just that many people have wrong claims as to how they could be a useful addition to Elixir.