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

[Jon Awbrey]

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

TOP.  Commentary Note 43

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

Respect.

Respect is a transformation of ideas that acts as a predicate recognizer.
Its functional value is nil unless its argument idea points to a form
whose 'sign' field contains a blank character and whose 'as'-field
is non-nil, in which case the argument idea is returned as the
functional value.  The following figure illustrates the case
of a non-nil result:

  ^ ante (this)
   \
  o-\-------o
  |  o---o  |
  o->|   |--o
     o---o
     ^
this | = respect (this)
     @

function respect (this: idea): idea;
begin
 respect := divert (ante (bank (this)), this)
end;

Nota Bene.  Respect = Vest.  This probably came about through
a form of convergent evolution when the Theme One program was
put together by integrating the parts of two earlier programs.

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