Re: [Haskell-cafe] DSL for task dependencies

[S. Doaitse Swierstra]

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


___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] DSL for task dependencies

[Max Bolingbroke]

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

___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] DSL for task dependencies

[oliver mueller]

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

___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] DSL for task dependencies

[Brandon S Allbery KF8NH]

-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
>  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]allber...@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-

___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] DSL for task dependencies

[Neil Davies]

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


___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] DSL for task dependencies

[Conal Elliott]

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

Re: [Haskell-cafe] DSL for task dependencies

[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
> 
> ___
> Haskell-Cafe mailing list
> Haskell-Cafe@haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
> 


___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] DSL for task dependencies

[Serge Le Huitouze]

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