DSL for task dependencies

Serge Le Huitouze

17 Mar 2011 17 Mar '11

4 p.m.

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

Show replies by date

David Peixotto

17 Mar 17 Mar

4:31 p.m.

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

Conal Elliott

18 Mar 18 Mar

12:43 a.m.

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 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

Neil Davies

5:18 a.m.

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 http://www.amazon.com/Parallel-Program-Design-Mani-Chandy/dp/0201058669 . 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. On 18 Mar 2011, at 04:43, Conal Elliott wrote:

...

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 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 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

Brandon S Allbery KF8NH

23 Mar 23 Mar

7:46 p.m.

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On 3/18/11 00:43 , Conal Elliott wrote:

...

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.

Back in the late 1980s there were several attempts at this kind of thing; the ones that stick in my mind are Shape[1] and Cake[2]. Their declarative/denotative abilities were primitive at best, but they helped shape further development and I find these papers often cited in later research. [1] http://citeseer.ist.psu.edu/viewdoc/download;jsessionid=30B4EC21BAD13166AFBEBB20246221B8?doi=10.1.1.55.6969&rep=rep1&type=pdf (http://tinyurl.com/4l79vg4) [2] http://www.cs.mu.oz.au/~zs/papers/cake.ps.gz - -- brandon s. allbery [linux,solaris,freebsd,perl] allbery.b@gmail.com system administrator [openafs,heimdal,too many hats] kf8nh -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (Darwin) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iEYEARECAAYFAk2Khm0ACgkQIn7hlCsL25X+lgCeP4U8lUcVOvLKQQVcmbAhLT11 dvMAoIabif8gGlsLKnvg0e3ZKqgVpPVn =ApVq -----END PGP SIGNATURE-----

oliver mueller

31 Mar 31 Mar

7:44 a.m.

thanks for pointing out the openshake implementation. when i remember correctly neil mitchell mentioned s.th. at the haskell implementors workshop about making shake available sometimes later. it's a bit sad to see that shake is completely off the table since it really looked good. after all...a nice make like system has been pretty successful in other programming languages as well (e.g. rake in ruby which is awesome). maybe openshake can fill in here...anyone knows if it is already in a usable state? - oliver On Mar 17, 10:31 pm, David Peixotto 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-C...@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

_______________________________________________ Haskell-Cafe mailing list Haskell-C...@haskell.orghttp://www.haskell.org/mailman/listinfo/haskell-cafe

Max Bolingbroke

9:21 a.m.

On 31 March 2011 12:44, oliver mueller wrote:

...

it's a bit sad to see that shake is completely off the table since it really looked good.

I think Neil has had trouble getting permission to release the code, which is why I wrote openshake.

...

maybe openshake can fill in here...anyone knows if it is already in a usable state?

It is usable (I use it for building the data files that represent my finances) but there is 1 serious known bug I have yet to fix that causes too little to be rebuilt, and there is absolutely no documentation. I will fix both of these issues at *some* point... Max

S. Doaitse Swierstra

7 Apr 7 Apr

3:54 p.m.

Eelco Dolstra has written a thesis about something like that. Unfortunataly not in Haskell. See http://nixos.org/ Doaitse On 17 mrt 2011, at 21:00, 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

5158

Age (days ago)

5179

Last active (days ago)

List overview

Download

7 comments

8 participants

participants (8)

Brandon S Allbery KF8NH
Conal Elliott
David Peixotto
Max Bolingbroke
Neil Davies
oliver mueller
S. Doaitse Swierstra
Serge Le Huitouze