Type checking has many benefits other than making assertions about value types. It can provide hints to the compiler and has proven useful in some models of par

Type checking has many benefits other than making assertions about value types. It can provide hints to the compiler and has proven useful in some models of parallel computation. It isn't simply "free error checking." One should be able to discriminate from problems that require type-checking. It just seems that in most cases it isn't actually required.