A Structure Editor with Type-Safe Copy/Paste

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

*Kontaktforfatter

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer 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.

OriginalsprogEngelsk
TitelProceedings of the 2022 34th Symposium on Implementation and Application of Functional Languages, IFL 2022
ForlagAssociation for Computing Machinery
Publikationsdato31 aug. 2022
Artikelnummer5
ISBN (Elektronisk)9781450398312
DOI
StatusUdgivet - 31 aug. 2022
Begivenhed34th Symposium on Implementation and Application of Functional Languages, IFL 2022 - Copenhagen, Danmark
Varighed: 31 aug. 20222 sep. 2022

Konference

Konference34th Symposium on Implementation and Application of Functional Languages, IFL 2022
Land/OmrådeDanmark
ByCopenhagen
Periode31/08/202202/09/2022
NavnACM International Conference Proceeding Series

Bibliografisk note

Publisher Copyright:
© 2022 ACM.

Fingeraftryk

Dyk ned i forskningsemnerne om 'A Structure Editor with Type-Safe Copy/Paste'. Sammen danner de et unikt fingeraftryk.

Citationsformater