Implementation of alias preserving structural subtyping with precise types using transparent adapters
View Patent ↗A system and method for employing a programming language based on structural types on top of a nominal type runtime environment is disclosed. The system utilizes adapters and coercive subtyping to achieve precise typing while preserving aliasing. Furthermore, the system employs a universal value representation to achieve cross-assembly type equivalence.
1. A system that employs structural types in a nominal typed runtime environment comprising:
a component that receives source elements defined in a structural type programming language;
a component that receives target elements defined in a nominal type runtime environment;
an adapter that facilitates communication between the source elements and the target elements and explicitly coerces a value on the target elements, the adapter comprises a wrappee, the wrappee includes a copy of the source elements; and
a memory operatively coupled to a processor retains at least a portion of the component that receives source elements, the component that receives target elements, the adapter, or a combination thereof.
2. The system of claim 1 , the runtime environment supports multiple languages.
3. The system of claim 2 , the runtime environment is platform independent.
4. The system of claim 1 , the adapter is a transparent two-way adapter.
5. The system of claim 1 , the adapter facilitates the use of aliases.
6. A computer-implemented system that employs structural types in a nominal typed runtime environment, comprising:
a component that receives source elements defined in a structural type programming language;
a component that receives target elements defined in a nominal type runtime environment, that supports multiple languages and is platform independent;
an adapter that facilitates communication between the source elements and the target elements and explicitly coerces a value on the target elements, the adapter is a transparent two-way adapter that facilitates the use of aliases and that comprises a wrappee, the wrappee includes a copy of the source elements; and
a processor operatively coupled to memory executes an instruction in relation to the component that receives source elements, the component that receives target elements, the adapter, or a combination thereof.