Finally, in case the lack of constraints on dependencies put anyone off, please note that all deps in all three projects now have minimum and maximum bounds. Also, I should take this chance to note that there were no cache controls in the homepages linked above, so please force reloads in your browser to see latest versions. (The pages /now/ have caching prevention so this should not be necessary again.) And, it's nice to share your thoughts, don't you think? -Andrew On Fri, Dec 19, 2014 at 8:01 AM, Andrew Seniuk <rasfar@gmail.com> wrote:
Sorry, that was my first Reddit post and I messed up.
Please use this link http://www.reddit.com/r/haskell/comments/2pscxh/ann_deepseqbounded_seqaid_le...
-Andrew
On Fri, Dec 19, 2014 at 7:07 AM, Andrew Seniuk <rasfar@gmail.com> wrote:
This trio of related packages explores strictness control in a variety of ways.
deepseq-bounded provides classes and generic functions to artificially force evaluation, to extents controlled by static or dynamic configuration.
seqaid puts that into practise, providing a GHC plugin to auto-instrument your package with a strictness harness, which is dynamically optimisable during runtime. This is supported directly in the GHC compilation pipeline, without requiring (or performing!) any edits to your sources.
leaky is a minimal, prototypic executable that leaks space under current state-of-the-art compilation (GHC 7.8.3 -O2, at the present time).
deepseq-bounded hackage: https://hackage.haskell.org/package/deepseq-bounded homepage: http://www.fremissant.net/deepseq-bounded
seqaid hackage: https://hackage.haskell.org/package/seqaid homepage: http://www.fremissant.net/seqaid
leaky hackage: https://hackage.haskell.org/package/leaky homepage: http://www.fremissant.net/leaky
Reddit discussion for the three together:
http://www.reddit.com/r/haskell/comments/2ps8f5/ann_deepseqbounded_seqaid_le...
Easiest way to try them all, is to install seqaid and run the demo:
cabal install seqaid seqaid demo
This tests seqaid on a local copy of the leaky source package.
It turned out to be routine to extend deepseq-bounded and seqaid to dynamically configurable parallelisation (paraid?). Many other wrappers could be explored, too! Maybe seqaid should be renamed to koolaid or something...
It's a pretty complicated system, and just first release, so there's bound to be lots of problems. I've not set up a bug tracker, but will maintain a casual list of bugs and feature requests at
http://www.fremissant.net/seqaid/trac
and will set up a proper tracker if there's interest.
Any isssues (or comments), I'm here, or on the reddit discussion (or email).
Andrew Seniuk rasfar on #haskell