[rust-dev] Object Protocols | Structural Typing

Kevin Cantu me at kevincantu.org
Thu Jun 5 21:34:32 PDT 2014


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" <sirinath at sakrio.com> 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
> Rust-dev at mozilla.org
> https://mail.mozilla.org/listinfo/rust-dev
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.mozilla.org/pipermail/rust-dev/attachments/20140605/903899fb/attachment.html>


More information about the Rust-dev mailing list