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

Robert Dockins 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
> 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 at 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





More information about the Haskell-Cafe mailing list