Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire

Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire (1991)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Erik Meijer , Maarten Fokkinga , Ross Paterson

Citations:

330 - 12 self

BibTeX

@INPROCEEDINGS{Meijer91functionalprogramming,
    author = {Erik Meijer and Maarten Fokkinga and Ross Paterson},
    title = {Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire},
    booktitle = {},
    year = {1991},
    pages = {124--144},
    publisher = {Springer-Verlag}
}

OpenURL

Abstract

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. 1 Introduction Among the many styles and methodologies for the construction of computer programs the Squiggol style in our opinion deserves attention from the functional programming community. The overall goal of Squiggol is to calculate programs from their specification in the way a mathematician calculates solutions to differential equations, or uses arithmetic to solve numerical problems. It is not hard to state, prove and use laws for well-known operations such as addition, multiplication and ---at the function level--- composition. It is, however, quite hard to state, prove and use laws for arbitrarily recursively ...

Keyphrases

barbed wire use law well-known operation recursion operator functional programming community functional programming many style various algebraic law squiggol style differential equation data type definition mathematician calculates solution lazy functional programming function level composition computer program overall goal numerical problem example function