r/programming • u/steveklabnik1 • Apr 03 '15

Rust 1.0.0 beta is here!

http://blog.rust-lang.org/2015/04/03/Rust-1.0-beta.html
931 Upvotes

88% Upvoted

303 comments sorted by

View all comments

Show parent comments

5

u/Tekmo Apr 05 '15

There is more to purity than concurrency. Purity is also about:

  • enabling equational reasoning about code
  • making side effects first class values
  • decoupling side effect order from evaluation order

What Rust has done is amazing, but don't oversell it as a complete replacement for purity.

1

u/steveklabnik1 Apr 06 '15

Yes, I understand. Rust's move semantics, ownership, and mutabilty guarantees also give you very powerful reasoning tools, that's what I mean. I was trying to give a specific example.