Clase: cursor library for a structured editor

Authors:
Tristan O.R. Allwood;Susan Eisenbach
Affiliations:
Imperial College, London, United Kingdom;Imperial College, London, United Kingdom
Venue:
Proceedings of the first ACM SIGPLAN symposium on Haskell
Year:
2008

Citing 4
Cited 1

Template meta-programming for Haskell

Proceedings of the 2002 ACM SIGPLAN workshop on Haskell
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

Scrap your zippers: a generic zipper for heterogeneous types

Proceedings of the 6th ACM SIGPLAN workshop on Generic programming

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 (1) only scratches the surface of some of the potential applications of the zipper. In this work we have taken inspiration from Huet, and built a library suitable as an underpinning for a structured editor for programming languages. 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 in the whole.