[Haskell-cafe] symbolic evaluator for Haskell?
s.clover at gmail.com
Wed Mar 18 02:13:37 EDT 2009
On Mar 18, 2009, at 1:40 AM, wren ng thornton wrote:
> Lambdabot (on #haskell) has something similar using a type, Expr,
> to overload certain names, e.g.
> koninkje > foldr f z [1..5]
> lambdabot f 1 (f 2 (f 3 (f 4 (f 5 z))))
> It's a complete hack and isn't as sophisticated as what you're
> after, but it could serve as a basis for implementation ideas.
This is, I believe, essentially the simple-reflect package on Hackage:
At least two of lennart's libraries provide related functionality:
and Data.Number.Symbolic in numbers: http://hackage.haskell.org/cgi-
More information about the Haskell-Cafe