WG211/M24Kuper: Difference between revisions
Created page with "Choreographic programming (CP) is an emerging paradigm for programming distributed applications that run on multiple nodes. In CP, the programmer writes one program, called a..." |
m Jeremy-y moved page WG21//M24Kuper to WG211/M24Kuper |
(No difference)
| |
Latest revision as of 21:23, 21 November 2024
Choreographic programming (CP) is an emerging paradigm for programming distributed applications that run on multiple nodes. In CP, the programmer writes one program, called a choreography, that is then transformed to individual programs for each node via a compilation step called endpoint projection (EPP). While CP languages have existed for over a decade now, library-level CP -- in which choreographies are expressed as programs in an existing host language, and choreographic language constructs and EPP are provided entirely by a host-language library -- is still in its infancy.
In this talk, we'll assess the current state of the art of library-level CP. We'll discuss which elements of CP are especially tricky to pull off at the library level, mull over some possible implementation approaches, and consider what features a host language ought to have to be CP-library-friendly.
