<br><br><div class="gmail_quote">On Tue, Jul 27, 2010 at 5:27 AM, Stefan Schmidt <span dir="ltr">&lt;<a href="mailto:stefanschmidt42@googlemail.com">stefanschmidt42@googlemail.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
Hi Yves,<br><div class="gmail_quote"><div> </div><blockquote class="gmail_quote" style="margin:0pt 0pt 0pt 0.8ex;border-left:1px solid rgb(204, 204, 204);padding-left:1ex">You say that &quot;With the help of this library it is possible to build Erlang-Style mailboxes&quot;, but how would you solve the issue of static typing?<br>

</blockquote><div><br>this wasn&#39;t an issue for me because I wanted as much type checking as possible. In many implementations, you have an implicit contract between the sender and the receiver process. In this case, the contract is explicit and the compiler can tell me if I&#39;m trying to send or receive &quot;wrong&quot; data.<br>

 </div></div></blockquote><div><br></div><div>I&#39;ve found that I like Erlang&#39;s pattern matching for sorting through different kinds of data payloads, but that I prefer to use typed data channels per Limbo, Go, Plan 9&#39;s thread and messaging libraries etc.  I&#39;ve often wanted an Erlang with static typing to get this capability.</div>
<div><br></div><div><br></div></div>