[Haskell-cafe] The Q Programming Language can do symbolic
manipulation -- Haskell?
robdockins at fastmail.fm
Wed Aug 16 09:36:33 EDT 2006
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
> ==>sqr (X+1)
> Can Haskell do symbolic manipulation?
Well, there's always the sledgehammer (http://www.haskell.org/ghc/
> Or are term-rewriting and the lambda calculus sufficiently far enough
> apart concepts?
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
Speak softly and drive a Sherman tank.
Laugh hard; it's a long way to the bank.
More information about the Haskell-Cafe