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?

>>38
I don't get why you have this irrational hate of runtime.
I don't hate runtime at all. I have only been saying that LISP (for example) needs a runtime. Assembler does not. That's it really. Why do you and others continue to interpret this observation as an attack on runtime dependency?

Are you agreeing or disagreeing with him?
He was trying, I think, to take a bite out of my example by applying it to assembler features. The problem I have with that is that assembler doesn't produce programs that perform type checking (unless the programmer implements it)--the compiler just does it the once and doesn't bother the machine with it.