If the
userland application programming language didn't have
pointers and had dynamic type checking you might find the whole
problem just goes away.
No, it bloody well doesn't.
Actually, it does, or at least can. You do have to get your head out
of the "what the library provides is raw machine code" mindset before
you can understand how, though.
jump up a few
levels. abstraction is your friend.
Abstraction does not stop someone from using
the raw capabilities of
the machine.
Again, it can. All you need to do is make sure that the code the
library provides is handed to the p-code engine (or moral equivalent)
rather than directly to the processor.
/~\ The ASCII der Mouse
\ / Ribbon Campaign
X Against HTML mouse at rodents.montreal.qc.ca
/ \ Email! 7D C8 61 52 5D E7 2D 39 4E F1 31 3E E8 B3 27 4B