News for hackers. Stuff that matters.
Re:Grain: A strongly-typed functional programming language f... by ithkuil on Sunday April 25, 2021 @09:24AM (#26932509)
Rust undefined behavior can only happen within "unsafe" blocks.

You can read more about what things the programmer has to manually avoid while writing code in "unsafe" code blocks: https://doc.rust-lang.org/reference/behavior-considered-unde...

EDIT: this means that if you stick to safe rust, the type system ensures you cannot have data races (among other things)

Re:Grain: A strongly-typed functional programming language f... by Kinrany on Sunday April 25, 2021 @07:39PM (#26937797)
I do mean the unsafe blocks.