Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
Thu 27 Aug 2020 12:00 - 12:30 at Haskell - Paper Session 1 - Software Engineering Chair(s): José Pedro Magalhães

We present Mu, a domain specific language to describe and develop microservices in Haskell. At its core, Mu provides a type level representation of schemas, which we leverage in various ways. These schemas can be automatically imported from industry-standard interface definition languages.

Mu uses many of the type level extensions to GHC, and techniques such as (data type) generic programming and attribute grammars. Apart from the description of the library, we discuss a series of shortcomings in current GHC/Haskell, mostly related to the friendliness of the exposed library interface once complex types enter the scene.

Thu 27 Aug

Displayed time zone: Eastern Time (US & Canada) change

11:30 - 13:00
Paper Session 1 - Software EngineeringHaskell at Haskell
Chair(s): José Pedro Magalhães
11:30
30m
Talk
Assessing the Quality of Evolving Haskell Systems by Measuring Structural Inequality
Haskell
Sander Kamps Open University of the Netherlands, Netherlands, Bastiaan Heeren Open University of the Netherlands, Netherlands, Johan Jeuring Open University of the Netherlands, Netherlands
DOI
12:00
30m
Talk
Describing Microservices using Modern Haskell (Experience Report)
Haskell
Alejandro Serrano 47 Degrees, Spain, Flavio Corpa 47 Degrees, Spain
DOI
12:30
30m
Talk
Towards Secure IoT Programming in Haskell
Haskell
Nachiappan Valliappan Chalmers University of Technology, Sweden, Robert Krook Chalmers University of Technology, Sweden, Alejandro Russo Chalmers University of Technology, Sweden, Koen Claessen Chalmers University of Technology, Sweden
DOI