dcreager.net

The two-element linear concatenative basis

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.

Categories of instructions in a concatenative basis

A linear basis for Swanson

..