Execution contexts with polymorphic type implementations

摘要

Various domains may wish to specify different implementations of the type; e.g., a compilation domain may describe the type statically, an execution domain may instantiate objects of the given type, while a debugging execution domain may associate additional debugging information such as a symbol name. This may be achieved by specifying a type implementation of a particular type within respective domains which all implement a common type interface. A type binding instruction set may then select a type implementation for the type within the target instruction set according to the domain, and may bind type instances of the type within target instruction set to the selected type implementation for the current domain. This technique yields domain-specific variance in type implementation without having to reconfigure the target instruction set or perform domain-checking logic there-within.

主权项

1. A method of binding type implementations to types on a computer presenting an environment and having a memory and a processor, the method comprising:
storing in the memory a type binding instruction set configured to, upon receiving a request to execute a target instruction set including at least one type instance of a type:
among at least two execution contexts of an execution context set comprising:
a development execution context;a compiling execution context;a runtime execution context; anda debugging execution context,  the respective execution contexts associated with at least one characteristic of the environment of the computer in which the target instruction set is to be executed, identify a selected execution context for the target instruction set according to the at least one characteristic of the environment of the computer:
select a selected type implementation that implements the type according to the at least one characteristic of the environment associated with the selected execution context; andbind the selected type implementation to the at least one type instance of the type in the target instruction set; and executing the type binding instruction set on the processor.