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
