A Better REST with Type level Programming in Scala

on YouTube ↗58m

" summary

Library called Maya (Scala and Scala.js) embeds a type-level DSL so API shape, arguments, local errors and multiplicities live in the Scala type system; a single generic serve function is parameterized by an API type and compiles requests into matching responses. Implementation uses Scala type-level functions, implicit resolution and shapeless-style tricks, produces a working prototype that compiles (IntelliJ has limitations) and mirrors Haskell Servant ideas though it is not yet feature-complete.

AI-written summary · about

" chapters (21)

1. 0:00Introduction
2. 1:16What is Maya
3. 3:08The Two Ideas
4. 6:15Overview
5. 7:25Why should anyone care
6. 11:30API Contract
7. 15:20Maya
8. 17:38GraphQL
9. 20:00Infinite Data
10. 22:46Finite Data
11. 27:10Extensions
12. 30:21Local Errors
13. 32:01Multiplicities
14. 35:33Rich Language
15. 36:47Person Requests
16. 40:35Atomic Context
17. 43:36Request
18. 46:00Person Request
19. 50:23dsltype
20. 52:52Type level functions
21. 54:46Defining a type

" related talks

• 49mType level Programming in ScalaMatt Bovel · ScalaCon 2022
• 51mHands-on Typelevel ScalaGeorge Leontiev · Scala World 2015
• 45mTypelevel Programming 101: The Subspace of ScalaJoe Barnes · Scala World 2015
• 01h 01mTypesafe Scala, Typelevel Scala – What’s Going On, Anyway?Brendan McAdams, Erik Osheim, Jamie Allen, Michael Pilquist, Brian M Clapper · Philly ETE 2015
• 32mUnderstanding the Type System of Scala 3Bill Venners · Scala Love in the City 2021
• 38mScalaJS and Typescript: an unlikely romanceJeremy Hughes · Scala Days Lausanne 2019
• 41mThe Dialectics of Type-Level ProgrammingAaron Levin · Lambda World 2016
• 24mLet the Scala compiler work for youAdelbert Chang · Typelevel Summit NYC 2017