[rust-dev] Rust and object capabilities?

Patrick Walton pcwalton at mozilla.com
Wed Jul 2 23:10:26 PDT 2014


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



More information about the Rust-dev mailing list