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

[Jon Awbrey]

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

TOP.  Commentary Note 32

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

Gist.

Gist is a transformation of ideas that produces
a sign-&-alias 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 an initialized cog-type structure
that has the same character in the 'sign' field
and the same idea in the 'as' field as that of
the indicated form.

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

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

Step 3.
            ^ this^.as        ^ this^.as
             \              o--\----------o
              o-----o       |   o-----o   |
              | a   |       o-->| a 0 |---o
              o-----o           o-----o
              ^                 ^
         this |            gist |
              @                 @

function gist (this: idea): idea;
begin
 gist := asset (token (this), ante (this))
end;

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