Ironically the strongest advocates of dynamic languages tend to be places where a strong type system would solve a huge percentage of their bugs. Web developme

Ironically the strongest advocates of dynamic languages tend to be places where a strong type system would solve a huge percentage of their bugs. Web development is mostly the munging of data together and ensuring that you're glueing stuff together correctly. Static type systems, especially ML based ones would ensure that most of this is done correctly.