[rust-dev] Object Protocols | Structural Typing

Suminda Dharmasena sirinath at sakrio.com
Thu Jun 5 02:00:02 PDT 2014


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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.mozilla.org/pipermail/rust-dev/attachments/20140605/7eb2c9eb/attachment.html>

More information about the Rust-dev mailing list