Describing microservices using modern Haskell (experience report)

Alejandro Serrano; Flavio Corpa

doi:10.1145/3406088.3409018

Describing microservices using modern Haskell (experience report)

Alejandro Serrano
, Flavio Corpa

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Abstract

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.

Original language	English
Title of host publication	Haskell 2020: Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell
Editors	Tom Schrijvers
Place of Publication	New York
Publisher	Association for Computing Machinery
Pages	1-8
Number of pages	8
ISBN (Electronic)	9781450380508
DOIs	https://doi.org/10.1145/3406088.3409018
Publication status	Published - 27 Aug 2020
Event	13th ACM SIGPLAN International Symposium on Haskell, Haskell 2020, co-located with ICFP 2020 - Virtual, Online, United States Duration: 27 Aug 2020 → …

Conference

Conference	13th ACM SIGPLAN International Symposium on Haskell, Haskell 2020, co-located with ICFP 2020
Country/Territory	United States
City	Virtual, Online
Period	27/08/20 → …

Keywords

Haskell
microservices
type classes
type level programming

Access to Document

10.1145/3406088.3409018

Cite this

@inproceedings{f2545ed30d974ac093a3347a02c36766,

title = "Describing microservices using modern Haskell (experience report)",

abstract = "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.",

keywords = "Haskell, microservices, type classes, type level programming",

author = "Alejandro Serrano and Flavio Corpa",

year = "2020",

month = aug,

day = "27",

doi = "10.1145/3406088.3409018",

language = "English",

pages = "1--8",

editor = "Tom Schrijvers",

booktitle = "Haskell 2020: Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell",

publisher = "Association for Computing Machinery",

note = "13th ACM SIGPLAN International Symposium on Haskell, Haskell 2020, co-located with ICFP 2020 ; Conference date: 27-08-2020",

}

Serrano, A & Corpa, F 2020, Describing microservices using modern Haskell (experience report). in T Schrijvers (ed.), Haskell 2020: Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell. Association for Computing Machinery, New York, pp. 1-8, 13th ACM SIGPLAN International Symposium on Haskell, Haskell 2020, co-located with ICFP 2020, Virtual, Online, United States, 27/08/20. https://doi.org/10.1145/3406088.3409018

Describing microservices using modern Haskell (experience report). / Serrano, Alejandro; Corpa, Flavio.
Haskell 2020: Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell. ed. / Tom Schrijvers. New York: Association for Computing Machinery, 2020. p. 1-8.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Describing microservices using modern Haskell (experience report)

AU - Serrano, Alejandro

AU - Corpa, Flavio

PY - 2020/8/27

Y1 - 2020/8/27

N2 - 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.

AB - 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.

KW - Haskell

KW - microservices

KW - type classes

KW - type level programming

UR - https://www.scopus.com/pages/publications/85091984454

U2 - 10.1145/3406088.3409018

DO - 10.1145/3406088.3409018

M3 - Conference contribution

AN - SCOPUS:85091984454

SP - 1

EP - 8

BT - Haskell 2020: Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell

A2 - Schrijvers, Tom

PB - Association for Computing Machinery

CY - New York

T2 - 13th ACM SIGPLAN International Symposium on Haskell, Haskell 2020, co-located with ICFP 2020

Y2 - 27 August 2020

ER -

Describing microservices using modern Haskell (experience report)

Abstract

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this