Feedback Upon Feedback

A. Serrano; J. Hage

Feedback Upon Feedback

A. Serrano, J. Hage

Research output: Contribution to conference › Paper › peer-review

Abstract

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 language	English
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

Conference	16th Symposium on Trends in Functional Programming 2015
Abbreviated title	TFP 2015
Country/Territory	France
Period	3/06/15 → 5/06/15

Cite this

@conference{f772499f205d47f292404a7fcf305ddd,

title = "Feedback Upon Feedback",

abstract = "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.",

author = "A. Serrano and J. Hage",

note = "TFP 2015 ; Conference date: 03-06-2015 Through 05-06-2015; 16th Symposium on Trends in Functional Programming 2015, TFP 2015 ; Conference date: 03-06-2015 Through 05-06-2015",

year = "2015",

language = "English",

}

TY - CONF

T1 - Feedback Upon Feedback

AU - Serrano, A.

AU - Hage, J.

N1 - TFP 2015 ; Conference date: 03-06-2015 Through 05-06-2015

PY - 2015

Y1 - 2015

N2 - 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.

AB - 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.

M3 - Paper

T2 - 16th Symposium on Trends in Functional Programming 2015

Y2 - 3 June 2015 through 5 June 2015

ER -

Feedback Upon Feedback

Abstract

Conference

Fingerprint

Cite this