公开(公告)号：US20060150146A1

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

申请号：US11012409

申请日：2004-12-15

申请人： Henricus Meijer ,  Sergey Dubinets ,  Yan Leshinsky ,  Evgeny Veselov

发明人： Henricus Meijer ,  Sergey Dubinets ,  Yan Leshinsky ,  Evgeny Veselov

IPC分类号： G06F9/44

CPC分类号： G06F9/4492

摘要： 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).

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

公开(公告)号：US20060047671A1

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

申请号：US10925509

申请日：2004-08-25

申请人： Henricus Meijer ,  Yan Leshinsky ,  Arpan Desai ,  Andrew Kimball

发明人： Henricus Meijer ,  Yan Leshinsky ,  Arpan Desai ,  Andrew Kimball

IPC分类号： G06F17/00

CPC分类号： G06F9/454

摘要： The subject invention pertains to a system and method of incorporating collation information into data types. In particular, the subject invention provides for parameterizing data types with collation information such that a comparison between two different collations generates a static-type error rather than a run-time error. Additionally, the invention affords for conveniently working with localized data types to allow generic parameterization over collations as well as ordinary types. In the context of strings, the present invention enables concurrent use of strings in multiple languages and facilitates the correct handling thereof.

摘要翻译： 本发明涉及将归类信息并入数据类型的系统和方法。 特别地，本发明提供了用归类信息参数化数据类型，使得两个不同排序顺序之间的比较产生静态类型错误而不是运行时错误。 此外，本发明提供了方便地使用本地化数据类型以允许通过归一化以及普通类型的一般参数化。 在字符串的上下文中，本发明能够并行使用多种语言的字符串并且有助于其正确处理。

公开(公告)号：US20070074185A1

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

申请号：US11215135

申请日：2005-08-30

申请人： Henricus Meijer ,  Peter Drayton ,  Brian Beckman ,  Paul Vick ,  Amanda Silver ,  David Schach ,  Avner Aharoni

发明人： Henricus Meijer ,  Peter Drayton ,  Brian Beckman ,  Paul Vick ,  Amanda Silver ,  David Schach ,  Avner Aharoni

IPC分类号： G06F9/45

CPC分类号： G06F8/437 ,  G06F8/31

摘要： Systems and methods that enhance a programming language with late binding via employing expressions of the form “Expression” in syntactic positions—wherein previously only compile-time constants were allowed. In a related aspect, the subject innovation can parameterize over a member name, via examining the grammar of the language (and all the available helpers) and replace identifiers or constants with an expression(s).

摘要翻译： 通过在句法位置采用表达式“表达式”的表达形式来增强具有后期绑定的编程语言的系统和方法，其中以前只允许编译时常数。 在相关方面，主体创新可以通过检查语言的语法（和所有可用的助手）来参数化成员名称，并用表达式替换标识符或常量。

公开(公告)号：US20070055962A1

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

申请号：US11219256

申请日：2005-09-02

申请人： Henricus Meijer ,  Brian Beckman ,  Paul Vick ,  Amanda Silver

发明人： Henricus Meijer ,  Brian Beckman ,  Paul Vick ,  Amanda Silver

IPC分类号： G06F9/45

CPC分类号： G06F8/437

摘要： A computer-implemented system for representing data comprises a position indicator that indicates a position of a datum within a group, a name indicator that optionally names the datum, and a value of the datum. A type to be assigned to the datum is derived from at least one of a name of the datum and the position of the datum within the group. Methods of using the system are also provided.

摘要翻译： 用于表示数据的计算机实现的系统包括指示组内的数据的位置的位置指示符，可选地命名数据的名称指示符和基准的值。 要分配给基准的类型从基准的名称和组内基准的位置中的至少一个派生。 还提供了使用该系统的方法。

公开(公告)号：US20070038985A1

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

申请号：US11200911

申请日：2005-08-10

申请人： Henricus Meijer ,  Avner Aharoni ,  Haroon Ahmed ,  Todd Pfleiger

发明人： Henricus Meijer ,  Avner Aharoni ,  Haroon Ahmed ,  Todd Pfleiger

IPC分类号： G06F9/45

CPC分类号： G06F8/51

摘要： The subject disclosure pertains to computer programming languages and translation or conversion thereof. Rather than a complicated semantics preserving translation or conversion from a first source language to a second target language, the conversion can be one of syntax. The conversion can be accomplished, for example, via employment of a map that defines the relation between the syntax of the first language and the second language. The semantics of at least a part of the first language can be defined by the second target language. Thus, the first language can be open-ended and/or semantically extensible based on the second language.

摘要翻译： 本发明涉及计算机编程语言及其翻译或转换。 而不是从第一源语言到第二目标语言的复杂语义保留翻译或转换，转换可以是语法之一。 该转换可以例如通过使用定义第一语言和第二语言的语法之间的关系的映射来实现。 第一语言的至少一部分的语义可以由第二目标语言定义。 因此，基于第二语言，第一语言可以是开放的和/或语义可扩展的。

公开(公告)号：US20070074162A1

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

申请号：US11214716

申请日：2005-08-30

申请人： Henricus Meijer ,  Paul Vick ,  Amanda Silver ,  Chris Suver

发明人： Henricus Meijer ,  Paul Vick ,  Amanda Silver ,  Chris Suver

IPC分类号： G06F9/44

CPC分类号： G06F8/24 ,  G06F9/4488 ,  Y10S707/99944

摘要： 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.

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

公开(公告)号：US20070044083A1

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

申请号：US11193565

申请日：2005-07-29

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

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

IPC分类号： G06F9/45

CPC分类号： G06F8/437 ,  G06F8/311 ,  G06F8/312

摘要： 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.

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

公开(公告)号：US20070044066A1

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

申请号：US11208228

申请日：2005-08-19

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

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

IPC分类号： G06F9/44

CPC分类号： G06F8/33

摘要： 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.

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

公开(公告)号：US20070028209A1

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

申请号：US11192919

申请日：2005-07-29

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

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

IPC分类号： G06F9/44 ,  G06F9/45

CPC分类号： G06F8/315

摘要： 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.

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

公开(公告)号：US20070028163A1

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

申请号：US11193567

申请日：2005-07-29

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

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

IPC分类号： G06F17/24

CPC分类号： G06F17/2247 ,  G06F17/30932

摘要： 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).

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