From 07be54d8179ba799cc55dacd2c79fb2292477030 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Mon, 6 Jun 2022 22:04:00 -0400 Subject: Consistently avoid "derived function" for trains: use "compound function" instead --- docs/spec/evaluate.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'docs/spec/evaluate.html') diff --git a/docs/spec/evaluate.html b/docs/spec/evaluate.html index 4e14aefa..50e42796 100644 --- a/docs/spec/evaluate.html +++ b/docs/spec/evaluate.html @@ -64,8 +64,8 @@

In each case the constituent expressions are evaluated in reverse source order: Right, then Called, then Left. Then the expression's result is obtained by calling the Called value on its parameters. A left argument of nothing is not used as a parameter, leaving only a right argument in that case. The type of the Called value must be appropriate to the expression type, as indicated in the "Types" column. For function application, a data type (number, character, or array) is allowed. It is called simply by returning itself. Although the arguments are ignored in this case, they are still evaluated. A block is evaluated by binding the parameter names given in columns L and R to the corresponding values. Then if all parameter levels present have been bound, its body is evaluated to give the result of application.

-

Modifiers that are evaluated when they receive operands are called immediate. Other modifiers, including primitives and some kinds of block, simply record the operands and are called deferred. The result of applying a deferred modifier once is called a derived function.

-

The rules for trains create another kind of derived function. A derived function is identified by the rule that created it, and the values of its parts.

+

Modifiers that are evaluated when they receive operands are called immediate. Other modifiers, including primitives and some kinds of block, simply record the operands and are called deferred. The result of applying a deferred modifier once is called a derived function, and is one kind of compound function.

+

The rules for trains create another kind of compound function. A compound function is identified by the rule that created it, and the values of its parts.

-- cgit v1.2.3