diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-05-15 21:58:45 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-05-15 21:58:45 -0400 |
| commit | ade2f9fbb72bc960a053b6aebf6287977b099090 (patch) | |
| tree | b9f9cd62807991ffb537d406c00b6f77b60750bf /docs | |
| parent | 8a64b4b7a1a721b0d8034195ba718aed6992241e (diff) | |
Fill in some missing full documentation links from help
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/doc/expression.html | 2 | ||||
| -rw-r--r-- | docs/help/beginexpression.html | 1 | ||||
| -rw-r--r-- | docs/help/endexpression.html | 1 | ||||
| -rw-r--r-- | docs/help/nothing.html | 1 | ||||
| -rw-r--r-- | docs/help/system.html | 1 |
5 files changed, 6 insertions, 0 deletions
diff --git a/docs/doc/expression.html b/docs/doc/expression.html index c1b4d539..b2f40951 100644 --- a/docs/doc/expression.html +++ b/docs/doc/expression.html @@ -58,6 +58,8 @@ <p>The four roles (subject, function, two kinds of modifier) describe expressions, not values. When an expression is evaluated, the value's <a href="types.html">type</a> doesn't have to correspond to its role, and can even change from one evaluation to another. An expression's role is determined entirely by its source code, so it's fixed.</p> <p>In the table, <code><span class='Head'>?</span></code> marks an optional left argument. If there isn't a value in that position, or it's <a href="#nothing">Nothing</a> (<code><span class='Nothing'>·</span></code>), the middle function will be called with only one argument.</p> <p>If you're comfortable reading <a href="https://en.wikipedia.org/wiki/Backus%E2%80%93Naur_form">BNF</a> and want to understand things in more detail than described below, you might check the <a href="../spec/grammar.html">grammar specification</a> as well.</p> +<h2 id="parentheses"><a class="header" href="#parentheses">Parentheses</a></h2> +<p>As in most programming languages, parentheses <code><span class='Paren'>()</span></code> are for grouping. The code inside a balanced set of parentheses is a single expression, which produces one value to be used by the expression that contains it—for example, in <code><span class='Paren'>(</span><span class='Number'>2</span><span class='Function'>×</span><span class='Number'>3</span><span class='Paren'>)</span><span class='Function'>+</span><span class='Number'>4</span></code>, <code><span class='Number'>2</span><span class='Function'>×</span><span class='Number'>3</span></code> is a subexpression evaluating to <code><span class='Number'>6</span></code>, so that larger expression is equivalent to <code><span class='Number'>6</span><span class='Function'>+</span><span class='Number'>4</span></code>. The syntactic role of a set of parentheses is also the same as that of the expression inside.</p> <h2 id="syntactic-role"><a class="header" href="#syntactic-role">Syntactic role</a></h2> <p><em>This issue is approached from a different angle in <a href="context.html">Context free grammar</a>.</em></p> <p>In APL, the way one part of an expression interacts with others is determined by its value. That means that to parse an expression, in general you would have to evaluate that part, get a value, check its type, and then figure out how it fits in with the rest of the expression. This is a lot of work. BQN changes things so that you can determine how to parse an expression just by looking at its source code. But because it still needs to support expressions that can evaluate to more than one possible <a href="types.html">type</a>, BQN has to introduce a new and independent concept, called <strong>syntactic role</strong>, in order to support APL-like expressions.</p> diff --git a/docs/help/beginexpression.html b/docs/help/beginexpression.html index 056524e5..609cad2c 100644 --- a/docs/help/beginexpression.html +++ b/docs/help/beginexpression.html @@ -5,6 +5,7 @@ </head> <div class="nav">(<a href="https://github.com/mlochbaum/BQN">github</a>) / <a href="../index.html">BQN</a> / <a href="index.html">help</a></div> <h1 id="left-parenthesis-"><a class="header" href="#left-parenthesis-">Left Parenthesis (<code><span class='Paren'>(</span></code>)</a></h1> +<p><a class="fulldoc" href="../doc/expression.html#parentheses">→full documentation</a></p> <h2 id="--begin-expression"><a class="header" href="#--begin-expression"><code><span class='Paren'>(</span> <span class='Value'>...</span></code>: Begin Expression</a></h2> <p>Starts an expression, and only one expression. Must end with a corresponding <code><span class='Paren'>)</span></code>.</p> <p><code><span class='Paren'>(</span></code> supercedes any precedence order, so that an expression in <code><span class='Paren'>()</span></code> is evaluated fully before it can be used in the outer context.</p> diff --git a/docs/help/endexpression.html b/docs/help/endexpression.html index abb0d8b9..4c8e80b8 100644 --- a/docs/help/endexpression.html +++ b/docs/help/endexpression.html @@ -6,6 +6,7 @@ <div class="nav">(<a href="https://github.com/mlochbaum/BQN">github</a>) / <a href="../index.html">BQN</a> / <a href="index.html">help</a></div> <h1 id="right-parenthesis-"><a class="header" href="#right-parenthesis-">Right Parenthesis (<code><span class='Paren'>)</span></code>)</a></h1> <h2 id="--end-expression"><a class="header" href="#--end-expression"><code><span class='Value'>...</span> <span class='Paren'>)</span></code>: End Expression</a></h2> +<p><a class="fulldoc" href="../doc/expression.html#parentheses">→full documentation</a></p> <p>The closing symbol for <code><span class='Paren'>(</span></code>. See <a href="beginexpression.html">Begin Expression</a> for more details.</p> <a class="replLink" title="Open in the REPL" target="_blank" href="https://mlochbaum.github.io/BQN/try.html#code=MSArIDIgLSAzCgooMSArIDIpIC0gMw==">↗️</a><pre> <span class='Number'>1</span> <span class='Function'>+</span> <span class='Number'>2</span> <span class='Function'>-</span> <span class='Number'>3</span> 0 diff --git a/docs/help/nothing.html b/docs/help/nothing.html index 199406fd..4eb833ea 100644 --- a/docs/help/nothing.html +++ b/docs/help/nothing.html @@ -12,6 +12,7 @@ </span>"cba" </pre> <h3 id="in-trains"><a class="header" href="#in-trains">In Trains</a></h3> +<p><a class="fulldoc" href="../doc/train.html#2-train-3-train">→full documentation</a></p> <p>Nothing can serve as a left argument in a train to string together multiple monadic functions.</p> <a class="replLink" title="Open in the REPL" target="_blank" href="https://mlochbaum.github.io/BQN/try.html#code=KC0rLSkgNQoKKC3CtystKSA1">↗️</a><pre> <span class='Paren'>(</span><span class='Function'>-+-</span><span class='Paren'>)</span> <span class='Number'>5</span> ¯10 diff --git a/docs/help/system.html b/docs/help/system.html index e3094079..e273716a 100644 --- a/docs/help/system.html +++ b/docs/help/system.html @@ -6,5 +6,6 @@ <div class="nav">(<a href="https://github.com/mlochbaum/BQN">github</a>) / <a href="../index.html">BQN</a> / <a href="index.html">help</a></div> <h1 id="bullet-"><a class="header" href="#bullet-">Bullet (<code><span class='Value'>•</span></code>)</a></h1> <h2 id="-system"><a class="header" href="#-system"><code><span class='Value'>•</span></code>: System</a></h2> +<p><a class="fulldoc" href="../spec/system.html">→specification</a></p> <p>A prefix for system functions. <code><span class='Value'>•listSys</span></code> gives a list of defined system value names.</p> <p><code><span class='Value'>•</span></code> is ignored when determining the role of the system value.</p> |
