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.
|Publication status||Published - 2015|
|Event||16th Symposium on Trends in Functional Programming 2015 - Inria Sophia Antipolis, France|
Duration: 3 Jun 2015 → 5 Jun 2015
|Conference||16th Symposium on Trends in Functional Programming 2015|
|Abbreviated title||TFP 2015|
|Period||3/06/15 → 5/06/15|