Gradual typing is coming to Elixir in 1.17. I’m pretty excited. Putting aside “type wars”, the number of very subtle errors that dialyzer has identified in my code suggests this could be a big win. I hope it helps tooling, too. Now I need a good side project.