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

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?

Or are term-rewriting and the lambda calculus sufficiently far enough
apart concepts?
--
Regards,
Casey
.

Relevant Pages

  • Re: The Q Programming Language can do symbolic manipulation -- Haskell?
    ... Can Haskell do symbolic manipulation? ... with constructors X, Y, Z and one constructor for each arithmetic ... a definition like sqr above will automatically be ...
    (comp.lang.functional)
  • Re: Why C for operating systems
    ... programming language like BitC in the ... can I do an x86 bootloader in Haskell? ... be an issue even in ASM). ... object (since both have compilers which are able to produce standalone code ...
    (comp.programming)
  • Re: Case sensitive languages
    ... > Are there any benefits inherent in a programming language ... In Haskell, variables and type variables are always written starting ... with lowercase, and type constructurs, data constructors, module names ... In SML variables and "data constructors" can ...
    (comp.programming)
  • Re: when laypersons look smarter than math professors Re: a question for the anti-Cantorians
    ... I choose the axioms of the programming language Haskell. ...
    (sci.logic)
  • Re: what are these langs?
    ... > Err, where I'm from, Haskell is a functional programming language. ... > statically typed successor/improvement for Prolog) also has functions, ... Prolog is an impure logic programming language (a procedural language ...
    (comp.programming)
Loading