Pascal vs C

If you were to give a language like Python static typing and make it a compiled language instead of interpreted, you basically end up with something like Pascal. So how would you rate Pascal's abilities compared to C? I know dynamic typing requires runtime checking, but would it be possible to have dynamic typing in a compiled language like Pascal?

>>33
That would be why no assembly language type errors occur at runtime. You'd have a great point if they did.

>>34,35
I'm going to skip to the part where you're still arguing about bloat. I want to remind you that I've never argued about bloat.
I don't care about whether it is efficient, whether it makes a good systems language or what have you, the only point I'm concerned with is what it truly is, vis-a-vis the runtime requirement. You're not contradicting that at all, but making it plainly obvious that you can't stand the observation.