Speaking of which, for a while now I&#39;ve been interested in designs of make-like systems that have precise &amp; simple (denotational) semantics with pleasant properties. What Peter Landin called &quot;denotative&quot; (as opposed to functional-looking but semantically ill-defined or intractable).<br>

<br>Norman Ramsey (cc&#39;d) pointed me to the <a href="http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.19.8468">Vesta</a> system from DEC SRC. If anyone knows of other related experiments, I&#39;d appreciate hearing.<br>

<br>  - Conal<br><br><div class="gmail_quote">On Thu, Mar 17, 2011 at 1:31 PM, David Peixotto <span dir="ltr">&lt;<a href="mailto:dmp@rice.edu">dmp@rice.edu</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 Serge,<br>
<br>
You may be thinking of the Shake DSL presented by Neil Mitchell at last years Haskell Implementers Workshop. Slides and video are available from: <a href="http://haskell.org/haskellwiki/HaskellImplementorsWorkshop/2010" target="_blank">http://haskell.org/haskellwiki/HaskellImplementorsWorkshop/2010</a><br>


<br>
Max Bolingbroke has an open source implementation available here: <a href="https://github.com/batterseapower/openshake" target="_blank">https://github.com/batterseapower/openshake</a><br>
<br>
Hope that helps.<br>
<font color="#888888"><br>
-David<br>
</font><div><div></div><div class="h5"><br>
On Mar 17, 2011, at 3:00 PM, Serge Le Huitouze wrote:<br>
<br>
&gt; Hi Haskellers!<br>
&gt;<br>
&gt; I think I remember reading a blog post or web page describing a<br>
&gt; EDSL to describe tasks and their dependencies &quot;a la&quot; make.<br>
&gt;<br>
&gt; Can anyone point me to such published material?<br>
&gt;<br>
&gt; Thanks in advance.<br>
&gt;<br>
&gt; --serge<br></div></div></blockquote></div>