On 7/2/14 11:09 PM, Rob Meijer wrote:
I've been trying to read up on Rust a little bit, and things look really amazing. Given the focus on 'safety' and the strong link between safety and integrity related issues, I was intrigued by the following question: how far would Rust be removed from possibly becoming an object capability language, and has making Rust an object-capability language, or defining an ocap secure Rust subset (like Joe-e jor Java) been considered?
I'm told by ocap folks that it'll likely to be similar to the various ocap work on MLs.
Patrick _______________________________________________ Rust-dev mailing list Rust-dev@mozilla.org https://mail.mozilla.org/listinfo/rust-dev