Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
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 2008 Publication History
  • Get Citation Alerts
  • 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.

    Supplementary Material

    JPG File (1411302.jpg)
    index.html (index.html)
    Slides from the presentation
    Audio only (1411302.mp3)
    Video (1411302.mp4)

    References

    [1]
    Huet, G. The Zipper. Journal of Functional Programming, 7(5):549--554, 1997
    [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.
    [3]
    Allwood, T. Clase library download and screenshots, (Online), 2008, http://www.zonetora.co.uk/NonBlog/toral/lib/.
    [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, 1972
    [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.
    [6]
    Tim Sheard and Simon Peyton Jones. Template metaprogramming for Haskell. In ACM SIGPLAN Haskell Workshop 02. Pages 1--16, 2002. ACM Press.
    [7]
    C. McBride. The derivative of a regular type is its type of one-hole contexts. Unpublished manuscript, 2001.

    Cited By

    View all

    Recommendations

    Comments

    Information & Contributors

    Information

    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
    Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

    Sponsors

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 25 September 2008

    Permissions

    Request permissions for this article.

    Check for updates

    Author Tags

    1. cursor
    2. traversal
    3. zipper

    Qualifiers

    • Research-article

    Conference

    ICFP08
    Sponsor:

    Acceptance Rates

    Haskell '08 Paper Acceptance Rate 13 of 28 submissions, 46%;
    Overall Acceptance Rate 57 of 143 submissions, 40%

    Upcoming Conference

    ICFP '24

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)3
    • Downloads (Last 6 weeks)0
    Reflects downloads up to 10 Aug 2024

    Other Metrics

    Citations

    Cited By

    View all

    View Options

    Get Access

    Login options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Media

    Figures

    Other

    Tables

    Share

    Share

    Share this Publication link

    Share on social media