Strengthening the Zipper

Authors:
Tristan O. R. Allwood;Susan Eisenbach
Affiliations:
Department of Computing, Imperial College, London, United Kingdom;Department of Computing, Imperial College, London, United Kingdom
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2010

Citing 4
Cited 0

Weaving a web

Journal of Functional Programming
The Zipper

Journal of Functional Programming
Associated types with class

Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
System F with type equality coercions

TLDI '07 Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation

Quantified Score

Hi-index	0.00

Visualization

Abstract

The zipper is a well known design pattern for providing a cursor-like interface to a data structure. However, the classic treatise by Huet only scratches the surface of some of its potential applications. In this paper we take inspiration from Huet, and describe a library suitable as an underpinning for structured editors. We consider a zipper structure that is suitable for traversing heterogeneous data types, encoding routes to other places in the tree (for bookmark or quick-jump functionality), expressing lexically bound information using contexts, and traversals for rendering a program indicating where the cursor is currently focused.