3 ms·

Could the concept of "ownership" be optimized for somehow in hardware?

• half-kh-hacker 8y ago
  I'm not a Rust expert, but I think ownership and borrowing go away after compile-time.
  • steveklabnik 8y ago
    That’s correct.
  • aswanson 8y ago
    Of course, but what pre-compile architectural decisions could be made to accommodate such a higher level construct?
    • incog-neato 8y ago
      The point of the borrow checker is that it's run at compile time rather than runtime. Putting something similar into the architecture necessarily implies a runtime check, which is similar to the idea of a smart pointer, which exists in Rust as well as other languages.