Its type system is not particularly complex, but it is robust - it doesn't, for instance, coerce strings-with-numbers-in-it into numbers. Sure, you don't have s

Its type system is not particularly complex, but it is robust - it doesn't, for instance, coerce strings-with-numbers-in-it into numbers. Sure, you don't have sum types, etc, but at least it behaves in predictable ways.