Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] Functional scanning facilities
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: John Prevost <j.prevost@c...>
Subject: Re: [Caml-list] Functional scanning facilities
>>>>> "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