Efficient generic code in a dynamic execution environment

A computer program product encoding a computer program for executing on a computer system a computer process for accessing typing context data associated with a typing-context-relevant-code-point being executed within a typing context in a dynamic execution environment, the computer process comprising:

• encountering the typing-context-relevant-code-point in typing context during execution;
• identifying a typing context handle associated with the typing context, the typing context handle referencing a typing context data structure associated with the typing context;
• and
• retrieving from the typing context data structure the typing context data associated with the typing-context-relevant-code-point.

An execution engine for executing parametrically polymorphic code and dynamically generating typing context data associated with a typing-context-relevant-code-point being executed within a typing context in a dynamic execution environment, the execution engine comprising:

• a read module encountering the typing-context-relevant-code-point in the typing context during execution of the program;
• a handle module identifying a typing context handle associated with the typing context, the typing context handle referencing a typing context data structure associated with the typing context;
• a computation module computing the typing context data associated with the typing-context-relevant-code-point;
• an allocation module allocating a field in the typing context data structure associated with the typing-context-relevant-code-point;
• and
• a recording module recording the typing context data in the field of the typing context data structure.

A method of dynamically generating typing context data associated with a typing-context-relevant-code-point being executed within a typing context in a dynamic execution environment, the method comprising:

• encountering the typing-context-relevant-code-point in the typing context during execution of the program;
• identifying a typing context handle associated with the typing context, the typing context handle referencing a typing context data structure associated with the typing context;
• computing the typing context data associated with the typing-context-relevant-code-point;
• allocating a field in the typing context data structure associated with the typing-context-relevant-code-point;
• and
• recording the typing context data in the field of the typing context data structure.

A method of accessing typing context data associated with a typing-context-relevant-code-point being executed within a typing context in a dynamic execution environment, the method comprising:

• encountering the typing-context-relevant-code-point in typing context during execution;
• identifying a typing context handle associated with the typing context, the typing context handle referencing a typing context data structure associated with the typing context;
• and
• retrieving from the typing context data structure the typing context data associated with the typing-context-relevant-code-point.