Es ist nicht ganz trivial statisch typisierten Code mit dynamischem zu mischen, volle Reflection zu unterstützen und trotzdem die statische Typinformation für Effizienzoptimierungen zu nutzen.

Wenn Typinformation zur Laufzeit mit herumgeschleppt werden muss, damit dynamische Codeteile mit den statischen sprechen können, kann der Effizienzgewinn von stark typisiert kompiliertem Code schnell wieder verloren gehen. Unter Umständen kann die Typinformation das Programm sogar langsamer machen, nämlich dann, wenn der Compiler an der Schnittstelle zwischen dynamisch und statisch typisiertem Code Überprüfungen und Repräsentationskonversionen einfügen muss.

Perl 6 versucht, eine eierlegende Wollmilchsau zu werden, und das führt eben dazu, dass Compiler und Laufzeitbibliothek immer einen anstrengenden Spagat zwischen maximalem Dynamismus und maximaler Optimierung bewerkstelligen werden müssen.