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

[Jon Awbrey]

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

TOP.  Commentary Note 14

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

Scrip.

Scrip is a special modifier that
sets the 'sign' field of a form
to a given character.

More precisely:

Scrip is a "character-controlled transformation of ideas" that takes
an idea and a character as inputs, acts as the identity mapping on
the input idea, and if this idea is non-nil and therefore points
to an existing form, it sets the 'sign' field of this form to
the input character.

For example, if 'this' is a non-nil idea, then the effect of
calling scrip (this, "a") is given by the following picture:

     o-----o
     | a   |
     o-----o
     ^
this |
     @

function scrip (this: idea;
                mark: char): idea;
begin
 scrip := this;
 if this <> nil then this^.sign := mark
end;

(5236)(7576)

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

Asset.

Asset is a special modifier that
sets the 'as' field of a form
to a given idea.

More precisely:

Asset is an "idea-controlled transformation of ideas" that takes
two ideas as inputs, acts as the identity on the first, and if
the first is non-nil and therefore points to an existing form,
it sets the 'as' field of this form to the second idea.

For example, if 'this' is a non-nil idea, then the effect of
calling asset (this, that) is given by the following picture:

   ^
that\
     o-----o
     |     |
     o-----o
     ^
this |
     @

function asset (this, that: idea): idea;
begin
 asset := this;
 if this <> nil then this^.as := that
end;

(5237)(7577)

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

Upset.

Upset is a special modifier that
sets the 'up' field of a form
to a given idea.

More precisely:

Upset is an "idea-controlled transformation of ideas" that takes
two ideas as inputs, acts as the identity on the first, and if
the first is non-nil and therefore points to an existing form,
it sets the 'up' field of this form to the second idea.

For example, if 'this' is a non-nil idea, then the effect of
calling upset (this, that) is given by the following picture:

     ^
that |
     o-----o
     |     |
     o-----o
     ^
this |
     @

function upset (this, that: idea): idea;
begin
 upset := this;
 if this <> nil then this^.up := that
end;

(5238)(7578)

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

Onset.

Onset is a special modifier that
sets the 'on' field of a form
to a given idea.

More precisely:

Onset is an "idea-controlled transformation of ideas" that takes
two ideas as inputs, acts as the identity on the first, and if
the first is non-nil and therefore points to an existing form,
it sets the 'on' field of this form to the second idea.

For example, if 'this' is a non-nil idea, then the effect of
calling onset (this, that) is given by the following picture:

           ^
           | that
     o-----o
     |     |
     o-----o
     ^
this |
     @

function onset (this, that: idea): idea;
begin
 onset := this;
 if this <> nil then this^.on := that
end;

(5239)(7579)

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

Beset.

Beset is a special modifier that
sets the 'by' field of a form to
a given idea.

More precisely:

Beset is an "idea-controlled transformation of ideas" that takes
two ideas as inputs, acts as the identity on the first, and if
the first is non-nil and therefore points to an existing form,
it sets the 'by' field of this form to the second idea.

For example, if 'this' is a non-nil idea, then the effect of
calling beset (this, that) is given by the following picture:

     o-----o that  
     |     |----->
     o-----o
     ^
this |
     @

function beset (this, that: idea): idea;
begin
 beset := this;
 if this <> nil then this^.by := that
end;

(5240)(7580)

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

Inset.

Inset is a special modifier that
sets the 'code' field of a form
to a given integer.

More precisely:

Inset is an "integer-controlled transformation of ideas" that takes
an idea and an integer as inputs, acts as the identity mapping on
the input idea, and if this idea is non-nil and therefore points
to an existing form, it sets the 'code' field of this form to
the input integer.

For example, if 'this' is a non-nil idea, then the effect of
calling inset (this, 1) is suggested by the following figure:

     o-----o
     |   1 |
     o-----o
     ^
this |
     @

function inset (this: idea;
                what: numb): idea;
begin
 inset := this;
 if this <> nil then this^.code := what
end;

(5241)(7581)

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