Write a Blog >>
SPLASH 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
Sun 22 Oct 2017 14:37 - 15:00 at Regency A - Session 3 Chair(s): Eric Walkingshaw

Domain specific programming languages bridge the linguistic and conceptual gap between domain languages and implementation languages. One aspect of bridging the gap is to express the domain specific concepts in a language more natural for the domain experts. In recent years, in linguistics, concepts from computer science such as effect operations (e.g. shift/reset and continuations in general) have successfully been used to provide compositional models for natural language semantics. We propose to pick up the old theme of naturalistic DSLs and reevaluate it in the scope of algebraic effects. Building on the insights of linguists, we demonstrate how linguistic features such as anaphora, quantification and implicature can directly be implemented in the Dotty programming language using a library for algebraic effects. As opposed to ad hoc implementation techniques for naturalistic DSLs, systematically using algebraic effects and effectful syntax leads to programs that exactly communicate the usage of linguistic features in their types, offers improved error reporting and better IDE support. We believe that effectful syntax opens up a new interesting perspective on the design and implementation of naturalistic DSLs.

Sun 22 Oct

Displayed time zone: Tijuana, Baja California change

13:30 - 15:00
Session 3DSLDI at Regency A
Chair(s): Eric Walkingshaw Oregon State University
13:30
22m
Talk
MkMod: A Domain Specific Language for developing Linux Kernel Modules
DSLDI
Manasij Mukherjee Chennai Mathematical Institute
File Attached
13:52
22m
Talk
Bacatá: a generic notebook generator for DSLs
DSLDI
Mauricio Verano Merino Technische Universiteit Eindhoven, Jurgen Vinju Centrum Wiskunde & Informatica / Technische Universiteit Eindhoven, Tijs van der Storm Centrum Wiskunde & Informatica / University of Groningen
File Attached
14:15
22m
Talk
Thapl—A Theatrical DSL
DSLDI
Yossi Gil Technion—Israel Institute of Technology, David H. Lorenz Technion—Israel Institute of Technology, Matan I. Peled Technion—Israel Institute of Technology
File Attached
14:37
22m
Talk
Towards Naturalistic EDSLs using Algebraic Effects
DSLDI
Jonathan Immanuel Brachthäuser University of Tübingen, Germany
Link to publication Pre-print Media Attached File Attached
15:30 - 17:00
Session 4DSLDI at Regency A
Chair(s): Lindsey Kuper Intel Labs
15:30
22m
Talk
Property Law as a Programming Language
DSLDI
Shrutarshi Basu Cornell University, James Grimmelmann Cornell Law School, Nate Foster Cornell University
File Attached
15:52
22m
Talk
Embedding By Normalisation
DSLDI
Shayan Najd University of Edinburgh
File Attached
16:15
22m
Talk
Reliable composition of domain-specific language features
DSLDI
Ted Kaminski University of Minnesota, Eric Van Wyk University of Minnesota, USA
File Attached
16:37
22m
Day closing
Discussion and closing remarks
DSLDI