+1 -- the reagents model is interesting and it would be good to see a Haskell implementation.<div><br></div><div><br><div class="gmail_quote">On Thu, Apr 5, 2012 at 3:05 PM, Ben Gamari <span dir="ltr">&lt;<a href="mailto:bgamari.foss@gmail.com">bgamari.foss@gmail.com</a>&gt;</span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">Ben &lt;<a href="mailto:midfield@gmail.com">midfield@gmail.com</a>&gt; writes:<br>
<br>
&gt; perhaps it is too late to suggest things for GSOC --<br>
&gt;<br>
&gt; but stephen tetley on a different thread pointed at aaron turon&#39;s<br>
&gt; work, which there&#39;s a very interesting new concurrency framework he<br>
&gt; calls &quot;reagents&quot; which seems to give the best of all worlds : it is<br>
&gt; declarative and compositional like STM, but gives performance akin to<br>
&gt; hand-coded lock-free data structures.  he seems to have straddled the<br>
&gt; duality of isolation vs message-passing nicely, and can subsume things<br>
&gt; like actors and the join calculus.<br>
&gt;<br>
&gt; <a href="http://www.ccs.neu.edu/home/turon/reagents.pdf" target="_blank">http://www.ccs.neu.edu/home/turon/reagents.pdf</a><br>
&gt;<br>
&gt; he has a BSD licensed library in scala at<br>
&gt;<br>
&gt; <a href="https://github.com/aturon/ChemistrySet" target="_blank">https://github.com/aturon/ChemistrySet</a><br>
&gt;<br>
&gt; if someone doesn&#39;t want to pick this up for GSOC i might have a hand<br>
&gt; at implementing it myself.<br>
&gt;<br>
</div>Keep use in the loop if you do. I have a very nice application that has<br>
been needing a nicer approach to concurrency than IORefs but<br>
really can&#39;t afford STM.<br>
<br>
Cheers,<br>
<br>
- Ben<br>
<div class="HOEnZb"><div class="h5"><br>
<br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
</div></div></blockquote></div><br></div>