[Haskell-cafe] symbolic evaluator for Haskell?
ekirpichov at gmail.com
Wed Mar 18 00:25:06 EDT 2009
Coq (coq.inria.fr) can do that, and its language has a resemblance to
Haskell. However, by dealing with Coq, you are heavily risking your
brain, so beware.
2009/3/18 Tim Newsham <newsham at lava.net>:
> 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 :)
> Tim Newsham
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
Web IR developer, market.yandex.ru
More information about the Haskell-Cafe