- Abstract: Choreographic programming (CP) uses a single global program for distributed systems. Library-level CP like HasChor integrates with mainstream languages but has limitations like requiring extra communication for conditionals, specific host-language features (e.g., monads), and lacking support for essential programming patterns.
- Three contributions: Propose enclaves and multiply-located values for efficient conditionals without redundant communication; propose end-point projection as dependency injection for CP in host languages without monad support; propose census polymorphism for abstracting over the number of participants in a choreography. Demonstrated via implementations in Haskell, Rust, and TypeScript.
- Submission details: Submitted to PLDI25. Subjects: Programming Languages (cs.PL). Cite as [arXiv:2412.02107] [cs.PL] (or [arXiv:2412.02107v1] [cs.PL] for this version). [https://doi.org/10.48550/arXi...] via DataCite. Submission history shows from Mako Bates on Tue, 3 Dec 2024 03:00:52 UTC with 154 KB.
**粗体** _斜体_ [链接](http://example.com) `代码` - 列表 > 引用
。你还可以使用@
来通知其他用户。