<div dir="ltr">Hi,
<div><br></div><div>It is possible to support object protocols. Some cases are:</div><div><ul><li>Developer want to pass an object to untrusted library. In such a case restrict functions that can be called on the object</li>
<ul><li>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.</li>
</ul><li>Structural typing can achieve the above on a less restrictive way</li><li>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</li>
</ul><div>Suminda</div></div></div>