Speaking of which, for a while now I've been interested in designs of make-like systems that have precise & simple (denotational) semantics with pleasant properties. What Peter Landin called "denotative" (as opposed to functional-looking but semantically ill-defined or intractable).<br>
<br>Norman Ramsey (cc'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'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"><<a href="mailto:dmp@rice.edu">dmp@rice.edu</a>></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>
> Hi Haskellers!<br>
><br>
> I think I remember reading a blog post or web page describing a<br>
> EDSL to describe tasks and their dependencies "a la" make.<br>
><br>
> Can anyone point me to such published material?<br>
><br>
> Thanks in advance.<br>
><br>
> --serge<br></div></div></blockquote></div>