TMTOWTDI is where languages like Pascal fall down. It's not the typing system.

Actually the type system is why vanilla Pascal is useless while C isn't. Pascal includes the length of an array in the type, which makes it impossible to pass a STRING[40] to a function with a signature expecting a STRING[100].

Makeshifts last the longest.