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?

>>36
Lisp has eval built into the language.
Eval is not built into the language, eval is a Lisp program written in Lisp. Only the most primitive functions like cons, cdr, etc are part of the language itself