💾 Archived View for dcreager.net › concatenative › linear-basis-2.gmi captured on 2023-11-04 at 11:34:32. Gemini links have been rewritten to link to archived content
-=-=-=-=-=-=-
Brent Kerby calls out that ‘cons’ and ‘sap’ are a linear basis in a concatenative language.
The Theory of Concatenative Combinators » Linear Completeness
[B] [A] cons == [[B] A] [B] [A] sap == A B
This is a valid basis because ‘cons’ covers quoting and concatenation, and ‘sap’ covers reordering and unquoting.