>>>>> "ab" == Alessandro Baretta <alex@baretta.com> writes:

    ab> How about something like the follwing--the idea coming from
    ab> posts I read a while ago about CPS programming:

It works quite well.  Take a look at Lindig's O'Caml implementation of
parser combinators at http://www.gaertner.de/~lindig/software/mylib.html

A more complete description of how these work (expressed monadically)
is available in a paper by Hutton and Meijer at
http://www.cs.nott.ac.uk/~gmh/monparsing.pdf

These techniques can be applied quite easily in O'Caml, although the
way infix definitions work leads to some rather... interesting choices
of symbols.

John.


-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners