undefined | Better HN

0 pointsmaxbond2y ago0 comments

Rust comes to mind.

0 comments

How would Rust solve this problem?

maxbondOP2y ago

All I meant was that it "proves semantic invariants in multi-threaded code," which proves the concept.

kaba02y ago

No data races is just a very tiny subset of semantic invariants, though.

I assumed what the poster above meant was that Rust can take care of more than just data races. Specifically Rust can solve the ABA problem somehow?

j / k navigate · click thread line to collapse

How would Rust solve this problem?

maxbondOP2y ago

All I meant was that it "proves semantic invariants in multi-threaded code," which proves the concept.

kaba02y ago

No data races is just a very tiny subset of semantic invariants, though.

I assumed what the poster above meant was that Rust can take care of more than just data races. Specifically Rust can solve the ABA problem somehow?

j / k navigate · click thread line to collapse