RE01 Rice Brian T. EM2 BRice@vinson.navy.mil
Mon, 4 Jan 1999 13:21:37 +0300

>     Brian> that would allow us to use Lisp to simulate the arrow
>     Brian> system, but the limitations of Lisp might be cumbersome for
>     Brian> some of the things i would lilke to express in Arrow.
>     Brian> maybe it could be used for a portable description of graphs
>     Brian> or something.
> What limitations are you thinking of ?
at a simple level, i'm just talking about the idea of expressing a graph in
a linear text-based format:  it's just not intuitive.  another thing is that
some of the abstraction operators for which i'm developing explanations do a
lot of 'cross-cutting' that would result in an overload of identifiers.
what i mean is that the Lisp system which emulates an Arrow system would
probably have to be more complicated, due to the inherent difficulties in
simulating infinitary structures of arrows, which i am starting to realize
wil be quite common, as well as some prolific arrow structures generated for
even simple systems.