The difference seems to be that languages with dynamic type systems or very simple static type systems aren't as difficult as languages that encode a lot more i

The difference seems to be that languages with dynamic type systems or very simple static type systems aren't as difficult as languages that encode a lot more information into their types. Maybe it's not fair to generalize from just those few examples though.