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
Vestahttp://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.19.8468system
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
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