[Haskell-cafe] [ANN] Data.Reify.CSE
sfvisser at cs.uu.nl
Fri Jun 12 07:03:18 EDT 2009
This module implements common sub-expression elimination for graphs
generated by the Data.Reify package. (Which is a really neat tool!)
The algorithm performs a simple fixed point iteration and is not
(consciously) optimized for speed.
This package might especially be useful for optimizing simple
compilers for referential transparent domain specific languages. Which
is exactly the reason I've written this code.
An example of the usage is included in the Haddock documentation.
More information about the Haskell-Cafe