Implementing optional specialization when executing code

A method comprising:

• identifying, by a runtime environment, a first instruction to call an application programming interface (API) point, wherein an unspecialized type includes the API point;
• determining whether the first instruction indicates any expected specialized type associated with the API point;
• responsive to determining that the first instruction indicates a first expected specialized type associated with the API point:
• performing, by the runtime environment, a first optimized access associated with the API point based on a first type restriction derived from the first expected specialized type;
• identifying, by the runtime environment, a second instruction to call the API point;
• determining whether the second instruction indicates any expected specialized type associated with the API point;
• responsive to determining that the second instruction does not indicate any expected specialized type associated with the API point:
• performing, by the runtime environment, a particular access associated with the API point based on a type of the API point as indicated by the unspecialized type;
• wherein the method is performed by one or more devices, each including one or more hardware processors.

A system comprising:

• one or more devices, each including one or more hardware processors;
• and
• the system being configured to perform operations comprising:
• identifying, by a runtime environment, a first instruction to call an application programming interface (API) point, wherein an unspecialized type includes the API point;
• determining whether the first instruction indicates any expected specialized type associated with the API point;
• responsive to determining that the first instruction indicates a first expected specialized type associated with the API point:
• performing, by the runtime environment, a first optimized access associated with the API point based on a first type restriction derived from the first expected specialized type;
• identifying, by the runtime environment, a second instruction to call the API point;
• determining whether the second instruction indicates any expected specialized type associated with the API point;
• responsive to determining that the second instruction does not indicate any expected specialized type associated with the API point:
• performing, by the runtime environment, a particular access associated with the API point based on a type of the API point as indicated by the unspecialized type.