18. The system according to claim 11 , wherein: the compiler operates to provide a type cache in the programming language environment, wherein the type cache maps each type in one or more types to the function descriptor.
18. The system according to claim 11 , wherein: the compiler operates to provide a type cache in the programming language environment, wherein the type cache maps each type in one or more types to the function descriptor. 19. The system according to claim 18 , wherein: the type cache operates to indicate that a said type is not function and do not have the function descriptor.