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.