-
公开(公告)号:US07873592B2
公开(公告)日:2011-01-18
申请号:US11737892
申请日:2007-04-20
申请人: Henricus Johannes Maria Meijer , Gavin Bierman , Mads Torgersen , Anders Hejlsberg , Danny Van Velzen , Peter A. Hallam , Robert Eric Lippert , Matthew J. Warren , Paul A. Vick , Amanda Silver
发明人: Henricus Johannes Maria Meijer , Gavin Bierman , Mads Torgersen , Anders Hejlsberg , Danny Van Velzen , Peter A. Hallam , Robert Eric Lippert , Matthew J. Warren , Paul A. Vick , Amanda Silver
CPC分类号: G06F9/4488
摘要: Systems and methods facilitate type inference in a computer-programming environment. Type inference can be applied to generic method or function invocation in object-oriented languages to determine a type argument list left implicit by a programmer. One or more type arguments can be identified as a parameter type to which all other types in a set of associated parameter types can be converted.
摘要翻译: 系统和方法便于计算机编程环境中的类型推断。 类型推断可以应用于面向对象语言中的泛型方法或函数调用,以确定程序员隐藏的类型参数列表。 一个或多个类型参数可以被识别为可以转换一组关联参数类型中的所有其他类型的参数类型。
-
公开(公告)号:US07730079B2
公开(公告)日:2010-06-01
申请号:US11215089
申请日:2005-08-30
CPC分类号: G06F17/30637 , Y10S715/968
摘要: The subject disclosure pertains to interaction with one or more collections of data. Queries and domains are presented as separate entities. A number of compositional operators are provided to manipulate a generic collection of data at a low level. Query comprehensions can specify interactions with one or more collections at a higher or more intuitive level. The query comprehensions can be translated or mapped to operators that can be employed to interact with one or more data collections and return results where applicable.
摘要翻译: 主题公开涉及与一个或多个数据集合的交互。 查询和域作为单独实体呈现。 提供了许多组合操作符来操纵低级别的通用数据集合。 查询理解可以在更高或更直观的级别指定与一个或多个集合的交互。 可以将查询理解转换或映射到可用于与一个或多个数据集合进行交互并在适用的情况下返回结果的运算符。
-
公开(公告)号:US20080262992A1
公开(公告)日:2008-10-23
申请号:US11737892
申请日:2007-04-20
申请人: Henricus Johannes Maria Meijer , Gavin Bierman , Mads Torgersen , Anders Hejlsberg , Danny Van Velzen , Peter A. Hallam , Robert Eric Lippert , Matthew J. Warren , Paul A. Vick , Amanda Silver
发明人: Henricus Johannes Maria Meijer , Gavin Bierman , Mads Torgersen , Anders Hejlsberg , Danny Van Velzen , Peter A. Hallam , Robert Eric Lippert , Matthew J. Warren , Paul A. Vick , Amanda Silver
IPC分类号: G06F9/44
CPC分类号: G06F9/4488
摘要: Systems and methods facilitate type inference in a computer-programming environment. Type inference can be applied to generic method or function invocation in object-oriented languages to determine a type argument list left implicit by a programmer. One or more type arguments can be identified as a parameter type to which all other types in a set of associated parameter types can be converted.
摘要翻译: 系统和方法便于计算机编程环境中的类型推断。 类型推断可以应用于面向对象语言中的泛型方法或函数调用,以确定程序员隐藏的类型参数列表。 一个或多个类型参数可以被识别为可以转换一组关联参数类型中的所有其他类型的参数类型。
-
公开(公告)号:US20070050347A1
公开(公告)日:2007-03-01
申请号:US11215089
申请日:2005-08-30
IPC分类号: G06F17/30
CPC分类号: G06F17/30637 , Y10S715/968
摘要: The subject disclosure pertains to interaction with one or more collections of data. Queries and domains are presented as separate entities. A number of compositional operators are provided to manipulate a generic collection of data at a low level. Query comprehensions can specify interactions with one or more collections at a higher or more intuitive level. The query comprehensions can be translated or mapped to operators that can be employed to interact with one or more data collections and return results where applicable.
摘要翻译: 主题公开涉及与一个或多个数据集合的交互。 查询和域作为单独实体呈现。 提供了许多组合操作符来操纵低级别的通用数据集合。 查询理解可以在更高或更直观的级别指定与一个或多个集合的交互。 可以将查询理解转换或映射到可用于与一个或多个数据集合进行交互并在适用的情况下返回结果的运算符。
-
公开(公告)号:US07945904B2
公开(公告)日:2011-05-17
申请号:US11209067
申请日:2005-08-22
申请人: Henricus Johannes Maria Meijer , David N. Schach , Avner Y. Aharoni , Peter F. Drayton , Brian C. Beckman , Amanda Silver , Paul A. Vick
发明人: Henricus Johannes Maria Meijer , David N. Schach , Avner Y. Aharoni , Peter F. Drayton , Brian C. Beckman , Amanda Silver , Paul A. Vick
CPC分类号: G06F17/2247 , G06F8/41 , G06F17/272
摘要: An architecture that extends conventional computer programming languages that compile into an instance of an extensible markup language (XML) document object model (DOM) to provide support for XML literals in the underlying programming language. This architecture facilitates a convenient short cut by replacing the complex explicit construction required by conventional systems to create an instance of a DOM with a concise XML literal for which conventional compilers can translate into the appropriate code. The architecture allows these XML literals to be embedded with expressions, statement blocks or namespaces to further enrich the power and versatility. In accordance therewith, context information describing the position and data types that an XML DOM can accept can be provided to the programmer via, for example, an integrated development environment. Additionally, the architecture supports escaping XML identifiers, a reification mechanism, and a conversion mechanism to convert between collections and singletons.
摘要翻译: 将传统计算机编程语言扩展到可扩展标记语言(XML)文档对象模型(DOM)的实例的体系结构,以便为底层编程语言中的XML文字提供支持。 该架构通过替代传统系统所需的复杂显式构造来简化方便的快捷操作,以创建具有简洁XML文字的DOM实例,常规编译器可将其转换为适当的代码。 该架构允许这些XML文字嵌入表达式,语句块或命名空间,以进一步丰富功能和多功能性。 根据此,可以通过例如集成开发环境向程序员提供描述XML DOM可以接受的位置和数据类型的上下文信息。 另外,该架构支持转义XML标识符,一个验证机制,以及一个在集合和单例之间进行转换的转换机制。
-
公开(公告)号:US20080320444A1
公开(公告)日:2008-12-25
申请号:US11766347
申请日:2007-06-21
IPC分类号: G06F9/44
摘要: Programmatic assistance is provided for dynamic typing within an integrated development environment (IDE). Types associated with late bound constructs can be inferred from static information and/or determined from design time execution. Assistance can then be provided as a function of a precise and/or speculative type. Furthermore, dynamic type assistance can be employed in conjunction with static type assistance to facilitate development of a program that supports both late and early binding, for example.
摘要翻译: 为集成开发环境(IDE)中的动态打字提供程序化帮助。 与后期绑定结构相关联的类型可以从静态信息推断和/或从设计时执行确定。 然后可以根据精确和/或推测类型提供援助。 此外,例如,可以结合静态类型辅助来使用动态类型辅助以促进支持晚期和早期绑定的程序的开发。
-
公开(公告)号:US20080295083A1
公开(公告)日:2008-11-27
申请号:US11751503
申请日:2007-05-21
IPC分类号: G06F9/45
CPC分类号: G06F8/436
摘要: Systems and methods are provided with respect to computer programming. Program behavior can be tuned to provide a seamless mixture of semantic behavior across a single program language syntax. Semantic behavior can be explicitly specified at arbitrary levels of syntactic granularity (e.g. expressions, members, types, compilation units . . . ), wherein semantic scope is commensurate with the specified level of granularity.
摘要翻译: 关于计算机程序设计提供了系统和方法。 可以调整程序行为,以便通过单个程序语言语法提供语义行为的无缝混合。 语义行为可以以任意级别的句法粒度(例如表达式,成员,类型,编译单位......)明确指定,其中语义范围与指定的粒度级别相称。
-
公开(公告)号:US20080244516A1
公开(公告)日:2008-10-02
申请号:US11829072
申请日:2007-07-26
申请人: Henricus Johannes Maria Meijer , Amanda Silver , Paul A. Vick , Harish Kantamneni , Jared Parsons
发明人: Henricus Johannes Maria Meijer , Amanda Silver , Paul A. Vick , Harish Kantamneni , Jared Parsons
IPC分类号: G06F9/44
CPC分类号: G06F8/315
摘要: Systems and methods facilitate variable capture with respect to closures in object oriented programming languages. In particular, multiple copies of closure variables are generated such that lifetime of variables is defined by variable scope. However, if a previous version of a variable exists, a newly created variable is initialized with the value of the previous version.
摘要翻译: 系统和方法有助于针对面向对象编程语言中的闭包的变量捕获。 特别地,生成多个关闭变量的副本,使得变量的生存期由变量范围定义。 但是,如果存在变量的先前版本,则会使用先前版本的值初始化新创建的变量。
-
公开(公告)号:US07716656B2
公开(公告)日:2010-05-11
申请号:US11215178
申请日:2005-08-30
申请人: Henricus Johannes Maria Meijer , Amanda Silver , Brian C. Beckman , Paul A. Vick , Avner Y. Aharoni , David N. Schach , Peter F. Drayton
发明人: Henricus Johannes Maria Meijer , Amanda Silver , Brian C. Beckman , Paul A. Vick , Avner Y. Aharoni , David N. Schach , Peter F. Drayton
IPC分类号: G06F9/45
CPC分类号: G06F8/31
摘要: Systems and methods that enhance a programming language by introducing null unification on a type level in addition to a value level, for static types of both reference and value types T. An operator that adds a level of nullability (and removes such nullability) is introduced without a mention of the actual type, to steer overloading in a precise manner.
摘要翻译: 引入了一个编程语言的系统和方法,通过在类型级别上引入空值统一,除了值级别之外,还引用了引用和值类型T的静态类型。引入了可空性级别(并消除了这种可空性)的操作符被引入 没有提到实际的类型,以精确的方式引导超载。
-
公开(公告)号:US08321836B2
公开(公告)日:2012-11-27
申请号:US11766347
申请日:2007-06-21
IPC分类号: G06F9/44
摘要: Programmatic assistance is provided for dynamic typing within an integrated development environment (IDE). Types associated with late bound constructs can be inferred from static information and/or determined from design time execution. Assistance can then be provided as a function of a precise and/or speculative type. Furthermore, dynamic type assistance can be employed in conjunction with static type assistance to facilitate development of a program that supports both late and early binding, for example.
摘要翻译: 为集成开发环境(IDE)中的动态打字提供程序化帮助。 与后期绑定结构相关联的类型可以从静态信息推断和/或从设计时执行确定。 然后可以根据精确和/或推测类型提供援助。 此外,例如,可以结合静态类型辅助来使用动态类型辅助以促进支持晚期和早期绑定的程序的开发。
-
-
-
-
-
-
-
-
-