alt Hacker NewsChoreographic Programming in Rust
Comments
I would really like the README to be revised in human English. Claudish makes my brain averse to absorbing the information.
This seems to be a popular idea recently. After reading this paper[1] I ended up building this into my actor based language[2]. It makes a lot of sense in actor based concurrency, I'd be curious to know what rust devs think of this since it's a bit different from how they often do concurrency.
If one of the humans involved shows up here, I have a few questions:
How are you doing endpoint projection?
What is your KoC strategy?
What existing research systems (Choral, MultiChor, Chorex, etc.) did you take as inspiration?
What benefits does your system have over ChorRus?
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
I hope that eventually choreographic programming is baked into language runtimes to the point that it feels like manually placing certain data on certain parts of RAM/cache. It's one of those ideas that's great, but manual implementations always seem like a mess.
The problem with Claudish and this README is that the whole thing is vapid text adding up to nothing in particular. When AI takes over a project like this it really has no goal.
> Repeated regions add no iteration field to endpoint types, descriptor rows
So what? Is this a goal or an admission? Is this something you implemented or what was done before?
multiparty session types are relevant to this: https://dl.acm.org/doi/10.1007/978-3-030-50029-0_8
Hibana now has the capability to build QUIC/HTTP3 in the manner of Hibana Choreography. Check it out here: https://github.com/hibanaworks/hibana-quic
Yes, but what does any of this mean?
[flagged]
[flagged]
Do you need to do an interpretive dance ?
I really wish our culture to explain the applicability of the things we invent would be way way waaaay stronger.
Abstractions should be earned.
Not because executing them is expensive but because understanding them is.