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 <[email protected]> wrote: > [image: Boxbe] <https://www.boxbe.com/overview> Kevin Cantu ( > [email protected]) 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" <[email protected]> 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 >> [email protected] >> https://mail.mozilla.org/listinfo/rust-dev >> >> >
_______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
