aboutsummaryrefslogtreecommitdiff
path: root/doc/based.md
diff options
context:
space:
mode:
authorMarshall Lochbaum <mwlochbaum@gmail.com>2021-06-12 21:35:20 -0400
committerMarshall Lochbaum <mwlochbaum@gmail.com>2021-06-12 21:39:52 -0400
commitfb9b75b9f6014f81e8e944f8b105ec75d9ecdc0d (patch)
tree0b2bc41ae55c4c70be293e34db2b1889f8e393bd /doc/based.md
parentd030b119ca512e0b0f3b44554ac96ce3eeb2350e (diff)
Use Enclose documentation as an excuse to talk about unit arrays
Diffstat (limited to 'doc/based.md')
-rw-r--r--doc/based.md2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/based.md b/doc/based.md
index 83fe74e8..38139032 100644
--- a/doc/based.md
+++ b/doc/based.md
@@ -12,7 +12,7 @@ If you're an array programmer then I have bad news for you. My thesis here is th
APL tends to define its data by starting with the array and then looking downwards in depth at what it contains. The based array model, as the name suggests, starts at the foundations, which in BQN are called "atoms". There are five types of atom, which together with the array type give the six types a value can have in BQN. Based means being yourself, and an atom's *not* an array.
-An atom has [depth](depth.md) 0, and doesn't inherently have a shape. However, primitives that expect an array promote atoms by enclosing them to get a rank-0, or *unit*, array that contains the atom (any value can be enclosed in this way, giving a unit array with higher depth, but it only happens automatically for atoms). Rank and shape both do this, so an atom can be considered to have the same dimensions as a unit array: rank 0 and shape `⟨⟩`. An atom is also considered a kind of unit, but it's not a unit array.
+An atom has [depth](depth.md) 0, and doesn't inherently have a shape. However, primitives that expect an array promote atoms by [enclosing](enclose.md) them to get a rank-0, or *unit*, array that contains the atom (any value can be enclosed in this way, giving a unit array with higher depth, but it only happens automatically for atoms). Rank and shape both do this, so an atom can be considered to have the same dimensions as a unit array: rank 0 and shape `⟨⟩`. An atom is also considered a kind of unit, but it's not a unit array.
Atoms are displayed as plain values, while enclosed atoms, that is, depth-1 unit arrays, are shown with an array display.