diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-06-06 22:04:00 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-06-06 22:04:00 -0400 |
| commit | 07be54d8179ba799cc55dacd2c79fb2292477030 (patch) | |
| tree | 15e67618d7340af2242ba31ce2e3c9a16bfe5155 /docs/spec/evaluate.html | |
| parent | 8342ba5e9392811dbc0514a97e847a44a5b330a2 (diff) | |
Consistently avoid "derived function" for trains: use "compound function" instead
Diffstat (limited to 'docs/spec/evaluate.html')
| -rw-r--r-- | docs/spec/evaluate.html | 4 |
1 files changed, 2 insertions, 2 deletions
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 @@ </tbody> </table> <p>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 <code><span class='Value'>nothing</span></code> 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.</p> -<p>Modifiers that are evaluated when they receive operands are called <em>immediate</em>. Other modifiers, including primitives and some kinds of block, simply record the operands and are called <em>deferred</em>. The result of applying a deferred modifier once is called a <em>derived function</em>.</p> -<p>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.</p> +<p>Modifiers that are evaluated when they receive operands are called <em>immediate</em>. Other modifiers, including primitives and some kinds of block, simply record the operands and are called <em>deferred</em>. The result of applying a deferred modifier once is called a <em>derived function</em>, and is one kind of <em>compound function</em>.</p> +<p>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.</p> <table> <thead> <tr> |