Bananas in Space: Extending Fold and Unfold to Exponential Types

Bananas in Space: Extending Fold and Unfold to Exponential Types (1995)

Cached

Download Links

Other Repositories/Bibliography

CiteULike
DBLP

by Erik Meijer , Graham Hutton

Citations:

84 - 5 self

Versions

Version History

Metadata Version 3

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Bananas in Space: Extending Fold and Unfold to Exponential Types	user correction - Legacy Corrections
AUTHOR NAME	Erik Meijer	SVM HeaderParse 0.1
AUTHOR AFFIL	University of Utrecht	SVM HeaderParse 0.2
AUTHOR ADDR	The Netherlands	SVM HeaderParse 0.1
AUTHOR NAME	Graham Hutton	SVM HeaderParse 0.1
AUTHOR AFFIL	University of Utrecht	SVM HeaderParse 0.2
AUTHOR ADDR	The Netherlands	SVM HeaderParse 0.1
ABSTRACT	Fold and unfold are general purpose functionals for processing and constructing lists. By using the categorical approach of modelling recursive datatypes as fixed points of functors, these functionals and their algebraic properties were generalised from lists to polynomial (sum-of-product) datatypes. However, the restriction to polynomial datatypes is a serious limitation: it precludes the use of exponentials (functionspaces) , whereas it is central to functional programming that functions are first-class values, and so exponentials should be able to be used freely in datatype definitions. In this paper we explain how Freyd's work on modelling recursive datatypes as fixed points of difunctors shows how to generalise fold and unfold from polynomial datatypes to those involving exponentials. Knowledge of category theory is not required; we use Gofer throughout as our meta-language, making extensive use of constructor classes. 1 Introduction During the 1980s, Bird and Meertens [6, 22] d...	user correction - Legacy Corrections
YEAR	1995	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	324--333	INFERENCE
CITATIONS	37 found	ParsCit 1.0