ChorCaml: Functional Choreographic Programming in OCaml

on YouTube ↗19m

" summary

Claims a first practical OCaml choreographic DSL that compiles unified choreographies into per-role code via endpoint projection, implemented as an interpreted embedded DSL using the Freer monad and a TCP backend with LWT. Shows concrete examples: a buyer–seller book protocol and a three‑phase commit, with runtime location UIDs and located values, successful end‑to‑end TCP execution, and a local interpreter for debugging. Notes no live upgrade or versioning support: all participants must be recompiled from the same source.

AI-written summary · about

" chapters (10)

1. 0:00Introduction to ChorCaml
2. 1:25Choreography in distributed systems
3. 3:10Book seller protocol
4. 5:06Endpoint projection
5. 6:28Core Caml design
6. 9:38Choreographic primitives
7. 13:31Book seller in Core Caml
8. 15:39Local and TCP execution
9. 16:43Three-phase commit
10. 17:57Q&A

" related talks

• 36mKlor: Choreographic Programming in ClojureSung-Shik Jongmans, Lovro Lugović · Heart of Clojure 2024
• 30mHasChor: Functional Choreographic Programming for AllLindsey Kuper, Shun Kashiwa, Gan Shen · ICFP 2023
• 20mEfficient, Portable, Census-Polymorphic Choreographic ProgrammingLindsey Kuper, Joseph P. Near, Shun Kashiwa, Gan Shen, Syed Usman Jafri, Mako P. Bates · PLDI 2025
• 20mChoral: Object-Oriented Choreographic ProgrammingFabrizio Montesi, Saverio Giallorenzo, Marco Peressotti · PLDI 2024
• 22mTowards Lightweight and Efficient Choreographic Cloud ServicesAlejandro Russo, Alex Ionescu · PEPM 2026
• 25mRelax! The Semilenient Core of Choreographic Programming (Functional Pearl)Xueying Qin, Dan Plyukhin, Fabrizio Montesi · ICFP 2025
• 20mPirouette: Higher-Order Typed Functional ChoreographiesAndrew K. Hirsch, Deepak Garg · POPL 2022
• 11mChoreographic Quick Changes: First-Class Location (Set) PolymorphismAshley Samuelson, Andrew K. Hirsch, Ethan Cecchetti · OOPSLA 2025