Flattening transformation

Flattening works by lifting functions to operate on arrays instead of on single values. For example, a function ${\displaystyle f:A\rightarrow B}$ is lifted to a function ${\displaystyle f':[A]\rightarrow [B]}$. This means an expression ${\displaystyle map~f~x}$ can be replaced with an application of the lifted function: ${\displaystyle f'~x}$. Intuitively, flattening thus works by replacing all function applications with applications of the corresponding lifted function.

After flattening, arrays are represented as single-dimensional value vector V containing scalar elements, alongside auxiliary information recording the nested structure, typically in the form of a boolean flag vector F. The flag vector indicates, for the corresponding element in the value vector, whether it is the beginning of a new segment. For example, the two-dimensional irregular array ${\displaystyle A=[[1,2,3],[4,5],[],[6]]}$ can be represented as the data vector ${\displaystyle V=[1,2,3,4,5,6,7]}$ alongside the flag vector ${\displaystyle F=[1,0,0,1,0,1,1]}$.

This flag vector is necessary in order to correctly flatten nested parallelism. For example, it is used in the flattening of prefix sum to segmented scan.

Flattening can increase the asymptotic work and space complexity of the original program, leading to a much less efficient result.[3]

Flattening was originally developed for vector machines such as the Connection Machine, and often produces code that is not a good fit for modern multicore CPUs.[4] However, the principles underlying its simpler cases can be found in constructs such as the vmap in Google Jax.