[Inquiry] Re: Theme One Program -- Commentary -- Token

[Jon Awbrey]

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

TOP.  Commentary Note 30

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

Token.

Token is a transformation of ideas that produces
a character-facsimile of its argument idea-form,
meanwhile leaving the argument structure intact.

Given an idea that refers to an existing form,
it constructs an initialized cog-type structure
that has the same character in its 'sign' field
as that of the indicated form.

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

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

function token (this: idea): idea;
var here: idea;
begin
 here := nil;
 if this <> nil then here := bud (arch (this));
 token := here
end;

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
inquiry e-lab: http://stderr.org/pipermail/inquiry/
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o