Most primitives are specified by the BQN-based implementation in reference.bqn. This document specifies the basic functionality required by those definitions. Descriptions of other primitives are for informational purposes only.
Functions in this section are defined for atoms only; the reference implementations extend them to arrays.
BQN uses five arithmetic functions that are standard in mathematics. The precision of these operations should be specified by the number type.
+- invert addition, with -π© equivalent to 0-π©.Γ generalizes repeated addition.Γ· invert multiplication, with Γ·π© equivalent to 1Γ·π©.β generalizes repeated multiplication, and Exponential β is Power with Euler's number e as the base.The three higher functions Γ, Γ·, and β apply to numbers and no other atomic types. + and - apply to numbers, and possibly also to characters, according to the rules of the affine character type:
+ is the character with code point c and the other is a number n (in either order), then the result is the character with code point c+n.- is the character with code point c and the right is a number n, the result is the character with code point c-n.- are characters, the result is the difference of their respective code points.In the first two cases, if the result would not be a valid Unicode code point, then an error results. The remaining cases of + and - (adding two characters; negating a character or subtracting it from a number) are not allowed.
Additionally, the Floor function β returns the largest integer smaller than the argument, or the argument itself if it is Β―β or β. It's needed because the arithmetic operations give no fixed-time way to determine if a value is an integer. Floor gives an error if the argument is an atom other than a number.
Two kinds of comparison are needed to define BQN's primitives: equality comparison and ordered comparison.
Ordered comparison is simpler and is provided by the dyadic Less than or Equal to (β€) function. This function gives an error if either argument is an operation, so it needs to be defined only for numbers and characters. For numbers it is defined by the number system, and for characters it returns 1 if the left argument's code point is less than that of the right argument. Characters are considered greater than numbers, so that nβ€c is 1 and cβ€n is 0 if c is a character and n is a number.
The dyadic function =, representing equality comparison, can be applied to any two atoms without an error. Roughly speaking, it returns 1 if they are indistinguishable within the language and 0 otherwise. If the two arguments have different types, the result is 0; if they have the same type, the comparison depends on type:
Operations are split into subtypes depending on how they were created.
This means that block instance equality indicates identity in the context of mutability: two block instances are equal if any change of state in one would be reflected in the other as well. The concept of identity holds even if the blocks in question have no way of changing or accessing state. For example, =β{π©β{π©}}Λ@ is 0 while =Λβ{π©β{π©}}@ is 1.
Several subsets of primitives, or dedicated operations, are used to manipulate arrays in the reference implementation.
IsArray returns 1 if the argument is an array and 0 if it's an atom.The following functions translate between arrays and the two lists that define them: the shape and ravel.
β’) returns the shape of array π©, as a list of natural numbers.β₯) returns the ravel of array π©, that is, the list of its elements.β₯) returns an array with the same ravel as π© with shape π¨. It can be assumed that β’π© and π¨ have the same product.The following functions manipulate lists. In these functions, a valid index for list l is a natural number less than the length of l.
π© (a natural number) with value i at any index i.β) selects the element at index π¨ from list π©._amend returns an array identical to list π© except that the element at index π is changed to π¨.Inferred properties are specified in their own document, not in the reference implementation.
Identity gives the identity value for reduction by function π.βΌ) gives a partial right inverse for function π½.Fill gives the enclose of the fill value for array π©.!) causes an error if the argument is not 1. If π¨ is provided, it gives a message to be associated with this error (which can be any value, not necessarily a string).As noted above, see reference.bqn for the authoritative definitions. Commentary here gives an overall description and highlights implementation subtleties and edge cases.
There's little to say about BQN's true combinators, since each is simply a pattern of function application. All primitive combinators use their operands as functions, and thus treat a data operand as a constant function.
βΆ) is later redefined to use the complete β rather than the simple version assumed (using this primitive means it's not a true combinator).Λ)β) uses a trick with ambivalent - to find out whether there's a left argument, described below.β’)β£)Λ)β)β)βΈ)β)The somewhat complicated definition of Valences could be replaced with {π½π©;π¨πΎπ©} using headers. However, reference.bqn uses a simple subset of BQN's syntax that doesn't include headers. Instead, the definition relies on the fact that π¨ works like Β· if no left argument is given: (1Λπ¨)-0 is 1-0 or 1 if π¨ is present and (1ΛΒ·)-0 otherwise: this reduces to Β·-0 or 0.
The reference implementations extend Shape (β’) to atoms as well as arrays, in addition to implementing other properties. In all cases, an atom behaves as if it has shape β¨β©. The functions in this section never cause an error.
β’) gives the shape of an array or atom.=) gives the length of the shape.β ) gives the number of major cells, or 1 for an argument of rank 0.β‘) gives the nesting depth. It ignores the shapes of arrays, and considering only the depths of their elements.Arithmetic functions not already provided are defined in layer 1. These definitions, like the provided functions, apply to atoms only; they should be extended to arrays using the _perv modifier from layer 2.
Γ) β) are defined in terms of Power. If a dedicated implementation is used for square roots, then Power should check for a right argument of 0.5 and use this implementation in order to maintain consistency.β) is like Floor, but rounds up instead of down.Β¬) is a linear extension of logical negation, and Span (Β¬) adds the left argument.β§) and Or (β¨) are bilinear extensions of the boolean functions.β) and Maximum (β) return the smaller or larger of the arguments, respectively. They are not required to be implemented for character arguments, and may give an error if either argument is a character.|)|) is an extension of modular division to real numbers. As it uses floor instead of truncation, it's not the same as the % operator from C or other languages when π¨<0.<), Greater Than (>), Greater Than or Equal to (β₯), and Not Equals (β ) are defined in terms of the two provided comparisons.Modifiers for iteration are defined in layers 1, 2, and 4. Two 2-modifiers, β and β, use a list of numbers obtained by applying the right operand to the arguments in order to control application. This list has one to three elements: if all three are given then they correspond to the monadic, left, and right arguments; if one is given then it controls all three; and if two are given then they control the left argument, and the right and monadic arguments.
Table (β) and Each (Β¨) map over the elements of arrays to produce result elements. They convert atom arguments to unit arrays. With one argument, the two modifiers are the same; with two, they differ in how they pair elements. Table pairs every element of the left argument with every element of the right, giving a result shape π¨βΎββ’π©. Each uses leading axis agreement: it requires one argument's shape to be a prefix of the other's (if the arguments have the same rank, then the shapes must match and therefore be mutual prefixes). This causes each element of the lower-rank argument to correspond to a cell of the higher-rank one; it's repeated to pair it with each element of that cell. The result shape is the shape of the higher-rank argument.
Depth (β) is nearly a generalization of Each: Β¨ is equivalent to βΒ―1, except that βΒ―1 doesn't enclose its result if all arguments are atoms. The list given by the right operand specifies how deeply to recurse into the arguments. A negative number -n means to recurse n times or until the argument is an atom, while a positive number n means to recurse until the argument has depth n or less. Recursion continues until all arguments have met the criterion for stopping. This recursion is guaranteed to stop because arrays are immutable, and form an inductive type.
Rank (β) applies the left operand to cells of the arguments of the specified ranks, forming a result whose cells are the results. Cells (Λ) is identical to βΒ―1, and applies to major cells of the arguments, where a value of rank less than 1 is considered its own major cell. All results must have the same shape, as with elements of the argument to Merge (>). The combined result is always an array, but results of the left operand can be atoms: an atom result will be enclosed to give a 0-cell. If a specified rank is a natural number n, Rank applies the operand to n-cells of the corresponding argument, or the entire argument if it has rank less than or equal to n. If instead it's a negative integer -n, then an effective rank of 0βk-n is used, so that the entire argument is used exactly when k=0. Thus an atom will always be passed unchanged to the operand; in particular, Rank does not enclose it. Like Each, Rank matches cells of its arguments according to leading axis agreement, so that a cell of one argument might be paired with multiple cells of the other.
Fold (Β΄), Insert (Λ), and Scan (`) repeatedly apply a function between parts of an array. Fold requires the argument to have rank 1 and applies the operand between its elements, while Insert requires it to have rank 1 or more and applies it between the cells. For each of these two functions, the operand is applied beginning at the end of the array, and an identity value is returned if the array is empty. While these functions reduce multiple values to a single result, Scan returns many results and preserves the shape of its argument. It requires the argument to have rank at least 1, and applies the function between elements along columnsβthat is, from one element in a major cell to the one in the same position of the next major cell. This application begins at the first major cell of the array. Scan never uses the identity element of its operand because if the argument is empty then the result, which has the same shape, will be empty as well.
Repeat (β) applies the operand function, or its inverse, several times in sequence. The right operand must consist only of integer atoms (arranged in arrays of any depth), and each number there is replaced with the application of the left operand that many times to the arguments. If a left argument is present, then it's reused each time, as if it were bound to the operand function. For a negative number -n, the function is "applied" -n times by undoing it n times. In both directions, the total number of times the function is applied is the maximum of all numbers present: results must be saved if intermediate values are needed.
Enclose (<) forms a unit array that contains its argument.
Merge (>) combines the outer axes of an array of arrays with inner axes: it requires that all elements of its argument have the same shape, and creates an array such that (iβΎj)β>π© is iβjβπ©. It also accepts atom elements of π©, converting them to unit arrays, or an atom argument, which is returned unchanged. Solo and Couple (β) turn one or two arguments into major cells of the result and can be defined easily in terms of Merge.
Join To (βΎ) combines its two arguments along an existing initial axis, unless both arguments are units, in which case it creates an axis and is identical to Couple (β). The arguments must differ in rank by at most 1, and the result rank is equal to the maximum of 1 and the higher argument rank. Each argument with rank less than the result, and each major cell of an argument with rank equal to it, becomes a major cell of the result, with cells from the left argument placed before those from the right. Join (βΎ) generalizes the equal-rank subset of this behavior to an array of values instead of just two. The argument must be an array (unlike Merge), and its elements must all the same rank, which is at least the argument rank. Atom elements are treated as unit arrays. Then "outer" argument axes are matched up with leading "inner" element axes, and elements are joined along these axes. In order to allow this, the length of an element along a particular axis must depend only on the position along the corresponding axis in the argument. An empty argument to Join is return unchanged, as though the element rank is equal to the argument rank.
Deshape (β₯) differs from the provided function (which returns the element list of an array) only in that it accepts an atom, returning a one-element list containing it. Reshape (β₯) is extended in numerous ways. It accepts any list of natural numbers (including as a unit array or atom) for the left argument and any right argument; π© is deshaped first so that it is treated as a list of elements. These elements are repeated cyclically to fill the result array in ravel order. If π© is empty but the result is not, then the result consists of fill elements for π©. Furthermore, at most one element of π¨ can be a "length code": one of the primitives βββ½β. In this case, a target length is computed from the number of elements in π© divided by the product of the other elements of π¨ (which must not be zero). If the target length is an integer then it is used directly for the length code. Otherwise, an error is given if the length code is β, and the target length is rounded down if the code is β and up if it's β½ or β. With code β½, elements are repeated cyclically as usual, but with code β, the extra elements after each argument element is used are fill values for π©.
Transpose (β) reorders axes of its argument to place the first axis last; if the argument has one or fewer axes then it's returned unchanged. Reorder Axes (β) requires the left argument to be a list or unit of natural numbers, with length at most the rank of the right argument. This list is extended to match the right argument rank exactly by repeatedly appending the least unused natural number (for example, given 1βΏ3βΏ0βΏ0, 2 is appended). After extension, it specifies a result axis for each axis of the right argument. There must be no gaps in the list: that is, with the result rank equal to one plus the greatest value present, every result axis must appear at least once. Now each argument axis is "sent to" the specified result axis: in terms of indices, iβπ¨βπ© is (π¨βi)βπ© if π¨ is complete. If multiple argument axes correspond to the same result axis, then a diagonal is taken, and it's as long as the shortest of those argument axes. While Transpose does not enclose an atom right argument, Reorder Axes does, so that its result is always an array.