[发明专利]注入组合查询的单子评估

权利要求书

1.一种用于以双向、可动态编程的方式来将操作注入到第一进程（104）与第二进程（106）之间的通信中的系统，所述系统包括：

与第二进程（106）相关联的存储区域（506），所述存储区域（506）存储统一资源定位符（URL）（510），所述统一资源定位符中嵌入了带有闭包的一个或多个运算符，所述带有闭包的运算符对应于至少一个关于数据的请求；以及

处理器（502），其被编程成：

经由网络从第一进程（104）接收该URL（510），以及将接收到的URL（510）保存在存储区域（506）中；

从存储区域（506）中保存的URL（510）中提取带有闭包的运算符；

由第二进程（106）评估所提取的带有闭包的运算符，以便产生所请求的数据，所述评估包括：

将闭包转换成简单类型的闭包，以及

将带有经过转换的闭包的运算符绑定在单子内部，以便封装从带有经过转换的闭包的运算符中产生的数据；以及

将所产生的数据发送到第一进程（104）。

2.权利要求1的系统，其中第一进程是由客户机设备运行的，并且第二进程是由云服务运行的。

3.权利要求1的系统，其中第一进程是由云服务运行的，并且第二进程是由客户机设备运行的。

4.权利要求1的系统，其中处理器被编程成通过将至少一个操作应用于通过评估每一个带有经过转换的闭包的运算符所产生的数据而将带有经过转换的闭包的运算符绑定在单子内部，其中相同的操作被应用于从管道中带有经过转换的闭包的在先运算符中产生的数据上。

5.权利要求1的系统，还包括：

用于利用单子处理以脚本语言嵌入在URL中的查询运算符的装置；以及

用于由web服务来对带有闭包的运算符进行单子评估的装置。

6.一种方法，包括：

从第一进程（104）接收一个或多个带有闭包的运算符，所述带有闭包的运算符代表的是由第二进程（106）执行的一个或多个函数；以及

第二进程（106）对接收到的带有闭包的运算符进行评估，以便通过以下处理来运行函数：

将闭包转换成简单类型的闭包；以及

将带有经过转换的闭包的运算符绑定在单子内部，以便限制所述函数的运行。

7.权利要求6的方法，其中将带有经过转换的闭包的运算符绑定在单子内部包括以下的一项或多项处理：创建Kleisli组合，以及将至少一个操作应用于通过运行每一个函数得到的输出数据上，其中相同的操作被应用于每一个函数。

8.权利要求6的方法，其中计算设备运行第一进程和第二进程，其中接收带有闭包的运算符包括：接收一个或多个编码在脚本语言中和/或打包在超文本标记语言中的查询，以及其中评估带有闭包的运算符包括对从包含下列各项的集合中选择的查询运算符进行评估：扩展、转换、过滤、编组、加入、排序、组合以及累积。

9.权利要求6的方法，其中评估带有闭包的运算符包括以下的一个或多个处理：对带有闭包的运算符进行排序以便进行顺序评估，以及将过滤器应用于数据集合以便产生数据子集，以及其中转换闭包包括以下的一个或多个处理：禁止递归评估所述闭包，以及禁止针对所述闭包的自应用更高阶自变量。

10.权利要求6的方法，其中一个或多个计算机存储媒体包含了计算机可执行组件，所述组件包括：

通信接口组件，其在被运行的时候使至少一个处理器从第一进程接收注入了带有闭包的运算符的序列的通信，所述带有闭包的运算符代表的是由第二进程执行以产生输出数据的函数；以及

脚本组件，其在被运行的时候使至少一个处理器通过第二进程来按顺序静态分析带有闭包的运算符，以便执行函数来产生输出数据，所述脚本组件包括：

类型检查组件，其在被运行的时候使至少一个处理器将每一个闭包转换成简单类型的闭包；以及

封装组件，其在被运行的时候使至少一个处理器在单子内部应用将带有在静态分析期间被类型检查组件转换过的闭包的运算符应用于来自带有闭包的运算符的序列中的在先阶段的输出数据上，以便包含函数的运行，

其中所述通信接口组件将所产生的输出数据提供给第一进程。