Optimalizace ve vasem clanku uvedene v castech "Pristup k vlastnostem objektu" nebo "Typova inference" se prakticky jen snazi zmirnit fakt, ze chybi typove informace -- resp. kdyby tam typy byly tak k clenskym datum objektu muzete pristupovat v case konstantnim a bez nejake rezie ci optimalizace.
Jazyk Self neznam, nicmene srovnavate, ze rychlost jeho interpretru se blizi rychlosti kompilovaneho C, coz je sice chvalihodne, ale je otazka, zda je vystup kompilatoru C skutecne ultimatni cil, zda nejde jit jeste dale.
Problem jazyka C je zejm. prima manipulace s pameti, kde kompilator nemuze nic moc delat. Napriklad jazyky jako Clean, Haskell maji potencialne moznost toto vyresit mnohem lepe -- navic uz ted provadeji optimalizace celych programu.
Vemte si napriklad kompilator omezene varianty jazyka Scheme jmenem Stalin, ten je schopen vyplodit rychlejsi kod (preklada do C), nez je rucne psany kod v C. Porad ale plati, ze kompilatory dynamickych jazyku se musi spolehat predevsim na urcitou intuici (nebo na statistiky z predeslych behu programu) -- tudiz vysledek neni jisty. Zato kompilatory staticky typovanych jazyku nemusi pouzivat intuici k detekci typu, protoze je maji predem (jasne) dane.
Je treba uznat, ze kompilator staticky typovaneho jazyka je proste ve vyhode oproti kompilatoru dynamicky typovaneho jazyka, nebot ma informace navic.