• 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.