Structured concurrency solutions

[cl4cnam]

Just to feed the thought about the article of Francisco Sant'Anna, here are
some of what I feel to contain (at least partial) "structured concurrency" solutions (classified by base language or target language):

• C: Céu (by Francisco Sant'Anna), Esterel (by Gérard Berry), libdill (by Martin Sustrik), Reactive C (by Frédéric Boussinot), Reactive Scripts (by Frédéric Boussinot), SL (by Frédéric Boussinot)
• C++: Senders
• C#: StructuredConcurrency (by Stephen Cleary)
• Crystal: nested_scheduler (by Linus Sellberg)
• Dart: structured_async (by Renato Athaydes)
• Go: conc (by Camden Cheek), Flowmatic (by Carlana), nursery
• Haskell: Control.Concurrent.Async (by Simon Marlow), ki (by Mitchell Rosen)
• Hylo: Hylo 2024-01-08
• Java or JVM: Icobjs (by Frédéric Boussinot), jcsp (by Paul Austin), JDK 20, Jox (by Adam Warski), Rejo (by Raul Acosta-Bermejo), SugarCubes (by Jean-Ferdy Susini)
• JavaScript: FuncSug (that's mine), nursery (by Gil Tayar), QED (by Martin Savage), StratifiedJs, SugarCubesJS (by Jean-Ferdy Susini)
• Julia: Julio (by Takafumi Arakaki)
• Kotlin: Céu (by Francisco Sant'Anna), kotlinx.coroutines (by Roman Elizarov)
• Lua: Atmos (by Francisco Sant'Anna)
• ML: Reactive ML (by Louis Mandel)
• OCaml: Pendulum (by Rémy El Sibaïe Besognet)
• Python: AnyIO (by Alex Grönholm), Curio (by David Beazley), Python (starting from Python 3.11), quattro (by Tin Tvrtković), Trio (by Nathaniel J. Smith), trio-util (by John Belmonte)
• Ruby: Polyphony (by Sharon Rosner)
• Rust: async_nursery (by Naja Melan)
• Scala: Ox (by Adam Warski)
• Swift: Swift 5.5, Venice (by Paulo Faria)
• TypeScript: effection

Note:

• These are only about the quadrant C of his diagram.
• I've included imperative synchronous languages into these.

Without any guarantee. Don't hesitate to fix me!

[Brian-M-J]

There are also C++'s and Hylo's senders and receivers. I don't know which quadrant they would fall into though.

[cl4cnam]

Thank you very much for your contribution. :)

Yes, I think you're right. So, I include your two examples.

Can you tell me from which version Hylo includes structured concurrency?

[Brian-M-J]

Can you tell me from which version Hylo includes structured concurrency?

Hylo is still in a very early stage; I couldn't find any version numbers on their GitHub. All I could find was this pull request to add concurrency support to Hylo.

[cl4cnam]

Ok, thanks. 🙂

[Brian-M-J]

There are also tons of libraries and frameworks for the actor model (implemented by Erlang) and process calculi:

• CAF
• Apache Pekko
• Actix
• the stlab concurrency library
• crimson-rust
• CSPLib
• Orleans
• Pony

And in FRP:

• Rx
• reactive_rs

Naming all the concurrency solutions in existence right now seems too daunting. There's been a ton of work in this area.

[cl4cnam]

I think you're very right 🙂 but I don't want to name all concurrency solutions, only structured ones. 😉

[Brian-M-J]

I'd say that unstructured concurrency libraries don't solve concurrency in any way whatsoever.