Describing Microservices using Modern Haskell (Experience Report)

on YouTube ↗23m

" summary

Mu (new-haskell) is a Haskell DSL that generates type-level schemas from industry IDLs like Protocol Buffers and Avro, targets gRPC and GraphQL transports, and uses Template Haskell, generic programming and attribute grammars to produce compile-time-checked message and service types. It successfully runs real RPC servers and clients, but reveals practical pain points: ergonomic holes around type applications/proxies, brittle GADT-style APIs that produce inscrutable errors, and the lack of local abstraction for type-class-based compile-time computation, which forces duplication and fragile instance ordering.

AI-written summary · about

" chapters (5)

1. 0:00Introduction
2. 7:17Type applications and proxies
3. 13:44Type classes
4. 19:19Undefined types
5. 21:04Summary

" related talks

• 46mPainless software development with HaskellPawel Szulc · Lambda World Cádiz 2019
• 38mMicroservices in Go using MicroBrian Ketelsen · Codemotion Milan 2017
• 21mProduction Haskell DemystifiedJoe Kachmar · Scale By The Bay 2018
• 27mSimplifying Building and Managing Microservices with MicroAsim Aslam · Golang UK 2016
• 38mMonolith vs. MicroservicesRafa Paradela · Scala Days 2023 Seattle
• 24mExecuting Microservice Applications on Serverless, CorrectlyKonstantinos Kallas, Rajeev Alur, Haoran Zhang, Sebastian Angel, Vincent Liu · POPL 2023
• 38mMicroservices, a bittersweet symphonySebastian Sogamoso · RailsConf 2015
• 23mMicroservices – Sean SmithSean Smith · Microservices Day NY 2015