Dear caml-list,

I'm pleased to announce the first release of the P3 combinator parser

library, and parser generator. It is essentially a synthesis of Earley

parsing with combinator parsing.

The url is: http://www.tom-ridge.com/p3.html

The main features are:

  * handles all context free grammars

  * fast (when memoized)

  * correct (hopefully)

  * simple (depending on your viewpoint)

  * scannerless (probably not a good idea - a separate lexing phase

    can result in much faster overall performance - but makes

    everything much simpler)

  * parsers implemented via combinators can be integrated easily with

    the core language (OCaml in this case), allowing full use of host

    language features eg modules etc

                                                                                                                                                                                                                                        

I'm sure there is much scope for improvement, but I thought I would

release it now to get feedback.

Thanks

Tom