公开(公告)号：US20070074162A1

公开(公告)日：2007-03-29

申请号：US11214716

申请日：2005-08-30

Applicant: Henricus Meijer ,  Paul Vick ,  Amanda Silver ,  Chris Suver

Inventor： Henricus Meijer ,  Paul Vick ,  Amanda Silver ,  Chris Suver

IPC: G06F9/44

CPC classification number: G06F8/24 ,  G06F9/4488 ,  Y10S707/99944

Abstract: An object-oriented interface for providing access to stored data comprises a data enumeration module that provides an object-oriented view to at least one stored first datum that is not an object created by the interface. The interface also includes a scanning module that cooperates with the data enumeration module to change the view from the stored first datum to another datum. Methods for using the interface are also provided.

Abstract translation: 用于提供对存储数据的访问的面向对象的接口包括数据枚举模块，其向至少一个存储的第一数据提供面向对象的视图，该第一数据不是由该接口创建的对象。 该接口还包括与数据枚举模块配合的扫描模块，以将视图从存储的第一数据改变为另一个数据。 还提供了使用接口的方法。

公开(公告)号：US20070044083A1

公开(公告)日：2007-02-22

申请号：US11193565

申请日：2005-07-29

Applicant: Henricus Meijer ,  Anders Hejlsberg ,  Donald Box ,  Matthew Warren ,  Luca Bolognese ,  Gary Katzenberger ,  Peter Hallam ,  Dinesh Kulkarni

Inventor： Henricus Meijer ,  Anders Hejlsberg ,  Donald Box ,  Matthew Warren ,  Luca Bolognese ,  Gary Katzenberger ,  Peter Hallam ,  Dinesh Kulkarni

IPC: G06F9/45

CPC classification number: G06F8/437 ,  G06F8/311 ,  G06F8/312

Abstract: The subject disclosure pertains to lambda expressions and the employment of such expressions in imperative and/or object-oriented computer programming languages. Lambda expressions can be employed in conjunction with methods (e.g., arguments, assignment . . . ) to provide a more concise and functional manner of code specification. Further, lambda expressions can participate in type inference and checking as well as overload resolution, among other things.

Abstract translation: 主题公开涉及lambda表达式以及在命令式和/或面向对象的计算机编程语言中使用这种表达式。 Lambda表达式可以与方法（例如，参数，赋值...）一起使用，以提供更简洁和功能性的代码规范方式。 此外，lambda表达式可以参与类型推断和检查以及重载分辨率等等。

公开(公告)号：US20070044066A1

公开(公告)日：2007-02-22

申请号：US11208228

申请日：2005-08-19

Applicant: Henricus Meijer ,  Brian Beckman ,  Avner Aharoni ,  David Schach ,  Peter Drayton ,  Ralf Lammel ,  Jose Blakeley ,  Cyrus Najmabadi

Inventor： Henricus Meijer ,  Brian Beckman ,  Avner Aharoni ,  David Schach ,  Peter Drayton ,  Ralf Lammel ,  Jose Blakeley ,  Cyrus Najmabadi

IPC: G06F9/44

CPC classification number: G06F8/33

Abstract: Multiple programming languages can be embedded and supported within a single source. Programs nested with syntax from a plurality of languages (e.g., C#, SQL, XML . . . ), among other things, enable users to avail themselves of advantageous aspects of different languages for particular tasks. Language services that provide language specific functionality including but not limited to formatting, intelligent assist, auto completion, and coloring, can be employed and switched between to afford support for their respective languages in a mixed language source program. Similarly, mixed language programs can be compiled with language specific services or systems such as parsers, scanners and the like to process corresponding code portions.

Abstract translation: 多种编程语言可以在单一来源内嵌入和支持。 嵌套有来自多种语言（例如，C＃，SQL，XML ...）的语法的程序等等使得用户能够利用不同语言的有利方面来执行特定任务。 可以使用提供语言特定功能的语言服务，包括但不限于格式化，智能辅助，自动完成和着色，并在混合语言源程序中为其各自语言提供支持。 类似地，混合语言程序可以用语言特定的服务或诸如解析器，扫描仪等的系统来编译以处理相应的代码部分。

公开(公告)号：US20070028209A1

公开(公告)日：2007-02-01

申请号：US11192919

申请日：2005-07-29

Applicant: Henricus Meijer ,  Anders Hejlsberg ,  Matthew Warren ,  Luca Bolognese ,  Peter Hallam ,  Gary Katzenberger ,  Dinesh Kulkarni

Inventor： Henricus Meijer ,  Anders Hejlsberg ,  Matthew Warren ,  Luca Bolognese ,  Peter Hallam ,  Gary Katzenberger ,  Dinesh Kulkarni

IPC: G06F9/44 ,  G06F9/45

CPC classification number: G06F8/315

Abstract: Architecture that extends existing types including constructed and sealed types using extension methods. Extension methods are static methods that can be invoked using instance method syntax. Extension methods are declared by specifying the keyword “this” as a modifier on the first parameter of the methods. Extension methods have all the capabilities of regular static methods. In addition, once imported, extension methods can be invoked using instance method syntax. Also disclosed are rules for importing extension methods, and extension method invocations. Extension methods are imported through using-namespace-directives. In addition to importing the types contained in a namespace, a using-namespace-directive imports all extension methods in all static classes in the namespace. In effect, imported extension methods appear as additional methods on the types that are given by their first parameter and have lower precedence than regular instance methods.

Abstract translation: 使用扩展方法扩展现有类型（包括构造和密封类型）的体系结构。 扩展方法是可以使用实例方法语法调用的静态方法。 扩展方法通过在方法的第一个参数上指定关键字“this”作为修饰符来声明。 扩展方法具有常规静态方法的所有功能。 另外，一旦导入，可以使用实例方法语法来调用扩展方法。 还公开了导入扩展方法和扩展方法调用的规则。 扩展方法通过using-namespace-directives导入。 除了导入命名空间中包含的类型之外，using-namespace-directive会在命名空间中的所有静态类中导入所有扩展方法。 实际上，导入的扩展方法在其第一个参数给出的类型上显示为附加方法，并且具有比常规实例方法更低的优先级。

公开(公告)号：US20070028163A1

公开(公告)日：2007-02-01

申请号：US11193567

申请日：2005-07-29

Applicant: Henricus Meijer ,  Anders Hejlsberg ,  David Remy ,  Arpan Desai ,  Asad Jawahar ,  Andrew Kimball ,  Donald Box

Inventor： Henricus Meijer ,  Anders Hejlsberg ,  David Remy ,  Arpan Desai ,  Asad Jawahar ,  Andrew Kimball ,  Donald Box

IPC: G06F17/24

CPC classification number: G06F17/2247 ,  G06F17/30932

Abstract: An architecture that leverages support for markup language operations, e.g., extensible markup language (XML) queries, via a lightweight application program interface (API). The API defines an object model that can simplify construction of XML values in languages that do not natively support XML. The novel aspects of the described innovation can enable query languages to be factored into general operations (e.g., mapping, filtering, sorting, and/or projection of functions) on collections on one hand, and a set of domain specific operations (e.g., navigation, construction and modification) on the elements of these collections on another hand. The subject API can support creation of XML data that is node centric (e.g., context-free). Accordingly, nodes do not have to be constructed within the context of a document. Additionally, aspects can enable expression-oriented interface mechanisms as opposed to the imperative statement-oriented style interfaces used in connection with traditional interface mechanisms (e.g., DOM).

Abstract translation: 通过轻量级应用程序接口（API）利用支持标记语言操作（例如可扩展标记语言（XML）查询）的体系结构。 API定义了一个对象模型，可以简化XML本身不支持XML的语言的构造。 所描述的创新的新颖方面可以使查询语言能够一方面被视为一般操作（例如，功能的映射，过滤，排序和/或投影），以及一组特定于领域的操作（例如，导航 ，建设和修改）另一方面对这些收藏品的要素。 主题API可以支持以节点为中心（例如，无上下文）创建XML数据。 因此，节点不必在文档的上下文中构建。 另外，方面可以实现面向表达式的接口机制，而不是与传统接口机制（例如，DOM）结合使用的面向语句的风格接口。

公开(公告)号：US20060150146A1

公开(公告)日：2006-07-06

申请号：US11012409

申请日：2004-12-15

Applicant: Henricus Meijer ,  Sergey Dubinets ,  Yan Leshinsky ,  Evgeny Veselov

Inventor： Henricus Meijer ,  Sergey Dubinets ,  Yan Leshinsky ,  Evgeny Veselov

IPC: G06F9/44

CPC classification number: G06F9/4492

Abstract: The subject invention pertains to a system and method of extending programming languages to enable static inheritance. In particular, static subclasses can be defined which extend class functionality and/or behaviors without extending base class state. The subclasses can be specified to include static fields as well as static or instance methods and/or properties that provide a more specific interpretation of an object without extending the state thereof. Furthermore, a static subclass can be specified to provide for type aliasing. Casting is also enabled in both directions between base class type and derived class type in a convenient manner without run-time performance penalties. According to one aspect of the invention, the disclosed systems and methods can be employed to create specific programmatic context, for instance for accessing, manipulating, and type checking external data (e.g., XML).

Abstract translation: 本发明涉及一种扩展编程语言以实现静态继承的系统和方法。 特别地，可以定义静态子类，其扩展类功能和/或行为，而不扩展基类状态。 子类可以指定为包括静态字段以及静态或实例方法和/或属性，可以在不扩展对象的状态的情况下提供对对象的更具体的解释。 此外，可以指定静态子类来提供类型别名。 在方便的方式下，也可以在基类类型和派生类类型之间的两个方向上启用转换，而无需运行时性能损失。 根据本发明的一个方面，所公开的系统和方法可用于创建特定的编程上下文，例如用于访问，操纵和类型检查外部数据（例如，XML）。

公开(公告)号：US20060048095A1

公开(公告)日：2006-03-02

申请号：US10930145

申请日：2004-08-31

Applicant: Henricus Meijer ,  Eric Gunnerson ,  Peter Hallam ,  Anders Hejlsberg ,  Gary Katzenberger ,  Matthew Warren

Inventor： Henricus Meijer ,  Eric Gunnerson ,  Peter Hallam ,  Anders Hejlsberg ,  Gary Katzenberger ,  Matthew Warren

IPC: G06F9/44

CPC classification number: G06F8/434

Abstract: The present invention discloses an improved system and method for specifying and compiling computer programs. Type aliases are introduced whose binding is inferred by a type inference component during compilation. Once declared, type aliases can be utilized just like regular types thereby providing added efficiency in coding, among other things. Additionally, a mechanism for specifying the introduction of a new variable whose type is to be inferred is disclosed. This mechanism clears up an ambiguity during type inference concerning whether to infer a new variable type or utilize a variable in scope. Further yet, an efficient type inference system and method is disclosed to effectively deal with overloading among other things.

Abstract translation: 本发明公开了一种用于指定和编译计算机程序的改进的系统和方法。 引入类型别名，其编译期间由类型推断组件推断其绑定。 一旦声明，类别别可以像常规类型一样使用，从而提高编码的效率等等。 另外，公开了一种用于指定引入类型被推断的新变量的机制。 这种机制在关于是推断新的变量类型还是在范围中使用变量的类型推理中清除了歧义。 此外，公开了一种有效的类型推理系统和方法，以有效地处理超负荷等。

公开(公告)号：US20070094647A1

公开(公告)日：2007-04-26

申请号：US11214404

申请日：2005-08-29

Applicant: Henricus Meijer ,  Amanda Silver ,  Paul Vick ,  Brian Beckman

Inventor： Henricus Meijer ,  Amanda Silver ,  Paul Vick ,  Brian Beckman

IPC: G06F9/45

CPC classification number: G06F8/437 ,  G06F8/44

Abstract: A computer-implemented system for accessing data stored in a computer-readable format comprises a data source indicator that identifies least one datum of a data source to be typed. The system also includes a type definition component that defines a strongly typed view of the at least one datum. Methods of using the system are also provided.

Abstract translation: 用于访问以计算机可读格式存储的数据的计算机实现的系统包括识别待键入的数据源的最少一个数据的数据源指示符。 该系统还包括定义至少一个基准的强类型视图的类型定义组件。 还提供了使用该系统的方法。

公开(公告)号：US20070055978A1

公开(公告)日：2007-03-08

申请号：US11220167

申请日：2005-09-06

Applicant: Henricus Meijer ,  Brian Beckman ,  David Schach ,  Amanda Silver ,  Paul Vick ,  Peter Drayton ,  Avner Aharoni ,  Ralf Lammel

Inventor： Henricus Meijer ,  Brian Beckman ,  David Schach ,  Amanda Silver ,  Paul Vick ,  Peter Drayton ,  Avner Aharoni ,  Ralf Lammel

IPC: G06F9/44

CPC classification number: G06F8/31 ,  G06F9/449

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.

Abstract translation: 通过提供选项组件来选择（或选择退出）后期绑定，增强和平衡编程语言中的后期绑定和早期绑定的系统和方法，并且其中基于静态类型触发后期绑定 变量（例如，对象或类型/字符串）。此外，变量可以在编程语言的不同区域（例如，程序片段）中具有不同的静态类型。

公开(公告)号：US20070050168A1

公开(公告)日：2007-03-01

申请号：US11214424

申请日：2005-08-29

Applicant: Henricus Meijer ,  Paul Vick ,  Brian Beckman ,  Amanda Silver

Inventor： Henricus Meijer ,  Paul Vick ,  Brian Beckman ,  Amanda Silver

IPC: G01R27/28

CPC classification number: G06F9/4492

Abstract: A system for extending data types in software comprises an extension unit that modifies an arbitrary preexisting base data type, the preexisting base data type having at least one member. The system also includes a supplemental member that is included with the extension unit and that provides additional functionality to the preexisting base type. Methods for using the system are also provided.

Abstract translation: 用于以软件扩展数据类型的系统包括修改任意的预先存在的基本数据类型的扩展单元，预先存在的基本数据类型具有至少一个成员。 该系统还包括扩展单元附带的补充成员，并为预先存在的基本类型提供附加功能。 还提供了使用该系统的方法。