"Strong typing vs. strong testing"

[BartC]

"Pascal J. Bourguignon" <pjb at informatimago.com> wrote in message 
news:87zkuyjawh.fsf at kuiper.lan.informatimago.com...
> "BartC" <bc at freeuk.com> writes:
>
>> "Pascal J. Bourguignon" <pjb at informatimago.com> wrote in message

>>> When Intel will realize that 99% of its users are running VM
>>
>> Which one?
>
> Any implementation of a controlled environment is a virtual machine.
> Sometimes it is explicitely defined, such as in clisp, parot or jvm, but
> more often it is implicit, such as in sbcl, or worse, developed in an
> ad-hoc way in applications (eg. written in C++).

But if you had to implement a VM directly in hardware, which one (of the 
several varieties) would you choose?

And having chosen one, how would that impact the performance of a language 
with an incompatible VM?

Perhaps processors executing native code as it is now, aren't such a bad 
idea.

-- 
Bartc