-- Leo's gemini proxy

-- Connecting to dcreager.net:1965...

-- Connected

-- Sending request

-- Meta line: 20 text/gemini;lang=en

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

..

-- Response ended

-- Page fetched on Thu Jun 6 12:26:17 2024