Some dynamically typed languages such as Common Lisp allow optional type declarations for optimization for this reason.
Některé dynamicky typované jazyky jako Common Lisp umožňují z tohoto důvodu pro optimalizaci volitelný typ deklarace.