ICFP 2020 (series) / Haskell 2020 (series) / Haskell 2020 /
Describing Microservices using Modern Haskell (Experience Report)
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 Times are displayed in time zone: Eastern Time (US & Canada) change
Thu 27 Aug
Times are displayed in 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 - 12:00 Talk | Assessing the Quality of Evolving Haskell Systems by Measuring Structural Inequality Haskell Sander KampsOpen University of the Netherlands, Netherlands, Bastiaan HeerenOpen University of the Netherlands, Netherlands, Johan JeuringOpen University of the Netherlands, Netherlands DOI | ||
12:00 - 12:30 Talk | Describing Microservices using Modern Haskell (Experience Report) Haskell DOI | ||
12:30 - 13:00 Talk | Towards Secure IoT Programming in Haskell Haskell Nachiappan ValliappanChalmers University of Technology, Sweden, Robert KrookChalmers University of Technology, Sweden, Alejandro RussoChalmers University of Technology, Sweden, Koen ClaessenChalmers University of Technology, Sweden DOI |