[Haskell-cafe] symbolic evaluator for Haskell?
newsham at lava.net
Tue Mar 17 23:30:18 EDT 2009
Is there a symbolic evaluator for Haskell that will perform all
applications except on specified functions? Ie. I would love
something that would take
foldr (+) (6 `div` 5) [1,2,3*4]
and "(+) (*)" and return
1 + (2 + (3*4 + 1))
by performing all the applications except for (+) and (*).
(Something that supports ghc extensions is preferred :)
More information about the Haskell-Cafe