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?

I'm going to ignore the last sentence, because it makes no sense in context.

Why does it make no sense? Ive noticed that most dynamic languages like Python, Perl, Ruby dont seem to be able to compile to machine code well, so Im guessing there is something inherently non-machine compilable about dynamic languages