[rust-dev] Object Protocols | Structural Typing

Suminda Dharmasena sirinath at sakrio.com
Thu Jun 5 22:13:39 PDT 2014


Link to literature: http://www.cs.cmu.edu/~aldrich/plaid/

BTW, Gradual typing, dependent typing, type state (as in Plaid) will be a
cool addition and really harp for this.

--
Suminda Sirinath Salpitikorala Dharmasena, B.Sc. Comp. & I.S. (Hon.) Lond.,
P.G.Dip. Ind. Maths. J'Pura, MIEEE, MACM, CEO Sakrīō! ▣ *Address*: 6G • 1st
Lane • Pagoda Road • Nugegoda 10250 • Sri Lanka. ▣ *Mobile*
: +94-(0)711007945 ▣ *Office*: +94-(0) 11 2 199766 ▣ *Home Office*: +94-(0)
11-5 875614 ▣ *Home*: +94-(0)11-5 864614 / 2 825908 ▣ *Web*:
http://www.sakrio.com ▣

This email is subjected to the email Terms of Use and Disclaimer:
http://www.sakrio.com/email-legal. Please read this first.
--


On 6 June 2014 10:04, Kevin Cantu <me at kevincantu.org> wrote:

>  [image: Boxbe] <https://www.boxbe.com/overview> Kevin Cantu (
> me at kevincantu.org) is not on your Guest List
> <https://www.boxbe.com/approved-list?tc_serial=17501577002&tc_rand=1586370152&utm_source=stf&utm_medium=email&utm_campaign=ANNO_MWTP&utm_content=001&token=TeOWWAJuGcJphKHj87m8jVOu3UyX2BjSJaSnRtUsehOg3rEEInECZdRDPb1W6Hrc&key=kMTpiGIqsv9QvEWpO7vQmWJ6%2F8uYzB9CN4VGBKeHXek%3D>
> | Approve sender
> <https://www.boxbe.com/anno?tc_serial=17501577002&tc_rand=1586370152&utm_source=stf&utm_medium=email&utm_campaign=ANNO_MWTP&utm_content=001&token=TeOWWAJuGcJphKHj87m8jVOu3UyX2BjSJaSnRtUsehOg3rEEInECZdRDPb1W6Hrc&key=kMTpiGIqsv9QvEWpO7vQmWJ6%2F8uYzB9CN4VGBKeHXek%3D>
> | Approve domain
> <https://www.boxbe.com/anno?tc_serial=17501577002&tc_rand=1586370152&utm_source=stf&utm_medium=email&utm_campaign=ANNO_MWTP&utm_content=001&dom&token=TeOWWAJuGcJphKHj87m8jVOu3UyX2BjSJaSnRtUsehOg3rEEInECZdRDPb1W6Hrc&key=kMTpiGIqsv9QvEWpO7vQmWJ6%2F8uYzB9CN4VGBKeHXek%3D>
>
> 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/20140606/b3d903ab/attachment.html>


More information about the Rust-dev mailing list