Static type checking against external data sources

A method comprising:

• providing static type checking against an external data source in an interactive editing environment on a software development computer by:
• providing an extension point for the external data source, the extension point accessed by a public application programming interface, the application programming interface providing an interface to an extension customized for the external data source;
• implementing the interface by creating a class that inherits from a system synthetic type such that a synthetic class is created for the external data source, the synthetic class representing a hosted model;
• importing types marked with an attribute denoting the extension and transforming the imported types into internal representations based on methods inherited from the system synthetic type;
• generating code when a call is made on the system synthetic type or when a method is invoked on the system synthetic type that calls a method invocation on the synthetic class for the hosted model.

A computer-readable storage medium comprising computer-executable instructions which when executed cause at least one processor to:

• provide static type checking against an external data source in an interactive editing environment by:
• providing an extension point for the external data source, the extension point accessed by a public application programming interface, the application programming interface providing an interface to an extension customized for the external data;
• implementing the application program interface by creating a synthetic class for the external data source, the synthetic class enabling static type checking for the external data source;
• generating code when a call is made on a synthetic type or when a method is invoked on the synthetic type, the generated code calling a method invocation on the synthetic class for the external data source;
• and
• displaying static type checking programming aid during interactive editing.