Choreographic Programming
A programming paradigm in which developers write a global protocol describing how multiple parties collaborate, and the compiler automatically projects and compiles the protocol into local code for each participant.
Timeline (last 90 days)
The core idea of choreographic programming is to write a global protocol describing how all parties collaborate, and then have the compiler automatically project and compile it onto each participant.
Bringing choreographic programming to Rust faces the difficulty that deciding projection correctness remains tricky for advanced features such as broadcast and dynamic role sets, requiring limiting the expressive power of the DSL in exchange for a decidable projection algorithm.
All Facts (2)
The core idea of choreographic programming is to write a global protocol describing how all parties collaborate, and then have the compiler automatically project and compile it onto each participant.
50%UnverifiedBringing choreographic programming to Rust faces the difficulty that deciding projection correctness remains tricky for advanced features such as broadcast and dynamic role sets, requiring limiting the expressive power of the DSL in exchange for a decidable projection algorithm.
50%