undefined | Better HN

0 pointswongarsu2y ago0 comments

Rust's type system prevents bugs far beyond mere memory bugs. I would even go as far as claiming that the type system (together with the way the standard library and ecosystem use it) prevents at least as many logic bugs as memory bugs.

0 comments

kaba02y ago

Besides preventing data races (but not other kinds of race conditions), it is not at all unique. Haskell, OCaml, Scala, F# all have similarly strong type systems.

dartos2y ago

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)

speed_spread2y ago

It prevents a lot more than that. For example, it prevents data race conditions through Send/Sync traits propagation.

j / k navigate · click thread line to collapse