Build, Augment and Destroy, Universally
- Cite this paper as:
- Ghani N., Uustalu T., Vene V. (2004) Build, Augment and Destroy, Universally. In: Chin WN. (eds) Programming Languages and Systems. APLAS 2004. Lecture Notes in Computer Science, vol 3302. Springer, Berlin, Heidelberg
We give a semantic footing to the fold/build syntax of programming with inductive types, covering shortcut deforestation, based on a universal property. Specifically, we give a semantics for inductive types based on limits of algebra structure forgetting functors and show that it is equivalent to the usual initial algebra semantics. We also give a similar semantic account of the augment generalization of build and of the unfold/destroy syntax of coinductive types.
Unable to display preview. Download preview PDF.