香蕉、镜头、信封和带刺铁丝网的函数式编程

首页--期刊主要分类--期刊细介绍--期刊题录与文摘--文摘内容。(主编)，Fokkinga，M.M.，&；Paterson，R.(1991)。使用香蕉、镜头、信封和带刺铁丝网的函数式编程。124-144。Https://doi.org/10.1007/3540543961_7。

基于与数据类型定义相关的递归运算符，我们开发了一种用于懒惰函数式编程的演算。对于这些算子，我们导出了在推导和操作程序时有用的各种代数定律。我们将展示Bird and Wadler{#34；}函数式编程简介{#34；}中的所有示例函数都可以使用这些运算符表示。"；，

Meijer，E，Hughes，J(编辑)，Fokkinga，MM&；Paterson，R 1991；'；'；pp.124-144。Https://doi.org/10.1007/3540543961_7。

使用香蕉、镜头、信封和带刺铁丝网的函数式编程。题名/责任者：Meijer，Erik，Hughes，J.。题名/责任者：[by]J.。

一九九一年。124-144。

N2-我们基于与数据类型定义相关的递归运算符，开发了一种用于惰性函数编程的演算。对于这些算子，我们导出了在推导和操作程序时有用的各种代数定律。我们将展示Bird and Wadler‘s&34；函数编程导论中的所有示例函数都可以使用这些运算符表示。

AB-我们开发了一个基于与数据类型定义相关的递归操作符的懒惰函数式编程演算。对于这些算子，我们导出了在推导和操作程序时有用的各种代数定律。我们将展示Bird and Wadler‘s&34；函数编程导论中的所有示例函数都可以使用这些运算符表示。