[Ocaml-pxp-users] PXP: Saving memory

[Alain Frisch]

Gerd Stolpmann wrote:
> It is also possible to mix the stream and tree-based approaches.

FWIW, it is nowadays a hot research issue. A number of researchers are
trying to understand how to automatically derive stream programs from a
functional description (as tree programs). Very simple programs can be
directly written as efficient stream processors (e.g. changing all the
"a" tags to "b" tags), but other would be quite tricky to do (when they
require partial buffering, e.g. copying elements whose following sibling
is an "a").

If Richard's transformation is not completely trivial to implement as a
stream processor, I'd like to hear more details about it!

-- Alain