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

[Greg Buchholz]

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