No, I don&#39;t think so.<div><br></div><div>I think these:</div><div><a href="http://csg.csail.mit.edu/pubs/haskell.html">http://csg.csail.mit.edu/pubs/haskell.html</a></div><div><a href="http://csg.csail.mit.edu/projects/languages/ph.shtml">http://csg.csail.mit.edu/projects/languages/ph.shtml</a></div>
<div><br></div><div>What a cool research group, combines two of my research interests as well :)</div><div><br></div><div>Best,<br><br><div class="gmail_quote">On Fri, Jan 7, 2011 at 10:29 PM,  <span dir="ltr">&lt;<a href="mailto:orbitz@ezabel.com">orbitz@ezabel.com</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">I believe you are thinking of &#39;Timber&#39;?<div><div></div><div class="h5"><br>
<br>
<br>
On Jan 7, 2011, at 3:22 PM, Eray Ozkural wrote:<br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
On Fri, Jan 7, 2011 at 6:38 PM, David Rajchenbach-Teller &lt;<a href="mailto:David.Teller@univ-orleans.fr" target="_blank">David.Teller@univ-orleans.fr</a>&gt; wrote:<br>
Correct me if I&#39;m wrong, but I wouldn&#39;t classify Erlang as &quot;pure&quot;: sending and receiving messages -- which are two of the most important primitives in Erlang -- are definitely side-effects.<br>
Also, asynchronous error-checking, Mnesia, etc. look quite impure to me.<br>
<br>
I also vaguely remember Simon Peyton-Jones declaring something along the lines of &quot;The next Haskell will be strict&quot;.<br>
<br>
<br>
There was a strict compiler for Haskell, whatever happened to it? Most times I found it cumbersome to deal with the performance effects of default laziness.<br>
<br>
Best,<br>
<br>
-- <br>
Eray Ozkural, PhD candidate.  Comp. Sci. Dept., Bilkent University, Ankara<br>
<a href="http://groups.yahoo.com/group/ai-philosophy" target="_blank">http://groups.yahoo.com/group/ai-philosophy</a><br>
<a href="http://myspace.com/arizanesil" target="_blank">http://myspace.com/arizanesil</a> <a href="http://myspace.com/malfunct" target="_blank">http://myspace.com/malfunct</a><br>
<br>
</blockquote>
<br>
</div></div></blockquote></div><br><br clear="all"><br>-- <br>Eray Ozkural, PhD candidate.  Comp. Sci. Dept., Bilkent University, Ankara<br><a href="http://groups.yahoo.com/group/ai-philosophy">http://groups.yahoo.com/group/ai-philosophy</a><br>
<a href="http://myspace.com/arizanesil">http://myspace.com/arizanesil</a> <a href="http://myspace.com/malfunct">http://myspace.com/malfunct</a><br><br>
</div>