From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id EAA13698; Fri, 12 Jul 2002 04:37:21 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id EAA13694 for ; Fri, 12 Jul 2002 04:37:20 +0200 (MET DST) Received: from laurelin.dementia.org ([208.167.88.73]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g6C2bJD04701 for ; Fri, 12 Jul 2002 04:37:19 +0200 (MET DST) Received: by laurelin.dementia.org (Postfix, from userid 1001) id 52D9770C3; Thu, 11 Jul 2002 22:43:53 -0400 (EDT) To: Alessandro Baretta Cc: Ocaml Subject: Re: [Caml-list] Functional scanning facilities References: <3D2E328E.5030505@baretta.com> From: John Prevost Date: 11 Jul 2002 22:43:53 -0400 (11.381 UMT) In-Reply-To: <3D2E328E.5030505@baretta.com> Message-ID: <86r8i93bti.fsf@laurelin.dementia.org> User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk >>>>> "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 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