<div dir="ltr"><span style="font-family:arial,sans-serif;font-size:13px">Link to literature: </span><a href="http://www.cs.cmu.edu/~aldrich/plaid/" target="_blank" style="font-family:arial,sans-serif;font-size:13px">http://www.cs.cmu.edu/~aldrich/plaid/</a><div style="font-family:arial,sans-serif;font-size:13px">
<br></div><div style="font-family:arial,sans-serif;font-size:13px">BTW, Gradual typing, dependent typing, type state (as in Plaid) will be a cool addition and really harp for this.</div></div><div class="gmail_extra"><br clear="all">
<div><div dir="ltr"><div><span style="font-family:'arial narrow',sans-serif">--</span></div><span style="font-family:'arial narrow',sans-serif">Suminda Sirinath Salpitikorala Dharmasena</span><span style="font-family:'arial narrow',sans-serif">, B.Sc. Comp. & I.S. (Hon.) Lond., P.G.Dip. Ind. Maths. J'Pura, MIEEE, MACM</span><span style="font-family:'arial narrow',sans-serif">, CEO </span><span style="font-family:'comic sans ms',sans-serif">Sakrīō!</span><span style="font-family:'arial narrow',sans-serif"> </span><span style="font-family:'arial narrow',sans-serif">▣ </span><b style="font-family:'arial narrow',sans-serif"><i>Address</i></b><span style="font-family:'arial narrow',sans-serif">: 6G • 1st Lane • Pagoda Road • Nugegoda 10250 • Sri Lanka. </span><span style="font-family:'arial narrow',sans-serif">▣ </span><b style="font-family:'arial narrow',sans-serif"><i>Mobile</i></b><span style="font-family:'arial narrow',sans-serif">: +94-(0)711007945</span><span style="font-family:'arial narrow',sans-serif"> </span><span style="font-family:'arial narrow',sans-serif">▣ <b><i>Office</i></b></span><span style="font-family:'arial narrow',sans-serif">: +94-(0) 11 2 199766 </span><span style="font-family:'arial narrow',sans-serif">▣ <b><i>Home Office</i></b></span><span style="font-family:'arial narrow',sans-serif">: +94-(0)</span><span style="font-family:'arial narrow',sans-serif">11-</span><span style="font-family:'arial narrow',sans-serif">5 875614</span><span style="font-family:'arial narrow',sans-serif"> </span><span style="font-family:'arial narrow',sans-serif">▣ </span><b style="font-family:'arial narrow',sans-serif"><i>Home</i></b><span style="font-family:'arial narrow',sans-serif">: +94-(0)11-5 864614 / 2 825908 ▣ <b><i>Web</i></b>: <a href="http://www.sakrio.com" target="_blank">http://www.sakrio.com</a> </span><span style="font-family:'arial narrow',sans-serif">▣</span><div dir="ltr">
<br><div><font face="arial narrow, sans-serif">This email is subjected to the email Terms of Use and Disclaimer: <a href="http://www.sakrio.com/email-legal" target="_blank">http://www.sakrio.com/email-legal</a>. Please read this first.</font></div>
<div><font face="arial narrow, sans-serif">--</font></div></div></div></div>
<br><br><div class="gmail_quote">On 6 June 2014 10:04, Kevin Cantu <span dir="ltr"><<a href="mailto:me@kevincantu.org" target="_blank">me@kevincantu.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

<div style="font-size:12px;color:#777;font-family:'Lucida Grande',Helvetica,Arial,sans-serif;background-color:#fff;padding:4px">
<a href="https://www.boxbe.com/overview" style="text-decoration:none;color:#5e96ea" target="_blank"><img alt="Boxbe" src="http://www.boxbe.com/images/logo_dark_small.png" width="64px" style="margin-left:0px;border:none"></a>

<img src="http://www.boxbe.com/stfopen?tc_serial=17501577002&tc_rand=1586370152&utm_source=stf&utm_medium=email&utm_campaign=ANNO_MWTP&utm_content=001">

  Kevin Cantu (<a href="mailto:me@kevincantu.org" target="_blank">me@kevincantu.org</a>) is not on <a style="text-decoration:none;color:#5e96ea" href="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" target="_blank">your Guest List</a>


    | <a style="text-decoration:none;color:#5e96ea" href="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" target="_blank">Approve sender</a>
    | <a style="text-decoration:none;color:#5e96ea" href="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" target="_blank">Approve domain</a>
<br>

</div>
<br><p dir="ltr">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.</p>
<p dir="ltr">Is somebody here more familiar with the literature?<br></p>
<p dir="ltr">Kevin</p>
<div class="gmail_quote">On Jun 5, 2014 2:00 AM, "Suminda Dharmasena" <<a href="mailto:sirinath@sakrio.com" target="_blank">sirinath@sakrio.com</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

<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>
<br>_______________________________________________<br>
Rust-dev mailing list<br>
<a href="mailto:Rust-dev@mozilla.org" target="_blank">Rust-dev@mozilla.org</a><br>
<a href="https://mail.mozilla.org/listinfo/rust-dev" target="_blank">https://mail.mozilla.org/listinfo/rust-dev</a><br>
<br></blockquote></div>
<br></blockquote></div><br></div>