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
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
