←back to thread

Concurrency in Haskell: Fast, Simple, Correct

(bitbashing.io)
193 points ingve | 2 comments | 14 Apr 25 10:47 UTC | HN request time: 0s | source
Show context
ilrwbwrkhv ◴[17 Apr 25 03:21 UTC] No.43712785[source]▶
Rust has a bunch of these while being maintainable.
replies(4): >>43713075 #>>43714151 #>>43714332 #>>43724210 #
mrkeen ◴[17 Apr 25 07:52 UTC] No.43714151[source]▶
STM is Haskell's feature for safe shared&mutable state.

What is Rust's feature for safe shared&mutable state?

replies(2): >>43715359 #>>43715749 #
1. speed_spread ◴[17 Apr 25 11:41 UTC] No.43715359[source]▶
That would be Arc<Mutex<T>>, which works but is no STM.
replies(1): >>43715788 #
2. Philpax ◴[17 Apr 25 12:25 UTC] No.43715788[source]▶
Additionally, the actor model is pretty easy to implement: https://ryhl.io/blog/actors-with-tokio/