Microsoft Technology Licensing, LLC

Luke Hoban

Donald Syme

Jomo Fisher

Timothy Yat Tim Ng

Dmitry Lomov

Timothy Ng

Fiona Fung

Matteo Taveggia

Harry Pierson

A system and method for implementing an asynchronous construct in a computer program. A state machine is generated from the computer program, and the program is translated to generate code that executes the state machine during runtime. The asynchronous construct may be made into a function that invokes an asynchronous function, passing the function as a callback, and then exits. When the asynchronous operation completes, the function is invoked as a callback, returning to a configuration equivalent to that prior to the asynchronous call. Variable closure may be used to maintain the state of variables during a state prior to invoking the asynchronous operation and a state after invoking the asynchronous operation.

Asynchronous workflows

A namespace-based static metadata model is projected into a dynamic programming environment. A dynamic object is created for each static namespace. The host environment populates the dynamic object with a top-level namespace of the static namespace. The dynamic objects are defined such that a request for a member a member of the namespace lazily populates the static metadata into a projected sub-namespace object or a projected type object.

Population of dynamic objects representing static namespace hierarchies

A system and method for facilitating development of a computer program that interfaces with a data store. A system queries the data store to retrieve interface information, including schema information corresponding to a portion of data in the data store relevant to a user application. The system uses the retrieved information to provide an integrated development environment (IDE) to a user. The IDE may include one or more features such as completion lists, tool tips, and quick info. The schema information may be used to create synthetic types for use in the target program. The interface information may be used to create synthetic elements to be inserted into a target program. The synthetic types may be used to perform static type checking during an editing session or a program compilation, or to provide the IDE services. During a build, the synthetic elements may be removed and replaced with data store access code, which is subsequently used during program runtime to access the store. The system enables a user to work with the data store as they would for built-in parts of their program.

Data type provider for a data store

Growing community of inventors

Seattle, WA, United States of America

Luke Hoban