💾 Archived View for dcreager.net › concatenative › simpler-sap.gmi captured on 2024-02-05 at 09:33:22. Gemini links have been rewritten to link to archived content

View Raw

More Information

⬅️ Previous capture (2023-11-14)

-=-=-=-=-=-=-

A simpler definition of ‘sap’

2023-11-07

There was a simpler definition of ‘cons’. Is there a simpler definition of ‘sap’ too?

The natural linear concatenative basis

Defining ‘cons’ with only empty quotations

sap ≜ swap cat i

        ┃ [B] [A] sap
        ┃ [B] [A] swap cat i
    [B] ┃ [A] swap cat i
[B] [A] ┃ swap cat i
[A] [B] ┃ cat i
  [A B] ┃ i
    A B ┃ i

Original definition

For reference, here is the original definition:

sap ≜ swap unit cat i i

          ┃ [B] [A] sap
          ┃ [B] [A] swap unit cat i i
      [B] ┃ [A] swap unit cat i i
  [B] [A] ┃ swap unit cat i i
  [A] [B] ┃ unit cat i i
[A] [[B]] ┃ compose i i
  [A [B]] ┃ i i
          ┃ A [B] i
        A ┃ [B] i
    A [B] ┃ i
      A B ┃