"Strong typing vs. strong testing"

[Lie Ryan]

On 10/01/10 23:56, BartC wrote:
> 
> "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?

Virtual Machine in Hardware... isn't that a contradiction?