公开(公告)号：WO2009002683A2

公开(公告)日：2008-12-31

申请号：PCT/US2008/066149

申请日：2008-06-06

Applicant: MICROSOFT CORPORATION

Inventor： MEIJER, Henricus Johannes Maria ,  SILVER, Amanda ,  VICK, Paul A.

IPC: G06F9/44

CPC classification number: G06F8/437 ,  G06F8/33

Abstract: 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.

Abstract translation: 为集成开发环境（IDE）中的动态打字提供程序化帮助。 与后期绑定结构相关联的类型可以从静态信息推断和/或从设计时执行确定。 然后可以根据精确和/或推测类型提供帮助。 此外，例如，可以结合静态类型辅助来使用动态类型辅助以促进支持晚期和早期绑定的程序的开发。

公开(公告)号：WO2007030282A1

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

申请号：PCT/US2006/031709

申请日：2006-08-15

Applicant: MICROSOFT CORPORATION

Inventor： MEIJER, Henricus Johannes Maria ,  BECKMAN, Brian C. ,  SCHACH, David N. ,  SILVER, Amanda ,  VICK, Paul A. ,  DRAYTON, Peter F. ,  AHARONI, Avner Y. ,  LAMMEL, Ralf

IPC: G06F9/44 ,  G06F9/45

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

公开(公告)号：WO2007027366A1

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

申请号：PCT/US2006/030589

申请日：2006-08-04

Applicant: MICROSOFT CORPORATION

Inventor： MEIJER, Henricus, Johannes, Maria ,  SILVER, Amanda ,  BECKMAN, Brian, C. ,  VICK, Paul, A. ,  AHARONI, Avner, Y. ,  SCHACH, David, N. ,  DRAYTON, Peter, F.

IPC: G06F9/44 ,  G06F9/45 ,  G06F17/00

CPC classification number: G06F8/31

Abstract: 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.

Abstract translation: 引入了除了值级别以外的类型级别的空值统一的参考和值类型T的静态类型的增强编程语言的系统和方法。引入了可空性级别（并消除这种可空性）的操作符被引入 没有提到实际的类型，以精确的方式引导超载。

公开(公告)号：EP2174216A2

公开(公告)日：2010-04-14

申请号：EP08770364.1

申请日：2008-06-06

Applicant: Microsoft Corporation

Inventor： MEIJER, Henricus Johannes Maria ,  SILVER, Amanda ,  VICK, Paul A.

IPC: G06F9/44

CPC classification number: G06F8/437 ,  G06F8/33

Abstract: 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.