I have worked extensively in Elixir and it only made me feel more strongly that static typing is the way to go. The sheer mental overhead caused by the lack of

I have worked extensively in Elixir and it only made me feel more strongly that static typing is the way to go. The sheer mental overhead caused by the lack of typing in Elixir is the biggest productivity killer for me when working in that language, and refactoring is almost as much of a nightmare as it is in something like JS. For me, strong and dynamic is the worst possible combination. I actually need to be precise with types, but the language gives me no help. I think Elixir has the best combination of runtime and tooling and ecosystem out there, and it’s type system is the only thing that prevents me from using it for nearly everything.