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

On Aug 15, 2006, at 11:43 PM, Casey Hawthorne wrote:

The Q Programming Language can do symbolic manipulation -- Haskell?

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?

Well, there's always the sledgehammer (http://www.haskell.org/ghc/ docs/latest/html/users_guide/template-haskell.html)

Or are term-rewriting and the lambda calculus sufficiently far enough apart concepts? -- Regards, Casey _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Rob Dockins Speak softly and drive a Sherman tank. Laugh hard; it's a long way to the bank. -- TMBG