Yes, a static type system at least strong enough to support parametric polymorphism is an unmitigated win. JavaScript sucks in the same way Scheme does in this regard; but thankfully, there's TypeScript.