Feedback Upon Feedback

A. Serrano, J. Hage

Research output: Contribution to conferencePaperpeer-review


Embedded domain specific languages (DSLs) are common within the functional programming community. They show many advantages, but fall short in the communication of errors back to the DSL user. Indeed, when a ill-typed term is found, the error message usually leaks DSL implementation details. In this paper we describe the facilities of a system in which the DSL writer can influence how a type engines performs its duty and reports the found errors. We pinpoint at some of the design decisions and open problems, with the aim of getting feedback from the FP community.
Original languageEnglish
Publication statusPublished - 2015
Event16th Symposium on Trends in Functional Programming 2015 - Inria Sophia Antipolis, France
Duration: 3 Jun 20155 Jun 2015


Conference16th Symposium on Trends in Functional Programming 2015
Abbreviated titleTFP 2015


Dive into the research topics of 'Feedback Upon Feedback'. Together they form a unique fingerprint.

Cite this