2026-07-25T03:13:35Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:11957 2024-03-06T10:30:49Z ddc:004 open_access

Type-Directed Program Transformations for the Working Functional Programmer Lubin, Justin Chugh, Ravi program transformations structured editing refactoring code formatting We present preliminary research on Deuce+, a set of tools integrating plain text editing with structural manipulation that brings the power of expressive and extensible type-directed program transformations to everyday, working programmers without a background in computer science or mathematical theory. Deuce+ comprises three components: (i) a novel set of type-directed program transformations, (ii) support for syntax constraints for specifying "code style sheets" as a means of flexibly ensuring the consistency of both the concrete and abstract syntax of the output of program transformations, and (iii) a domain-specific language for specifying program transformations that can operate at a high level on the abstract (and/or concrete) syntax tree of a program and interface with syntax constraints to expose end-user options and alleviate tedious and potentially mutually inconsistent style choices. Currently, Deuce+ is in the design phase of development, and discovering the right usability choices for the system is of the highest priority. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Justin Lubin and Ravi Chugh 2020 Is Part Of OASIcs, Volume 76, 10th Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU 2019) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/OASIcs.PLATEAU.2019.3 urn:nbn:de:0030-drops-119579 https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.PLATEAU.2019.3 eng https://creativecommons.org/licenses/by/3.0/legalcode