STATICALLY EXTENSIBLE TYPES

摘要

Statically extensible types allow a static type system to model the behavior of dynamic object model extension in dynamic runtime systems. Static types that model dynamically extended types can be extended using additional declarations in the same compilation. Declarations for a particular type can come from multiple independent sources which can have been defined at multiple points in time. Extension declarations can use the same syntax as the initial type declaration. Hence presence of one or more declarations for the same type in a compilation can indicate that the type has been extended. These features allow static type checking of dynamic plug-ins to be supported using statically extensible types. Declarations and extension declarations for a type can be merged together to create an extended type that enables different processing paths and dependencies.

主权项

1. A system comprising:
at least one processor: a memory connected to the at least one processor: and a module that when loaded into the at least one processor causes the at least one processor to: receive program source code comprising an initial declaration for a static type of a program component in a first file from a first source; receive program source code comprising at least one additional declaration for the static type of the component in a second file from a second source, where the at least one additional declaration extends capabilities of the program component at runtime; and in response to receiving a reference to the static type, display information associated with the merged representation of the static type.