@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)?
-
-
It's a major source of complexity because it enables one to write highly generic code. In many cases, the programmer writes code that is more generic than it needs to be. For me personally, generic abstract code is much harder to understand than concrete non-generic code.
-
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.
- 5 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.