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

DB>Речь идет не об интерпретируемом байт-коде, а о промежуточном языке (Intermediate Language — IL) и динамической компиляции. Языки Lisp и Smalltalk по природе своей интерпретируемы. Сделать все это эффективно в императивном языке, на котором написать потом операционную систему удалось только Вирту и Ко.

Lisp может быть компилируемым. Smalltalk — тоже.
В самом простом виде, можно оттранслировать байткод в команды реального процессора.