[programnature]

It is a feature of those systems, but not the foundation.

Mathematica is a term-rewriting system. This is a fundamentally different model of computation from the lambda calculus.

There are many practical consequences of this, in terms of the design of individual language constructs, and in how the language is used generally.

[gruseom]

There are many practical consequences of this, in terms of the design of individual language constructs, and in how the language is used generally.

That's interesting. Can you say what some of these consequences are?