A couple of things have been said here (by David?) that suggest I may not be understanding Rust's unique/owned pointers correctly, so a couple of questions:
1. Am I correct that these are two names for the same thing? I have the impression that they changed the name from unique to owned at some point. 2. Are unique/owned pointers handled with linear types, or are they implemented dynamically, similar to C++0x unique_ptr? I had assumed, from the manual and the blog entries, that unique pointers were handled by types. Based on some of the things people are saying here, I'm no longer convinced that understanding is correct. Can someone straighten me out? Jonathan
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
