Curious how this compares to Rust's existing choreographic programming library, ChoRus [1]. Those of you asking for motivation might enjoy the accompanying paper [2], which is really well written. Lindsey Kuper's group has done a ton of great work popularizing choreographic programming as a DSL.

You can get even more power if you integrate choreographic programming directly into the compiler - for an example of that you can see Choral, an extension of Java that I've been contributing to for a few years [3].

[1]: https://github.com/lsd-ucsc/ChoRus [2]: https://arxiv.org/pdf/2311.11472 [3]: https://github.com/choral-lang/choral