From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <daniel.buenzli@erratique.ch>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by sympa.inria.fr (Postfix) with ESMTPS id F3DC97EE51
	for <caml-list@sympa.inria.fr>; Mon,  8 Apr 2013 13:03:45 +0200 (CEST)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  daniel.buenzli@erratique.ch) identity=pra;
  client-ip=74.55.86.74;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="daniel.buenzli@erratique.ch";
  x-sender="daniel.buenzli@erratique.ch";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  daniel.buenzli@erratique.ch) identity=mailfrom;
  client-ip=74.55.86.74;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="daniel.buenzli@erratique.ch";
  x-sender="daniel.buenzli@erratique.ch";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@smtp.webfaction.com) identity=helo;
  client-ip=74.55.86.74;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="daniel.buenzli@erratique.ch";
  x-sender="postmaster@smtp.webfaction.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AmkBAKmiYlFKN1ZKnGdsb2JhbABRgz2DKb1+gR0OAQEBAQEGDQkJFCiCIAEFI1YQCxoCJgICRxAGG4gMBKpOkgKBI44AB4IuMmEDnGQTjGCBNw
X-IPAS-Result: AmkBAKmiYlFKN1ZKnGdsb2JhbABRgz2DKb1+gR0OAQEBAQEGDQkJFCiCIAEFI1YQCxoCJgICRxAGG4gMBKpOkgKBI44AB4IuMmEDnGQTjGCBNw
X-IronPort-AV: E=Sophos;i="4.87,429,1363129200"; 
   d="scan'208";a="10165298"
Received: from mail6.webfaction.com (HELO smtp.webfaction.com) ([74.55.86.74])
  by mail3-smtp-sop.national.inria.fr with ESMTP; 08 Apr 2013 13:03:45 +0200
Received: from [172.20.10.2] (92.40.254.63.threembb.co.uk [92.40.254.63])
	by smtp.webfaction.com (Postfix) with ESMTP id 94DC120D7CD3;
	Mon,  8 Apr 2013 11:03:42 +0000 (UTC)
Date: Mon, 8 Apr 2013 12:03:39 +0100
From: =?utf-8?Q?Daniel_B=C3=BCnzli?= <daniel.buenzli@erratique.ch>
To: Tom Ridge <tom.j.ridge+caml@googlemail.com>
Cc: caml-list <caml-list@inria.fr>
Message-ID: <48620B658D39465385431EB23E6876C8@erratique.ch>
In-Reply-To: <CABooLwO-_B7bHdadVM4QZyDcKAhf-RD=muBRm2kQCXmQ0KEGxQ@mail.gmail.com>
References: <CABooLwO-_B7bHdadVM4QZyDcKAhf-RD=muBRm2kQCXmQ0KEGxQ@mail.gmail.com>
X-Mailer: sparrow 1.6.4 (build 1178)
MIME-Version: 1.0
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
Subject: Re: [Caml-list] First release of P3: a combinator parser library,
 and parser generator

Hello Tom,

Combinator parsers were an obsession of mine a few years ago. I really liked the approach but eventually always ended up writing LL(k) parsers (xmlm, jsonm) by hand which so far has been the only "technology" that allows me to give the best error messages/correction, to handle asynchronous IO, and to remain reasonably efficient. 

Could you maybe comment on these points:  

* What's the error handling strategy ? Is there support for error correction ? 
* Is there support for non-blocking parsing (asynchronous IO) ? 

Best,

Daniel