[bluejekyll]

This is a point that you constantly bring up in these threads, do you think most developers believe that data race safety should extend beyond the bounds of the process?

One thing that Rust’s type system does allow you to do is define a consistent manner in which to access external systems, even add types that will mimic the same safety. Is it perfect? Will it protect you from a different process working against the DB? Will it enforce things in the other process? No. But will it give you higher level semantics to be able to construct a better model for operating against that external system? Yes.

[pjmlp]

Yes, when they care about data consistency in distributed systems.

Maybe many Rust devs don't care.

[bluejekyll]

So what is your point? You’re changing the goal posts on safety and it’s a pointless reductive argument.

Even if we account for everything, solar storms will eventually flip bits unexpectedly. Does that make Rust’s guarantees worthless?

[pjmlp]

The goal posts stay on the same place. There are ways towards data corruption where Rust's fearsome concurrency is of no help.