Contract First, Session Types Later!

on YouTube ↗24m

" summary

Claim: REST APIs can carry resource state machines but session types don’t map cleanly yet. Implementation uses Play-Swagger and a custom extension that extended Swagger with resource state machines and a Scala library using typeclass CPS session types in Scala to encode in/out/stop as duals. The compiler rejects invalid state transitions and misaligned sends, giving compile-time enforcement of state transitions, but choice/branching cannot be encoded, so full session-type safety for hypermedia remains unsolved.

AI-written summary · about

" chapters (6)

1. 0:00Introduction
2. 2:54Single Source of Truth
3. 4:29Stateless Communication
4. 12:00Session Types
5. 13:17State Analyzer
6. 21:21Questions

" related talks

• 49mBeautiful APIs with Scala, Scalatra, Swagger, and AkkaBrendan McAdams · Scala.IO 2014
• 43mAPI first with Swagger and ScalaSlava Shmidt · JavaDay Kharkiv 2015
• 58mA Better REST with Type level Programming in ScalaJoseph Abrahamson · LambdaConf 2017
• 40mScala Meta Live Coding SessionPathikrit Bhowmick · Scale By the Bay 2017
• 20mIndex your State for Safer Functional APIsVincent Marquez · Scale By the Bay 2017
• 36mScale By The Bay 2018 Unconference: Devon StewartDevon Stewart · Scale By The Bay 2018
• 51mREST beyond the obvious – API design for ever evolving systemsOliver Gierke · Spring I/O 2018
• 38mScalaJS and Typescript: an unlikely romanceJeremy Hughes · Scala Days Lausanne 2019