caxapa.ru :: run-time проверки должны быть опцией компилера ЯВУ в байткод. Ибо на верхнем уровне хорошо понятно, что и когда имеет смысл проверять, чтобы VM не проверяла все на свете "на всякий случай".

Evgeny_CD^{Архитектор} (29.08.2013 14:46, просмотров: 287) ответил SciFi на А кто сказал, что нативный код будет быстрее? В этих ваших VM наверняка куча run-time проверок, которые и вносят львиную долю задержек при выполнении кода.

run-time проверки должны быть опцией компилера ЯВУ в байткод. Ибо на верхнем уровне хорошо понятно, что и когда имеет смысл проверять, чтобы VM не проверяла все на свете "на всякий случай".

Ответить

- Ещё бывают всякие динамические типы, сборщик мусора (и "ползающие" указатели) и прочие фишки. Если всё выключить, то боюсь, что этот супер-пупер язык выродится в обычный C++. - SciFi(29.08.2013 14:49)
  - Но не все же переменные в проекте будут динамического типа. Сборка мусора при AOT компиляции, как мне кажется, может быть хорошо оптимизирована. Вот и я говорю - пусть будут проверки, но для тех "сущностей", которые признаны стремными при Evgeny_CD(21 знак., 29.08.2013 14:52)
    - Для этого нужно сделать неслабый лексический анализ, кроме того большинство проверок делается в либах, и выпилить их можно будет только для всех экземпляров классов сразу. - =AlexD=(30.08.2013 07:10)

Средства и методы разработки