Runtime system

摘要

Various embodiments provide an ability to describe, independent of a programming language, one or more interfaces associated with an operating system. Alternately or additionally, a compiler associated with a specific programming language can be configured to map the independent interface description(s) to the specific programming language. In some embodiments, an application can be configured to programmatically determine one or more interfaces of the operating system.

主权项

1. A computer-implemented method comprising:
programmatically determining, using at least one binary contract that includes machine-level definitions, one or more abstract types associated with one or more available software interfaces, each software interface being described using an abstract type system associated with the one or more abstract types, the abstract type system configured to enable interface descriptions that are independent from specific programming languages, and wherein at least one description of a software interface includes calling parameter type descriptions, wherein programmatically determining the one or more abstract types comprises determining behavior associated with the one or more abstract types; and translating individual determined abstract types to individual respective types associated with at least one specific programming language.