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?

>>43
Forget my tone, just try reading all the words. IIRC >>42 is the third time I made it explicit in one way or another.

But many features are desirable and would in all likelihood be implemented in the assembly program anyway,
Yes, so? At least twice I illuminated that my point was just a technical observation that had the magical power of twisting panties everywhere. Panties are most certainly twisted. It's like the Pythagoreans vs. irrational numbers--it's only a problem if you can't get over it.

I don't think there is much difference between that and just instructing the compiler to remove the features you don't use
There is a difference. Gutting a language makes it something else, even if it still happens usable or even useful--and why would you do that just to say "look ma, no runtime!"--is it that important to you? It's not that important to me.

Using a library, however, doesn't change the language itself in any sense.