A Structure Editor with Type-Safe Copy/Paste

Hans Hüttel; Anja Elisasen Lumholtz Nielsen; Nana Gjerulf Sandberg; Christoffer Lind Andersen; Peter Mikkelsen

doi:10.1145/3587216.3587221

A Structure Editor with Type-Safe Copy/Paste

Hans Hüttel^*, Anja Elisasen Lumholtz Nielsen, Nana Gjerulf Sandberg, Christoffer Lind Andersen, Peter Mikkelsen

^*Corresponding author for this work

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

Abstract

The editor calculus of Godiksen et al [2] describes the edit primitives of a syntax-directed editor for functional programs in a simply typed lambda calculus. However, a main shortcoming is that only top-down programming is allowed, meaning that we can only construct the AST from the root. This makes it difficult to refactor previously written code without having to potentially delete and re-insert large parts of a program. The present paper modifies the calculus to not only handle programs with Hindley-Milner-style let polymorphism but also to incorporate a notion of copy/paste functionality. We present an extended semantics and a type system of the new system and prove that it remains sound: Well-typed editor expressions will always produce a well-typed program.

Original language	English
Title of host publication	Proceedings of the 2022 34th Symposium on Implementation and Application of Functional Languages, IFL 2022
Publisher	Association for Computing Machinery
Publication date	31 Aug 2022
Article number	5
ISBN (Electronic)	9781450398312
DOIs	https://doi.org/10.1145/3587216.3587221
Publication status	Published - 31 Aug 2022
Event	34th Symposium on Implementation and Application of Functional Languages, IFL 2022 - Copenhagen, Denmark Duration: 31 Aug 2022 → 2 Sept 2022

Conference

Conference	34th Symposium on Implementation and Application of Functional Languages, IFL 2022
Country/Territory	Denmark
City	Copenhagen
Period	31/08/2022 → 02/09/2022

Series	ACM International Conference Proceeding Series

Bibliographical note

Publisher Copyright:
© 2022 ACM.

Keywords

copy
lambda calculus
paste
polymorphism
Structure editors
type systems

Access to Document

10.1145/3587216.3587221

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

@inproceedings{d2662ee8b5914bff8e35a095592f9125,

title = "A Structure Editor with Type-Safe Copy/Paste",

abstract = "The editor calculus of Godiksen et al [2] describes the edit primitives of a syntax-directed editor for functional programs in a simply typed lambda calculus. However, a main shortcoming is that only top-down programming is allowed, meaning that we can only construct the AST from the root. This makes it difficult to refactor previously written code without having to potentially delete and re-insert large parts of a program. The present paper modifies the calculus to not only handle programs with Hindley-Milner-style let polymorphism but also to incorporate a notion of copy/paste functionality. We present an extended semantics and a type system of the new system and prove that it remains sound: Well-typed editor expressions will always produce a well-typed program.",

keywords = "copy, lambda calculus, paste, polymorphism, Structure editors, type systems",

author = "Hans H{\"u}ttel and Nielsen, {Anja Elisasen Lumholtz} and Sandberg, {Nana Gjerulf} and Andersen, {Christoffer Lind} and Peter Mikkelsen",

note = "Publisher Copyright: {\textcopyright} 2022 ACM.; 34th Symposium on Implementation and Application of Functional Languages, IFL 2022 ; Conference date: 31-08-2022 Through 02-09-2022",

year = "2022",

month = aug,

day = "31",

doi = "10.1145/3587216.3587221",

language = "English",

series = "ACM International Conference Proceeding Series",

booktitle = "Proceedings of the 2022 34th Symposium on Implementation and Application of Functional Languages, IFL 2022",

publisher = "Association for Computing Machinery",

address = "United States",

}

Hüttel, H, Nielsen, AEL, Sandberg, NG, Andersen, CL & Mikkelsen, P 2022, A Structure Editor with Type-Safe Copy/Paste. in Proceedings of the 2022 34th Symposium on Implementation and Application of Functional Languages, IFL 2022., 5, Association for Computing Machinery, ACM International Conference Proceeding Series, 34th Symposium on Implementation and Application of Functional Languages, IFL 2022, Copenhagen, Denmark, 31/08/2022. https://doi.org/10.1145/3587216.3587221

A Structure Editor with Type-Safe Copy/Paste. / Hüttel, Hans; Nielsen, Anja Elisasen Lumholtz; Sandberg, Nana Gjerulf et al.
Proceedings of the 2022 34th Symposium on Implementation and Application of Functional Languages, IFL 2022. Association for Computing Machinery, 2022. 5 (ACM International Conference Proceeding Series).

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

TY - GEN

T1 - A Structure Editor with Type-Safe Copy/Paste

AU - Hüttel, Hans

AU - Nielsen, Anja Elisasen Lumholtz

AU - Sandberg, Nana Gjerulf

AU - Andersen, Christoffer Lind

AU - Mikkelsen, Peter

PY - 2022/8/31

Y1 - 2022/8/31

N2 - The editor calculus of Godiksen et al [2] describes the edit primitives of a syntax-directed editor for functional programs in a simply typed lambda calculus. However, a main shortcoming is that only top-down programming is allowed, meaning that we can only construct the AST from the root. This makes it difficult to refactor previously written code without having to potentially delete and re-insert large parts of a program. The present paper modifies the calculus to not only handle programs with Hindley-Milner-style let polymorphism but also to incorporate a notion of copy/paste functionality. We present an extended semantics and a type system of the new system and prove that it remains sound: Well-typed editor expressions will always produce a well-typed program.

AB - The editor calculus of Godiksen et al [2] describes the edit primitives of a syntax-directed editor for functional programs in a simply typed lambda calculus. However, a main shortcoming is that only top-down programming is allowed, meaning that we can only construct the AST from the root. This makes it difficult to refactor previously written code without having to potentially delete and re-insert large parts of a program. The present paper modifies the calculus to not only handle programs with Hindley-Milner-style let polymorphism but also to incorporate a notion of copy/paste functionality. We present an extended semantics and a type system of the new system and prove that it remains sound: Well-typed editor expressions will always produce a well-typed program.

KW - copy

KW - lambda calculus

KW - paste

KW - polymorphism

KW - Structure editors

KW - type systems

UR - http://www.scopus.com/inward/record.url?scp=85163470653&partnerID=8YFLogxK

U2 - 10.1145/3587216.3587221

DO - 10.1145/3587216.3587221

M3 - Article in proceeding

AN - SCOPUS:85163470653

T3 - ACM International Conference Proceeding Series

BT - Proceedings of the 2022 34th Symposium on Implementation and Application of Functional Languages, IFL 2022

PB - Association for Computing Machinery

T2 - 34th Symposium on Implementation and Application of Functional Languages, IFL 2022

Y2 - 31 August 2022 through 2 September 2022

ER -

A Structure Editor with Type-Safe Copy/Paste

Abstract

Conference

Bibliographical note

Keywords

Access to Document

AUB Link

Other files and links

Fingerprint

Cite this