I really don't know Plaid, and am no expert, but I'd want to implement that with messages to an agent of some sort, rather than by trying to fit gradual typing into Rust.
Is somebody here more familiar with the literature? Kevin On Jun 5, 2014 2:00 AM, "Suminda Dharmasena" <[email protected]> wrote: > Hi, > > It is possible to support object protocols. Some cases are: > > - Developer want to pass an object to untrusted library. In such a > case restrict functions that can be called on the object > - Once the restriction is applied there should be not way to evoke > the un exposed functions in the normal course of programming including > unsafe code which are written in Rust. If it is passed to another > language > then this need not apply. > - Structural typing can achieve the above on a less restrictive way > - You want certain functions called in certain order, be able to > enforce this. This can be achieved if you have Plaid Language style type > state with gradual typing > > Suminda > > _______________________________________________ > Rust-dev mailing list > [email protected] > https://mail.mozilla.org/listinfo/rust-dev > >
_______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
