this post was submitted on 16 Feb 2025
310 points (94.3% liked)

Technology

63009 readers
3364 users here now

This is a most excellent place for technology news and articles.


Our Rules


  1. Follow the lemmy.world rules.
  2. Only tech related content.
  3. Be excellent to each other!
  4. Mod approved content bots can post up to 10 articles per day.
  5. Threads asking for personal tech support may be deleted.
  6. Politics threads may be removed.
  7. No memes allowed as posts, OK to post as comments.
  8. Only approved bots from the list below, to ask if your bot can be added please contact us.
  9. Check for duplicates before posting, duplicates may be removed
  10. Accounts 7 days and younger will have their posts automatically removed.

Approved Bots


founded 2 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
[–] [email protected] 4 points 4 days ago* (last edited 4 days ago) (3 children)

I had the impression Rust doesn't handle concurrency particularly well, at least no better than Python, which does it badly (i.e. with colored functions). Golang, Erlang/Elixir, and GHC (Haskell) are way better in that regard, though they each have their own unrelated issues. I had believed for a while that Purescript targeting the Erlang VM and with all the JS tooling extirpated might be the answer, but that was just a pipe dream and I don't know if it was really workable.

[–] [email protected] 21 points 4 days ago (1 children)

Rust makes multi threading very easy you can just use

thread::spawn();

But rust makes Async difficult because it's naturally stackless so you need to create your own scheduler or use someone else's like Tokio. Also, people have a bad habit of conflating async with concurrency which makes it more confusing.

[–] [email protected] 5 points 4 days ago (3 children)

Sure you can spawn threads but now you have all the hazards of shared memory and locks, giving the 2.0 version of aliasing errors and use-after-free bugs. Also, those are POSIX threads, which are quite heavyweight compared to the in-process multitasking of Golang etc. So I would say that's not really an answer.

[–] [email protected] 1 points 3 days ago

What exactly are the hazards of shared memory and locks? The ownership system and the borrow checker do a pretty good job at enforcing correct usage, and if you are clever you can even guarantee no deadlocks (talk at rustconf 2024 about the fuchsia network stack).

[–] Zykino 1 points 3 days ago

They are OS threads (so yes heavy).

But I think if you manage to use-after-free or other memory error in safe Rust it's a compiler bug. Or you used unsafe and have a soundness issue in the code you did.

Note : as I understand it, unsafe is a way to tell the compiler you can check its safety guarantees yourself. But you may fail and get back other languages inexistent guarantees.

[–] artificialfish 3 points 4 days ago

Go routines are certainly special and hard to match, but rust has all the normal abstractions of a language like C, just with a borrow checker so you can avoid memory leaks, write after read, etc.

[–] jimmux 5 points 4 days ago (1 children)

Purescript targeting the Erlang VM

Have you tried Gleam?

[–] [email protected] 3 points 4 days ago

No I haven't, I'll take a look at it, though I felt suspicious of "task.async" as shown on the front page of gleam.run.

[–] artificialfish 4 points 4 days ago (1 children)

I don't know but I don't think rust has that problem. In fact I've always thought its data ownership paradigm is literally the most optimal approach to concurrency and parallelism. I really love using rayon in rust for instance.

[–] [email protected] 1 points 4 days ago (1 children)

True, but of course it's always a trade-off. At a certain point I have to defer to your judgment, at least until I've written some Rust code. But I've written a fair amount of C++ and a little bit of Ada and don't find them all that convenient compared to Python or Haskell or whatever. We'll see. ;)

[–] artificialfish 1 points 4 days ago

IME a language is as good as its package manager and libraries, and cargo is great.