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).
Norman Ramsey (cc'd) pointed me to the Vesta<http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.19.8468>system from DEC SRC. If anyone knows of other related experiments, I'd appreciate hearing. - Conal On Thu, Mar 17, 2011 at 1:31 PM, David Peixotto <d...@rice.edu> wrote: > Hi Serge, > > You may be thinking of the Shake DSL presented by Neil Mitchell at last > years Haskell Implementers Workshop. Slides and video are available from: > http://haskell.org/haskellwiki/HaskellImplementorsWorkshop/2010 > > Max Bolingbroke has an open source implementation available here: > https://github.com/batterseapower/openshake > > Hope that helps. > > -David > > On Mar 17, 2011, at 3:00 PM, Serge Le Huitouze wrote: > > > Hi Haskellers! > > > > I think I remember reading a blog post or web page describing a > > EDSL to describe tasks and their dependencies "a la" make. > > > > Can anyone point me to such published material? > > > > Thanks in advance. > > > > --serge >
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe