Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire

Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire
复制标题

使用香蕉、镜头、信封和铁丝网进行函数式编程

DOI：
--
复制
发表时间：
1991
期刊：
Conference on Functional Programming Languages and Computer Architecture
影响因子：
--
通讯作者：
R. Paterson
R. Paterson
中科院分区：
--
文献类型：
--
作者：
E. Meijer;M. Fokkinga;R. Paterson

文献摘要

被引文献

相似文献

我们基于与数据类型定义相关的递归运算符开发用于懒惰功能编程的演算。对于这些运营商，我们得出各种代数法，这些法律可用于得出和操纵程序。我们将证明，Bird和Wadler的功能编程介绍中的所有示例功能都可以使用这些操作员表达。
We develop a calculus for lazy functional programming based on recursion operators associated with data type definitions. For these operators we derive various algebraic laws that are useful in deriving and manipulating programs. We shall show that all example functions in Bird and Wadler's Introduction to Functional Programming can be expressed using these operators.