@phpdude, да элементарно, когда в программе триллион загруженных методов - они же не просто так загружены. они загружены потому что могут понадобиться. соответственно, виртуальная машина языка так или иначе осуществляет проверку, ветвления там, и прочее. и всё это даёт оверхед.
ну вот сравни языки с JIT (который выкидывает в том числе лишний код и убирает ненужные проверки) и без. какой конечный размер программ в памяти у тех и у других?
тип переменных VARIANT - опять же, при каждом обращении проверка типа.