The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
May. 16, 2017
Filed:
Mar. 13, 2013
Microsoft Technology Licensing, Llc., Redmond, WA (US);
Lucas J. Hoban, Seattle, WA (US);
Mads Torgersen, Issaquah, WA (US);
Charles P. Jazdzewski, Redmond, WA (US);
Anders Hejlsberg, Seattle, WA (US);
Steven E. Lucco, Bellevue, WA (US);
Joseph J. Pamer, Seattle, WA (US);
MICROSOFT TECHNOLOGY LICENSING, LLC., Redmond, WA (US);
Abstract
Static type checking can be performed on types and values defined in modules in a system that dynamically composes programs from modules. The types and values do not share a global namespace. Each module defines its own module universe, disjoint from other modules. A language mechanism can establish a local name binding to one module within the content of another module. When type checking at compile time an environment can be established that corresponds to a runtime instance of the program. The static type system can be arranged to align with the runtime values, such that the names used to refer to objects at runtime are the same as the names used to refer to the types of those objects in the static type system. Aliases of a particular type are resolved to a known compile time description of the type.