[Inquiry] Re: Theme One Program -- Commentary

[Jon Awbrey]

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

TOP.  Commentary Note 16

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

Cog.

Cog is a transformation of ideas that is
performed for the sake of its side-effect
on the form addressed by the argument idea.
 
Cog acts as the identity transformation on the argument idea, nil or not.
If the argument idea is non-nil and therefore addresses an existing form,
then Cog sets the 'by' pointer of that form to the selfsame address, and
thus results in the form addressing itself by means of its own 'by' idea.

For example, if 'this' is a non-nil idea, then the effect of
carrying out cog (this) is indicated by the following figure:

o-------------o
|   o-----o   |
o-->|     |---o
    o-----o
    ^
cog |
    @

function cog (this: idea): idea;
begin
 cog := beset (this, this)
end;

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

Nib.

Nib is a special constructor whose
end result is indicated as follows:

o-------------o
|   o-----o   |
o-->| ø 0 |---o
    o-----o
    ^
nib |
    @

function nib: idea;
begin
 nib := cog (dot)
end;

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

Nob.

Nob is a special constructor whose
end result is indicated as follows:

o-------------o
|   o-----o   |
o-->|   0 |---o
    o-----o
    ^
nob |
    @

function nob: idea;
begin
 nob := cog (eye)
end;

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