<div dir="ltr"><div class="gmail_quote"><br><br><div dir="ltr"><div class="gmail_quote"><div class="Ih2E3d">On Thu, Oct 9, 2008 at 9:40 AM, roger peppe <span dir="ltr"><<a href="mailto:rogpeppe@gmail.com" target="_blank">rogpeppe@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
I was wondering if it was possible to implement synchronous channels<br>
within STM. In particular, I'd like to have CSP-like send and recv primitives<br>
on a channel that each block until the other side arrives to complete<br>
the transaction.</blockquote><div><br></div></div><div>I did experiment with the actors model (in theory a superset of CSP I believe) in haskell at one stage. Hopefully it will be of some use/interest to you.</div><div><br>
</div>
<div><a href="http://lstephen.wordpress.com/2007/09/08/the-actors-model-and-haskell/" target="_blank">http://lstephen.wordpress.com/2007/09/08/the-actors-model-and-haskell/</a></div><div><br></div><div>Levi</div><div> </div>
</div></div>
</div><br></div>