It is entirely unscientific, but let me approach this problem from a practical ($$$) angle:

A type system is something what effortlessly reveals programming errors before my customers do.