公开(公告)号：CN101233487B

公开(公告)日：2012-01-25

申请号：CN200680027768.1

申请日：2006-06-23

申请人： 微软公司

发明人： H·J·M·梅杰 ,  A·赫杰斯伯格 ,  D·F·布克斯 ,  M·J·瓦纳 ,  L·伯洛格纳斯 ,  G·S·凯茨泽伯格 ,  P·A·豪拉姆 ,  D·C·库尔卡尼

IPC分类号： G06F9/45

CPC分类号： G06F8/437 ,  G06F8/311 ,  G06F8/312

摘要： 本发明涉及拉姆达表达式以及这种表达式在命令性和/或面向对象的计算机编程语言中的应用。拉姆达表达式可结合方法(例如，自变量、赋值……)来使用以提供更简明且功能性的代码指定方式。此外，拉姆达表达式可参与类型推导和检查以及重载解决等等。

公开(公告)号：CN101233487A

公开(公告)日：2008-07-30

申请号：CN200680027768.1

申请日：2006-06-23

申请人： 微软公司

发明人： H·J·M·梅杰 ,  A·赫杰斯伯格 ,  D·F·布克斯 ,  M·J·瓦纳 ,  L·伯洛格纳斯 ,  G·S·凯茨泽伯格 ,  P·A·豪拉姆 ,  D·C·库尔卡尼

IPC分类号： G06F9/45

CPC分类号： G06F8/437 ,  G06F8/311 ,  G06F8/312

摘要： 本发明涉及拉姆达表达式以及这种表达式在命令性和/或面向对象的计算机编程语言中的应用。拉姆达表达式可结合方法(例如，自变量、赋值……)来使用以提供更简明且功能性的代码指定方式。此外，拉姆达表达式可参与类型推导和检查以及重载解决等等。

公开(公告)号：CN101233488A

公开(公告)日：2008-07-30

申请号：CN200680027769.6

申请日：2006-06-21

申请人： 微软公司

发明人： H·J·M·梅杰 ,  A·赫杰斯伯格 ,  M·J·沃伦 ,  D·C·库尔卡尼 ,  L·伯洛格纳斯 ,  P·A·豪拉姆 ,  G·S·凯茨泽伯格 ,  D·布克斯

IPC分类号： G06F9/45

CPC分类号： G06F8/47 ,  G06F8/427 ,  G06F8/436

摘要： 一种支持将所选语义对象表示成数据对象的语言的编译器。数据对象可通过多种方式用来扩展编程语言的能力。数据对象可被传递给应用程序并用于创建该应用程序的可执行指令。这样，以编译器的本机语言编写的指令可用于控制接受使用与编译器本机语言不一致的语言的程序的应用程序。编译器的句法检查和变量绑定能力可用于要由与编译器生成的对象代码分开的应用程序执行的那些指令。表示为数据对象的语义对象可基于包含在源代码中的表达操作来选择，或者可以基于隐式类型转换来选择。

公开(公告)号：CN101233488B

公开(公告)日：2012-07-04

申请号：CN200680027769.6

申请日：2006-06-21

申请人： 微软公司

发明人： H·J·M·梅杰 ,  A·赫杰斯伯格 ,  M·J·沃伦 ,  D·C·库尔卡尼 ,  L·伯洛格纳斯 ,  P·A·豪拉姆 ,  G·S·凯茨泽伯格 ,  D·布克斯

IPC分类号： G06F9/45

CPC分类号： G06F8/47 ,  G06F8/427 ,  G06F8/436

摘要： 一种支持将所选语义对象表示成数据对象的语言的编译器。数据对象可通过多种方式用来扩展编程语言的能力。数据对象可被传递给应用程序并用于创建该应用程序的可执行指令。这样，以编译器的本机语言编写的指令可用于控制接受使用与编译器本机语言不一致的语言的程序的应用程序。编译器的句法检查和变量绑定能力可用于要由与编译器生成的对象代码分开的应用程序执行的那些指令。表示为数据对象的语义对象可基于包含在源代码中的表达操作来选择，或者可以基于隐式类型转换来选择。