@burntsushi5 https://www.reddit.com/r/rust/comments/b5bpbb/drew_devault_rust_is_not_a_good_c_replacement/ejchrx1/ … Hi, I found your comment after looking up the author of a recent certain blog post.
What is zero-overhead polymorphism and why is it a major source of complexity in Rust (and why does it make unsafe harder)?
-
-
Rust's core value proposition is that it provides stronger guarantees of memory safety because you can write most code in its safe subset. i.e., without using "unsafe." This is only possible because many safe generic abstractions have been built that use "unsafe" internally.
-
If you remove the ability to write generic code, then you also remove the ability to create easily reusable safe abstractions. This would in turn very likely increase the use of "unsafe" in Rust code, which would, to an extent, diminish its value proposition.
- 4 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.