What's all the fuss about static-typing?

[dimitarvp]

In addition to what @Qqwy said :

• The sum types – like Option and Result in Rust – allow for, and mandate, exhaustive pattern matching which is missing in e.g. Elixir, and that leads to a lot of code being written exclusively for the happy path.