The three-element linear concatenative basis

Brent Kerby calls out that ‘take’, ‘cat’, and ‘i’ are a linear basis in a concatenative language.

=> The Theory of Concatenative Combinators » Linear Completeness

[B] [A] take == [A [B]]
[B] [A] cat  == [B A]
    [A] i    == A

This is a valid basis because ‘take’ covers quoting, concatenation, and reording; ‘cat’ covers concatenation; and ‘i’ covers unquoting. (Note that concatenation is covered twice, which is why there is a possible two-instruction basis.)

=> Categories of instructions in a concatenative basis | The two-element linear concatenative basis

=> A linear basis for Swanson | ..

Proxy Information
Original URL
gemini://dcreager.net/concatenative/linear-basis-3.gmi
Status Code
Success (20)
Meta
text/gemini;lang=en
Capsule Response Time
407.126801 milliseconds
Gemini-to-HTML Time
0.362633 milliseconds

This content has been proxied by September (3851b).