skip to main content
10.1145/1411286.1411302acmconferencesArticle/Chapter ViewAbstractPublication PagesicfpConference Proceedingsconference-collections
research-article

Clase: cursor library for a structured editor

Published:25 September 2008Publication History

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.

Skip Supplemental Material Section

Supplemental Material

Video

References

  1. Huet, G. The Zipper. Journal of Functional Programming, 7(5):549--554, 1997 Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. Sulzmann, M. and Chakravarty, M. M. T. and Jones, S. P. and Donnelly, K. System F with Type Equality Coercions, in The Third ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI'07), January 2007. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. Allwood, T. Clase library download and screenshots, (Online), 2008, http://www.zonetora.co.uk/NonBlog/toral/lib/.Google ScholarGoogle Scholar
  4. de Bruijn, N. G. Lambda calculus notation with nameless dummies. a tool for automatic formula manipulation with application to the Church-Rosser Theorem, in Indagationes Mathematicae (34) 381--392, 1972Google ScholarGoogle Scholar
  5. Manuel M. T. Chakravarty, Gabriele Keller, Simon Peyton Jones, and Simon Marlow. Associated types with class. In POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages, pages 1--13, 2005. ACM Press. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. Tim Sheard and Simon Peyton Jones. Template metaprogramming for Haskell. In ACM SIGPLAN Haskell Workshop 02. Pages 1--16, 2002. ACM Press. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. C. McBride. The derivative of a regular type is its type of one-hole contexts. Unpublished manuscript, 2001.Google ScholarGoogle Scholar

Index Terms

  1. Clase: cursor library for a structured editor

              Recommendations

              Comments

              Login options

              Check if you have access through your login credentials or your institution to get full access on this article.

              Sign in
              • Published in

                cover image ACM Conferences
                Haskell '08: Proceedings of the first ACM SIGPLAN symposium on Haskell
                September 2008
                134 pages
                ISBN:9781605580647
                DOI:10.1145/1411286
                • Program Chair:
                • Andy Gill
                • cover image ACM SIGPLAN Notices
                  ACM SIGPLAN Notices  Volume 44, Issue 2
                  HASKELL '08
                  February 2009
                  126 pages
                  ISSN:0362-1340
                  EISSN:1558-1160
                  DOI:10.1145/1543134
                  Issue’s Table of Contents

                Copyright © 2008 ACM

                Publisher

                Association for Computing Machinery

                New York, NY, United States

                Publication History

                • Published: 25 September 2008

                Permissions

                Request permissions about this article.

                Request Permissions

                Check for updates

                Qualifiers

                • research-article

                Acceptance Rates

                Haskell '08 Paper Acceptance Rate13of28submissions,46%Overall Acceptance Rate57of143submissions,40%

                Upcoming Conference

                ICFP '23

              PDF Format

              View or Download as a PDF file.

              PDF

              eReader

              View online with eReader.

              eReader
              About Cookies On This Site

              We use cookies to ensure that we give you the best experience on our website.

              Learn more

              Got it!