Re: [Haskell-cafe] Thoughts on program annotations.

2011-03-05 Thread wren ng thornton
On 3/4/11 2:32 PM, Jason Dusek wrote: On Fri, Mar 4, 2011 at 07:01, wren ng thornton wrote: where the annotation of MergeAnn is merged with the previous annotation up the tree (via mappend), thus allowing for annotations to be inherited and modified incrementally based on the Monoid instance; w

Re: [Haskell-cafe] Thoughts on program annotations.

2011-03-04 Thread Jason Dusek
On Fri, Mar 4, 2011 at 07:01, wren ng thornton wrote: > where the annotation of MergeAnn is merged with the previous > annotation up the tree (via mappend), thus allowing for > annotations to be inherited and modified incrementally based > on the Monoid instance; whereas the NewAnn constructor use

Re: [Haskell-cafe] Thoughts on program annotations.

2011-03-04 Thread Stephen Tetley
There's also Martin Erwig's Parametric Fortran - which looks largely similar but hides some of the parametric types with existentials. Check the papers on his website, epscially the PADL one: http://web.engr.oregonstate.edu/~erwig/papers/abstracts.html ___

Re: [Haskell-cafe] Thoughts on program annotations.

2011-03-03 Thread Max Bolingbroke
On 4 March 2011 06:32, Jason Dusek wrote: >    --  From > https://github.com/solidsnack/bash/blob/c718de36d349efc9ac073a2c7082742c45606769/hs/Language/Bash/Syntax.hs > >    data Annotated t = Annotated t (Statement t) >    data Statement t = SimpleCommand Expression [Expression] >                

Re: [Haskell-cafe] Thoughts on program annotations.

2011-03-03 Thread wren ng thornton
On 3/4/11 1:32 AM, Jason Dusek wrote: Hi List, I am working on a Bash config generation system. I've decided to factor out the Bash AST and pretty printer, here in a pre-release state: https://github.com/solidsnack/bash Awesome! Given that every statement has an annotati

[Haskell-cafe] Thoughts on program annotations.

2011-03-03 Thread Jason Dusek
Hi List, I am working on a Bash config generation system. I've decided to factor out the Bash AST and pretty printer, here in a pre-release state: https://github.com/solidsnack/bash One thing I'd like to support is generic annotations, so that at a future time I can add (and rend