3.5. Supported Higher-Order FunctionsΒΆ
In Phlex, HOFs transform one sequence to another:
\[\isequence{b}{\text{output}} = \text{HOF}(f_1,\ f_2,\ \dots)\ \isequence{a}{\text{input}}\]
where the functions \(f_1, f_2, \ \dots\) are operators required by the HOF. Note that the output index set \(\iset{\text{output}}\) is not necessarily the same as the input index set \(\iset{\text{input}}\).
In what follows, a sequence \([a_i]_{i \in \iset{a}}\) will often be represented by a single variable \(a\). Whether a variable name (e.g. \(a\)) represents a sequence or an operation to a higher-order function will be apparent based on context.
