发明名称 | 可空和后期绑定 | ||
摘要 | 提供了增强编程语言的系统和方法,而这是通过为包括引用和值类型T两者的静态类型引入除值层面之外在类型层面上的空统一来实现的。不加提及实际类型地引入一种添加一层可空性(以及移除该可空性)的操作符,从而以精确的方式指引重载。 | ||
申请公布号 | CN101253477A | 申请公布日期 | 2008.08.27 |
申请号 | CN200680031473.1 | 申请日期 | 2006.08.04 |
申请人 | 微软公司 | 发明人 | H·J·M·梅杰;A·希尔维;B·C·贝克曼;P·A·维柯;A·Y·阿哈罗尼;D·N·舒艾奇;P·F·戴尔顿 |
分类号 | G06F9/44(2006.01);G06F9/45(2006.01);G06F17/00(2006.01) | 主分类号 | G06F9/44(2006.01) |
代理机构 | 上海专利商标事务所有限公司 | 代理人 | 陈斌 |
主权项 | 1.一种计算机实现的系统,包括下列计算机可执行组件:针对引用和值两者的静态类型的用于指定可空性的空统一组件;以及不加提及类型地添加或移除一层可空性的操作符。 | ||
地址 | 美国华盛顿州 |