高效、便携、人口普查多态编排编程

  • 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.
阅读 10
0 条评论