The evaluation mechanism allows us to regard
as a functional programming
language.
For example, the multiplication function in Nuprl
notation
is `
x.
y.(x*y)`,
and one can evaluate ` (
x.
y.(x*y))(2)(3)` to obtain
the value ` 6`.
Of course, one can define much more complex data such as infinite
precision real numbers and functions on them such as multiplication
(see section 11.6).
In this case we might also evaluate the form
` (
x.
y.mult(x,y))(e)(pi)(50)`,
which might print the first 50 digits of the infinite precision
multiplication of the transcendental numbers **e** and .

The evaluation mechanism can also use a special form,
` term_of( t) `, where

Thu Sep 14 08:45:18 EDT 1995