News for hackers. Stuff that matters.

A comment on Dada, an Experiement by the Creators of Rust. Parent comment

Re:Dada, an Experiement by the Creators of Rust by dartos on Wednesday March 06, 2024 @10:42AM (#39617106)
The type system was built to describe memory layouts of types to the compiler.

But I don’t think it prevents any more logic bugs than any other type system that requires all branches of match and switch statements to be implemented. (Like elm for example)

[ Parent | on HN ]
Re:Dada, an Experiement by the Creators of Rust by speed_spread on Wednesday March 06, 2024 @11:40AM (#39617738)
It prevents a lot more than that. For example, it prevents data race conditions through Send/Sync traits propagation.
[ Parent | on HN ]