diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-08-07 20:57:51 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-08-07 20:57:51 -0400 |
| commit | c7ef3aabb54791b597d4095011ff048c2a13f6ac (patch) | |
| tree | 45967d042b204df64097a57cf6c72c4b4be8d1f6 /doc/types.md | |
| parent | 7bf2aa4054b8378a76dff63acdccbcdad91f68e6 (diff) | |
Document use of fill elements for merge of empty
Diffstat (limited to 'doc/types.md')
| -rw-r--r-- | doc/types.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/types.md b/doc/types.md index f3b7f414..96870844 100644 --- a/doc/types.md +++ b/doc/types.md @@ -71,7 +71,7 @@ Other linear combinations such as adding two characters or negating a character A BQN array is a multidimensional arrangement of data. This means it has a certain [*shape*](shape.md), which is a finite list of natural numbers giving the length along each axis, and it contains an *element* for each possible [*index*](indices.md), which is a choice of one natural number that's less than each axis length in the shape. The total number of elements, or *bound*, is then the product of all the lengths in the shape. The shape may have any length including zero, and this shape is known as the array's *rank*. An array of rank 0, which always contains exactly one element, is called a *unit*, while an array of rank 1 is called a *list* and an array of rank 2 is called a *table*. -Each array—empty or nonempty—has an inferred property called a [*fill*](fill.md). The fill either indicates what element should be used to pad an array, or that such an element is not known and an error should result. Fills can be used by [Take](take.md) (`↑`), the two [Nudge](shift.md) functions (`»«`), and [Reshape](reshape.md) (`⥊`). +Each array—empty or nonempty—has an inferred property called a [*fill*](fill.md). The fill either indicates what element should be used to pad an array, or that such an element is not known and an error should result. Fills can be used by [Take](take.md) (`↑`), the two [Nudge](shift.md) functions (`»«`), [Merge](couple.md) (`>`), and [Reshape](reshape.md) (`⥊`). Arrays are value types (or immutable), so that there is no way to "change" the shape or elements of an array. An array with different properties is a different array. As a consequence, arrays are an inductive type, and it's not possible for an array to contain itself, or contain an array that contains itself, and so on. However, it is possible for an array to contain a function or other operation that has access to the array through a variable, and in this sense an array can "know about" itself. |
