<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">I've always liked the semantics of Unity - they seem the right sort of thing to construct such a system on - they also permit concepts such as partial completion and recovery from failure. Used to use this as one of the concurrency models I taught - see <a href="http://www.amazon.com/Parallel-Program-Design-Mani-Chandy/dp/0201058669">http://www.amazon.com/Parallel-Program-Design-Mani-Chandy/dp/0201058669</a>. <div><br></div><div>It is one of those friday afternoon thoughts about constructing distributed, fault tolerant systems that have formal semantics, can have a rich set of pre/post conditions so that 'average joe' could write script-lets in it and it could take over the monitoring and (normal) fault management of some of our distributed systems.<br><div><div><div><br></div><div><br><div><div>On 18 Mar 2011, at 04:43, Conal Elliott wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite">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> _______________________________________________<br>Haskell-Cafe mailing list<br><a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>http://www.haskell.org/mailman/listinfo/haskell-cafe<br></blockquote></div><br></div></div></div></div></body></html>