My preferred language these days is Clojure, which is dynamic, but I don't agree that most errors have nothing to do with type safety. Most errors are fairly r

My preferred language these days is Clojure, which is dynamic, but I don't agree that most errors have nothing to do with type safety. Most errors are fairly random. There isn't a pattern to them. Misspellings, misconceptions. Whether your type system catches them depends on the strength of your type system in addition to how you represent things. (Hashmaps vs. records, whether the get call on a Hashmap returns a nil value or an error when the key's not found.) A strong type system makes it likelier that errors are caught earlier. This may or may not be justified, depending on the application. For some problems, the reduced error-to-failure distance is considerable and it's a huge win.