Здравствуйте, WolfHound, Вы писали:

>Ибо реализовать сложную логику проверки типов в железе очень накладно.

Т.е. вы считаете, что соотнести параметр машинной команды (микро-смещение) со значением
в кэше типов накладно?

>Виртуальная машина позволяет выполнить почти все эти проверки на этапе компиляции

Из описаний процессора "Эльбрус" их авторами следует,
что после компиляции под него программ, использовавшихся многие годы,
аппаратно были обнаружены в т.ч. и нарушения типизации.

>Еще один плюс виртуальных машин то что создатели процессоров спокойно могут
менять набор инструкций/регистров

Если ВМ исполняет байт-код, как в Java, то это не быстро.
Если ВМ исполняет машинный код, и выполняется повторная компиляция исходника под новую ВМ
(или Jet-компиляция Java), то компилировать в машинный код можно и исходник или байт-код.

---

В концепции ВМ не затронут вопрос:
как чайник соединяет в единый компьютер сотню процессоров?