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?

>>15
Yes it does. And it has a big fat runtime to deal with the fact that the underlying machine isn't LISP. (It could be worse, but the point is an assembly language with dynamic typing doesn't need much runtime support.)