[Haskell-cafe] symbolic evaluator for Haskell?

[Eugene Kirpichov]

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
> http://www.thenewsh.com/~newsham/
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>



-- 
Eugene Kirpichov
Web IR developer, market.yandex.ru