|
|
|
|
|
by wdpk
1884 days ago
|
|
the problem I see with the author's very narrow point of view is that Rust, C++ or C are just tools which can all be misused and produce defects when used improperly or without a good understanding. Rust borrow checker can be implemented in a C++ compiler on a subset of the language which is ironically also what rust does, unsafe parts of Rust well are still unsafe... Already C++ compilers and static analyzers (thank you llvm) got surprisingly good at detecting memory unsafe issues (the author's string_view dangling reference for instance). To really solve a broader class of issues (including logical issues), in 2021, I am frankly way more excited by languages with advanced type systems (for instance Idris) than by Rust. |
|