>I've found that I like Erlang'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's thread and messaging libraries etc. 
 I&#39;ve often wanted an Erlang with static typing to get this capability.<br><br>Actually you are right. And it is not much of a chore to write:<br>data MyMessages = Something XXX | SomethingElse YYY ZZZ | Stop | ...<br>
given that it ensures your message-passing is correct at compile time.<br><br>It gives you an Actor type like:<br>data Actor msgIn msgOut<br>Where msgIn is the type of received messages (Erlang&#39;s &#39;receive&#39;) and msgOut the type of sent messages (Erlang&#39;s &#39;!&#39;).<br>
<br><br><div class="gmail_quote">2010/7/27 David Leimbach <span dir="ltr">&lt;<a href="mailto:leimy2k@gmail.com">leimy2k@gmail.com</a>&gt;</span><br><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
<br><br><div class="gmail_quote"><div class="im">On Tue, Jul 27, 2010 at 5:27 AM, Stefan Schmidt <span dir="ltr">&lt;<a href="mailto:stefanschmidt42@googlemail.com" target="_blank">stefanschmidt42@googlemail.com</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); 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><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>
</blockquote></div><br>