Type inference and type-directed late binding

US8473971B2 · kind B2 · utility

Assignee

• Microsoft Corporation · US

Inventors

• Henricus Johannes Maria Meijer · Mercer Island, US
• Brian C. Beckman · Newcastle, US
• David N. Schach · Redmond, US
• Amanda Silver · Seattle, US
• Paul A. Vick · Seattle, US
• Peter F. Drayton · Redmond, US
• Avner Y. Aharoni · Seattle, US
• Ralf Lammel · Redmond, US

Key dates

• Filing date: Sep 6, 2005
• Grant date: Jun 25, 2013
• Expiry date: May 20, 2030

Classification

• Technology area (CPC G): Physics
• CPC primary: G06F9/449
• WIPO field: Computer technology
• WIPO sector: Electrical engineering

Abstract

Systems and methods that enhance and balance a late binding and an early binding in a programming language, via supplying an option component to opt-in (or opt-out) late binding, and wherein a late binding is triggered based on a static type for the variable (e.g., object or a type/string.) Additionally, the variable is enabled to have different static types at different regions (e.g., a program fragment) of the programming language.