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

V>2. Так или иначе, но контроль типов во время исполнения должен хоть немного замедлять программу. А по результатам теста видим обратное, вот что собственно меня удивило.

Контроль типов и в том и другом случае происходит на этапе компиляции. В двоичном же коде всегда ясно с каким типом в данный момент времени идет работа.