Flavio Corpa and Alejandro Serrano presented their paper at the Haskell Symposium 2020.

Describing Microservices using Modern Haskell

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.

If you found this talk interesting, consider joining us for a 47 Degrees Academy course. We have a variety of topics on Haskell and other Functional Programming languages.

View all Haskell courses

Interested in more content like this? Subscribe to the 47 Degrees YouTube channel to be notified when new videos are added.

Ensure the success of your project

47 Degrees can work with you to help manage the risks of technology evolution, develop a team of top-tier engaged developers, improve productivity, lower maintenance cost, increase hardware utilization, and improve product quality; all while using the best technologies.