利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

7 条记录 (耗时 0.032 秒)

    Local type alias inference system and method
    6.
    发明申请
    Local type alias inference system and method 审中-公开
    本地类型别名推理系统和方法

    公开(公告)号：US20060048095A1

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

    申请号：US10930145

    申请日：2004-08-31

    申请人： Henricus Meijer ,  Eric Gunnerson ,  Peter Hallam ,  Anders Hejlsberg ,  Gary Katzenberger ,  Matthew Warren

    发明人： Henricus Meijer ,  Eric Gunnerson ,  Peter Hallam ,  Anders Hejlsberg ,  Gary Katzenberger ,  Matthew Warren

    IPC分类号： G06F9/44

    CPC分类号： G06F8/434

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

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

    General programming language support for nullable types
    7.
    发明申请
    General programming language support for nullable types 有权
    通用编程语言支持可空类型

    公开(公告)号：US20060053131A1

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

    申请号：US10935247

    申请日：2004-09-07

    申请人： Henricus Meijer ,  Anders Hejlsberg ,  Eric Gunnerson ,  Gary Katzenberger ,  Peter Hallam ,  Matthew Warren

    发明人： Henricus Meijer ,  Anders Hejlsberg ,  Eric Gunnerson ,  Gary Katzenberger ,  Peter Hallam ,  Matthew Warren

    IPC分类号： G06F7/00

    CPC分类号： G06F8/31 ,  Y10S707/99934 ,  Y10S707/99935 ,  Y10S707/99942 ,  Y10S707/99945

    摘要： The subject invention relates to systems and methods that provide null capabilities within the context of programming languages. In one aspect, a system is provided that facilitates null-support in various programming languages. The system includes one or more types associated with at least one programming language. A type modifier is provided to signal that the type is nullable. The type modifier enables a multi-element structure to be automatically created in association with the type wherein, the multi-element structure includes the type and a Boolean element indicating whether or not the variable is null.

    摘要翻译： 本发明涉及在编程语言的上下文中提供零能力的系统和方法。 在一个方面，提供了一种促进各种编程语言的空支持的系统。 该系统包括与至少一种编程语言相关联的一种或多种类型。 提供一个类型修饰符来表示该类型为空。 类型修饰符使得能够与其中多元素结构包括类型的类型相关联地自动创建多元素结构，并且指示该变量是否为空的布尔元素。