Feedback Upon Feedback

A. Serrano Mena; J. Hage

Feedback Upon Feedback

A. Serrano Mena, J. Hage

Research output: Contribution to conference › Paper › Other research output

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	Unpublished - 2015
Event	TFP 2015 - Sophia-Antipolis, France Duration: 3 Jun 2015 → 5 Jun 2015

Conference

Conference	TFP 2015
Country/Territory	France
City	Sophia-Antipolis
Period	3/06/15 → 5/06/15

Cite this

@conference{142292e4fb174906be30a9ad66b8e181,

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 = "{Serrano Mena}, A. and J. Hage",

year = "2015",

language = "English",

note = "TFP 2015 ; Conference date: 03-06-2015 Through 05-06-2015",

}

TY - CONF

T1 - Feedback Upon Feedback

AU - Serrano Mena, A.

AU - Hage, J.

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 - TFP 2015

Y2 - 3 June 2015 through 5 June 2015

ER -

Feedback Upon Feedback

Abstract

Conference

Fingerprint

Cite this