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?

>>49
Fun fact#2 The GC was so slow on old Lisp Machines that if they turned GC off, they would have to let GC run all night to clean up the program they had run