From e230f8a9045a7ab12cb6c5151b0cf623c3135064 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Fri, 9 Dec 2022 10:42:35 -0500 Subject: Fix reference to First using fill in fill specification --- docs/spec/inferred.html | 2 +- spec/inferred.md | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/spec/inferred.html b/docs/spec/inferred.html index 4dfc7f34..26df5b2d 100644 --- a/docs/spec/inferred.html +++ b/docs/spec/inferred.html @@ -69,7 +69,7 @@

Additionally, the identity of ∾˝ must be recognized: if 0=≠𝕩 and 1<=𝕩, then βˆΎΛπ•© is (0∾2↓≒𝕩)β₯Šπ•©. If 1==𝕩, then there is no identity element, as the result of ∾ always has rank at least 1, but the cell rank is 0.

Fill elements

-

Any BQN array can have a fill element, which is a sort of "default" value for the array. The reference implementations use Fill to access this element, and it is used primarily for Take (↑), First (βŠ‘), and Nudge (Β«, Β»). One way to extract the fill element of an array a in BQN is βŠ‘0β₯Ša.

+

Any BQN array can have a fill element, which is a sort of "default" value for the array. The reference implementations use Fill to access this element, and it is used primarily for Take (↑) and Nudge (Β«, Β»). One way to extract the fill element of an array a in BQN is βŠ‘Β»1↑β₯Ša.

A fill element can be either 0, ' ', or an array of valid fill elements. If the fill element is an array, then it may also have a fill element (since it is an ordinary BQN array). The fill element is meant to describe the shared structure of the elements of an array: for example, the fill element of an array of numbers should be 0, while the fill element for an array of variable-length lists should probably be ⟨⟩. However, the fill element, unlike other inferred properties, does not satisfy any particular constraints that relate it to its array. The fill element of a primitive's result, including functions derived from primitive modifiers, must depend only on its inputs.

In addition to the requirements below, the fill element for the value of a string literal is ' '.

Required functions

diff --git a/spec/inferred.md b/spec/inferred.md index 0be0cc6c..b3fef141 100644 --- a/spec/inferred.md +++ b/spec/inferred.md @@ -32,7 +32,7 @@ Additionally, the identity of `∾˝` must be recognized: if `0=≠𝕩` and `1< ## Fill elements -Any BQN array can have a *fill element*, which is a sort of "default" value for the array. The reference implementations use `Fill` to access this element, and it is used primarily for Take (`↑`), First (`βŠ‘`), and Nudge (`Β«`, `Β»`). One way to extract the fill element of an array `a` in BQN is `βŠ‘0β₯Ša`. +Any BQN array can have a *fill element*, which is a sort of "default" value for the array. The reference implementations use `Fill` to access this element, and it is used primarily for Take (`↑`) and Nudge (`Β«`, `Β»`). One way to extract the fill element of an array `a` in BQN is `βŠ‘Β»1↑β₯Ša`. A fill element can be either `0`, `' '`, or an array of valid fill elements. If the fill element is an array, then it may also have a fill element (since it is an ordinary BQN array). The fill element is meant to describe the shared structure of the elements of an array: for example, the fill element of an array of numbers should be `0`, while the fill element for an array of variable-length lists should probably be `⟨⟩`. However, the fill element, unlike other inferred properties, does not satisfy any particular constraints that relate it to its array. The fill element of a primitive's result, including functions derived from primitive modifiers, must depend only on its inputs. -- cgit v1.2.3