<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>