> Are the ownership/borrowing mechanics interesting programming tools, or are they a hindrance?
Like any sort of static analysis, some see them as a tool, some see them as a hindrance ;)
> also come with essentially any GC'ed language.
Ownership and borrowing can extend to arbitrary resources, not just memory.
Also, C and D aren't correct; while Rust helps with memory leaks, it absolutely does not prevent them, and Rust prevents _data races_, a specific form of race condition, but cannot prevent race conditions generally.
Like any sort of static analysis, some see them as a tool, some see them as a hindrance ;)
> also come with essentially any GC'ed language.
Ownership and borrowing can extend to arbitrary resources, not just memory.
Also, C and D aren't correct; while Rust helps with memory leaks, it absolutely does not prevent them, and Rust prevents _data races_, a specific form of race condition, but cannot prevent race conditions generally.