发明名称 |
类型推理和类型导向的后期绑定 |
摘要 |
提供了通过供应选择进入(或选择退出)后期绑定来平衡编程语言内后期绑定和早期绑定的系统和方法,其中后期绑定是基于该变量的静态类型(例如,对象或类型/字符串)而触发的。此外,可以允许变量在编程语言的不同区域(例如,程序段)内具有不同的静态类型。 |
申请公布号 |
CN101253478A |
申请公布日期 |
2008.08.27 |
申请号 |
CN200680032080.2 |
申请日期 |
2006.08.15 |
申请人 |
微软公司 |
发明人 |
H·J·M·梅杰;B·C·贝克曼;D·N·舒阿奇;A·希尔维;P·A·维克;P·F·德亚顿;A·Y·阿哈罗尼;R·拉梅尔 |
分类号 |
G06F9/44(2006.01);G06F9/45(2006.01) |
主分类号 |
G06F9/44(2006.01) |
代理机构 |
上海专利商标事务所有限公司 |
代理人 |
张政权 |
主权项 |
1.一种计算机实现的系统,包括下列计算机可执行组件:带有选项组件的编程语言,所述选项组件供应以下之一:后期绑定的选择进入和选择退出,以及促进所述后期绑定的助手,所述后期绑定基于为所述编程语言的变量所指定或推理的类型。 |
地址 |
美国华盛顿州 |