I think we're all rather excited about seeing this stuff land. What's the expected timeline, wrt. ghc 6.10's release?
-- Don t-jodias: > I've added some text and links to point the reader in the right > direction. Here's the new text, cribbed from the Wiki: > > Dataflow optimization: We can define a new optimization simply by > defining a lattice of dataflow facts (akin to a specialized logic) and > then writing the dataflow-transfer functions found in compiler > textbooks. Handing these functions to the dataflow engine produces a > new optimization that is not only useful on its own, but that can > easily be composed with other optimizations to create an integrated > "superoptimization" that is strictly more powerful than any sequence > of individual optimizations, no matter how many times they are re-run. > The dataflow engine is based on (Lerner, Grove, and Chambers 2002 > http://citeseer.ist.psu.edu/old/lerner01composing.html); you can find > a functional implementation of the dataflow engine presented in > (Ramsey and Dias 2005 > http://www.cs.tufts.edu/~nr/pubs/zipcfg-abstract.html). > > Let me know how I can further clarify the text, > -j > > > -----Original Message----- > > From: Simon Peyton-Jones > > Sent: Tuesday, August 26, 2008 1:32 PM > > To: Norman Ramsey; John Dias > > Cc: Chad Scherrer; GHC Users > > Subject: RE: "dataflow rewriting engine" > > > > Norman, John > > > > Would you care to respond to this? (Perhaps by amplifying the wiki > > page?) A good starting point is perhaps Craig's paper. > > > > Simon > > > > | -----Original Message----- > > | From: [EMAIL PROTECTED] [mailto:glasgow- > > [EMAIL PROTECTED] On > > | Behalf Of Chad Scherrer > > | Sent: 22 August 2008 22:21 > > | To: GHC Users > > | Subject: "dataflow rewriting engine" > > | > > | Hello GHC, > > | > > | This page > > | > > http://hackage.haskell.org/trac/ghc/wiki/Commentary/Compiler/Integrated > > CodeGen > > | mentions a to-be-developed "dataflow rewriting engine". Can someone > > | please send a description of what this will do? > > | > > | Thanks! > > | -- > > | > > | Chad Scherrer > > | > > | "Time flies like an arrow; fruit flies like a banana" -- Groucho Marx > > | _______________________________________________ > > | Glasgow-haskell-users mailing list > > | Glasgow-haskell-users@haskell.org > > | http://www.haskell.org/mailman/listinfo/glasgow-haskell-users > > _______________________________________________ > Glasgow-haskell-users mailing list > Glasgow-haskell-users@haskell.org > http://www.haskell.org/mailman/listinfo/glasgow-haskell-users > _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users