Static typing certainly makes things safer, which could be a good thing when talking about distributed systems with many communicating components.

It's also what makes it possible for you to write, say, a high-performance floating point matrix multiplication function and have the compiler emit code accepts floating point inputs without having to consider the possibility that the arguments were supplied as strings.