Saint: an API-generic type-safe interpreter
Paper i proceeding, 2018

Many programs written in the functional programming language Haskell take advantage of its advanced type system. Haskell's type system is very expressive and allows us to write interesting programs without sacrificing type safety. Haskell programs that expose its API to an open world, however, are faced with the problem of dynamic type checking. Existing techniques that address this problem, such as Typeable and Dynamic, are often closed and difficult to extend. We have constructed an extensible library for describing APIs using annotated type representations. As a result, API calls can be interpreted in a type-safe manner without any extra programming effort. In addition, the user has full control over the universe of allowed types, which helps to catch any misconceptions in an early stage. We have applied our technique to connect a real-world DSL (GRACe) to a JavaScript GUI.

Lambda-calculus

Domain-specific language

Interpreter

Författare

Maximilian Algehed

Chalmers, Data- och informationsteknik, Funktionell programmering

Patrik Jansson

Chalmers, Data- och informationsteknik, Funktionell programmering

Sólrún Einarsdóttir

Chalmers, Data- och informationsteknik, Funktionell programmering

Alex Gerdes

Chalmers, Data- och informationsteknik, Funktionell programmering

Lecture Notes in Computer Science

0302-9743 (ISSN)

Vol. TODO TODO

Trends in Functional Programming (TFP'18)
Göteborg, Sweden,

Centre of excellence for Global Systems Science (CoeGSS)

Europeiska kommissionen (Horisont 2020), 2015-10-01 -- 2018-09-30.

Verktyg för snabb analys av globala system med hjälp av språk för funktionell och villkors-programmering

Europeiska kommissionen (Horisont 2020), 2015-02-01 -- 2018-01-31.

Styrkeområden

Informations- och kommunikationsteknik

Ämneskategorier

Programvaruteknik

Datavetenskap (datalogi)

Mer information

Skapat

2018-12-22