I would love to get a report from someone with a lot of Erlang experience. Erlang is a great example of an industry oriented dynamically typed programming lang

I would love to get a report from someone with a lot of Erlang experience. Erlang is a great example of an industry oriented dynamically typed programming language. But... they recently, maybe more 5 years ago now, went to a lot of trouble to integrate a really nice static type system into it. They also had a type analyser, dialyser, for a long time before that. The impression I had was that some significant number of people experienced some dynamic typing pain and a lot of effort was put into reducing this by strengthening the type system. I am just a part time Erlang hacker, so I will keep out of this debate. But I would love to hear from anyone who experienced this in a professional development environment.