Re: [Haskell-cafe] The Q Programming Language can do symbolic manipulation -- Haskell?

Casey Hawthorne wrote:

The Q Programming Language can do the following:

sqr X = X*X

==>sqr 5 25

==>sqr (X+1) (X+1)*(X+1)

Can Haskell do symbolic manipulation?

Typeful symbolic differentiation of compiled functions http://www.haskell.org/pipermail/haskell/2004-November/014939.html