~/talk

Klor: Choreographies for the Working Clojurian

Talkat CP 2024 · on Monday, 2024-06-24· [clojure]
links:none on file
links:none on file
slides:none on file

Klor is a Clojure EDSL for choreographies developed in about six to seven months that performs compile-time projection via a defchor macro which expands into per-role JVM functions, avoiding a custom tool chain. It runs a lightweight, location-based type checker during macro expansion, supports agreement types (double-arrow) plus primitive copy and narrow, provides choreographic tuples and forced-agree checks, and ships a runtime with play-role API and a local simulator using Java 21 virtual threads. The demo and simulator execute the projected roles end to end.

AI-written summary · about

  1. 0:00Klor introduction
  2. 1:03Clojure and choreographies
  3. 3:33Clojure crash course
  4. 5:17Compile-time macros
  5. 7:03Choreography syntax
  6. 8:06Communication types
  7. 11:20Homogeneous code
  8. 13:29Multiple returns
  9. 15:15Forced agreement example
  10. 16:44Execution and projection
  11. 18:06Authentication example
  12. 19:32Q&A
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.