<html>
<head>
<meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
On 29.08.2014 05:40, Xiao Jia wrote:<br>
<blockquote
cite="mid:CAO0g3iHnXCGu3jNogucO=Wi49rd7gg8kKE+VPBjOP_wJ53iMYA@mail.gmail.com"
type="cite">On Fri, Aug 29, 2014 at 6:10 AM, Richard A. O'Keefe <span
dir="ltr"><<a moz-do-not-send="true"
href="mailto:ok@cs.otago.ac.nz" target="_blank">ok@cs.otago.ac.nz</a>></span>
wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0
.8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class=""><br>
</div>
The trick is to extend the type system to send and receive.<br>
This seems like the weakest aspect of Dialyzer: I cannot<br>
say "X is a process id for a process that expects<br>
messages of type Y".<br>
</blockquote>
<div><br>
</div>
<div>This reminds me of session types. But I have to read (and
dig) more about session types since I have no experience with
them.</div>
</blockquote>
<br>
I'd love to see IMAPv4rev1 session type.<br>
<br>
It is extremely difficult to verify protocol adherence statically.<br>
<br>
UBF by Joe Armstrong checks things at runtime, but it's something
you can actually use.<br>
<a class="moz-txt-link-freetext" href="https://www.sics.se/~joe/ubf/site/home.html">https://www.sics.se/~joe/ubf/site/home.html</a><br>
<br>
-- <br>
Wojtek<br>
</body>
</html>