It’s amazing how people will jump on any Rust bug to claim it’s unsafe and you might as well just use C++, but C++’s lifetime checker—which is broken by design—means that C++ is finally safe and we can stop worrying.
-
-
Logically, you can't consider the intent of Rust when considering the "brokenness" of C++. Calling the C++ lifetime checker broken is deliberately misusing the word. Haskell is not broken because the type system is unsound, because Haskell does not promise a sound type system.
-
unsoundness in the Rust checker is due to bugs. unsoundness in the C++ checker is by design.
- 2 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.