[Inquiry] Re: Theme One Program -- Commentary Note -- Tally

[Jon Awbrey]

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

TOP.  Commentary Note -- Tally

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Tally.

Tally is a transformation of ideas that produces
a sign-&-code facsimile of its argument idea-form,
all the while leaving the argument structure intact.

Given an idea that refers to an existing form,
it constructs a cog-type structure that bears
the same character in its 'sign' field and
the same integer in its 'code' field as
that of the indicated form.

Step 1.
              o-----o
              | a 1 |
              o-----o
              ^
         this |
              @

Step 2.
                            o-------------o
              o-----o       |   o-----o   |
              | a 1 |       o-->| a 0 |---o
              o-----o           o-----o
              ^                 ^
         this |           token |
              @                 @

Step 3.
                            o-------------o
              o-----o       |   o-----o   |
              | a 1 |       o-->| a 1 |---o
              o-----o           o-----o
              ^                 ^
         this |           tally |
              @                 @

function tally (this: idea): idea;
begin
 tally := inset (token (this), reck (this))
end;

(5351)(7691)

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o