Re: [stack] Prolog and Rewriting Strategies

Christopher Diggins <[email protected]> wrote:
> I believe that this kind of term rewriting language could be a useful
> a preprocessing language for a concatenative language.

I would expect it to be quite useful (although of course one would
have to be careful about lists, but I understand Cat is careful).
Another thing to watch out for would be types. add and sub may be
inverses (kind of, if they were reversible), but just because their
stack effect is empty doesn't mean they can appear on any stack -- a
stack with two pointers on top can't be added.

-Billy