BinderAnn: Automated Reification of Source Annotations for Monadic EDSLs
Paper in proceeding, 2020
In this work, we propose a simple technique for enhancing monadic EDSLs expressed using do notation. This technique employs source-to-source plugins, a relatively new feature of GHC, to annotate every do statement of our EDSLs with relevant information extracted from the source code at compile time. We show how these annotations can be incorporated into EDSL designs either directly inside values or as monadic effects. We provide BinderAnn, a GHC source plugin implementing our ideas, and evaluate it by enhancing existing real-world EDSLs with relatively minor modification efforts to contemplate the source-level static information related to variables names and source locations.
Embedded domain-specific languages
Haskell
Author
Claudio Agustin Mista
Chalmers, Computer Science and Engineering (Chalmers), Information Security
Alejandro Russo
Chalmers, Computer Science and Engineering (Chalmers), Information Security
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 12222 LNCS 25-469783030577605 (ISBN)
Kraków, Poland,
Octopi: Säker Programering för Sakernas Internet
Swedish Foundation for Strategic Research (SSF) (RIT17-0023), 2018-03-01 -- 2023-02-28.
WebSec: Securing Web-driven Systems
Swedish Foundation for Strategic Research (SSF) (RIT17-0011), 2018-03-01 -- 2023-02-28.
Areas of Advance
Information and Communication Technology
Subject Categories
Language Technology (Computational Linguistics)
Specific Languages
Computer Science
DOI
10.1007/978-3-030-57761-2_2
ISBN
9783030577605