Hacker News new | ask | show | jobs
by ReflectedImage 1214 days ago
Rust imposes a lot more constraints than just what is needed to make it safe. It imposes constraints to make it provably safe according to Rust's internal theorem prover.

I'm not convinced Rust & C++ have as much in common as you think. Rust is really familar to OCaml or Haskell users.

1 comments

Rust is literally C++’s RAII made into a compiler-checked concept.