Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

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: 2002-07-12 (02:37)
From: John Prevost <j.prevost@c...>
Subject: Re: [Caml-list] Functional scanning facilities
>>>>> "ab" == Alessandro Baretta <> 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

A more complete description of how these work (expressed monadically)
is available in a paper by Hutton and Meijer at

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


To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: