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

[Jon Awbrey]

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

TOP.  Commentary Note 45

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

Aspect.

Aspect is a transformation of ideas that acts as a predicate recognizer.
Its functional value is nil unless its argument idea points to a form
at the root of either a Respect graph or a Suspect graph, in which
cases the argument idea is returned as the functional value.

Case 1.

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

Case 2.
          ^             o-------o 
        o--\------------|---o   |
        |   o---o   o---o   |   |
        o-->|   |-->| ) |---o   |
            o---o   o---o       |
            ^                   |
            |   o---------------o
            |  /
    o-------|-/-o
    |   o---o<  |
    o-->| ( |---o
        o---o
        ^
   this | = suspect (this)
        @

function aspect (this: idea): idea;
var here: idea;
begin
 here := nil;
 if this <> nil then
  if respect (this) <> nil then here := this
   else if suspect (this) <> nil then here := this;
 aspect := here
end;

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