They "why" is basically having a language with the aesthetics and usability of Ruby, but fully statically typed with global type inference, and impressive performance.
The downside being a relatively slow compiler. It's the necessary trade-off for the type inference.
The downside being a relatively slow compiler. It's the necessary trade-off for the type inference.