From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <daniel.buenzli@erratique.ch>
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id 9E34F7F726
	for <caml-list@sympa.inria.fr>; Mon,  5 May 2014 00:38:37 +0200 (CEST)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  daniel.buenzli@erratique.ch) identity=pra;
  client-ip=74.55.86.74;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="daniel.buenzli@erratique.ch";
  x-sender="daniel.buenzli@erratique.ch";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  daniel.buenzli@erratique.ch) identity=mailfrom;
  client-ip=74.55.86.74;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="daniel.buenzli@erratique.ch";
  x-sender="daniel.buenzli@erratique.ch";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@smtp.webfaction.com) identity=helo;
  client-ip=74.55.86.74;
  receiver=mail2-smtp-roc.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: Am0CAB/AZlNKN1ZKnGdsb2JhbABYg1WCH4EgwgOBJg4BAQEBAQYNCQkUKIImAQMCI1YQCw4MAiYCAkcQBhuIOQQJphGjdReBKox1MweCdDaBFQSgAReEGossaw
X-IPAS-Result: Am0CAB/AZlNKN1ZKnGdsb2JhbABYg1WCH4EgwgOBJg4BAQEBAQYNCQkUKIImAQMCI1YQCw4MAiYCAkcQBhuIOQQJphGjdReBKox1MweCdDaBFQSgAReEGossaw
X-IronPort-AV: E=Sophos;i="4.97,984,1389740400"; 
   d="scan'208";a="72048382"
Received: from mail6.webfaction.com (HELO smtp.webfaction.com) ([74.55.86.74])
  by mail2-smtp-roc.national.inria.fr with ESMTP; 05 May 2014 00:38:36 +0200
Received: from [172.20.10.2] (102-225.197-178.cust.bluewin.ch [178.197.225.102])
	by smtp.webfaction.com (Postfix) with ESMTP id E662622704E2;
	Sun,  4 May 2014 22:38:33 +0000 (UTC)
Date: Mon, 5 May 2014 00:38:31 +0200
From: =?utf-8?Q?Daniel_B=C3=BCnzli?= <daniel.buenzli@erratique.ch>
To: Peter Zotov <whitequark@whitequark.org>
Cc: Malcolm Matalka <mmatalka@gmail.com>, caml-list
 <caml-list@inria.fr>, info@gerd-stolpmann.de
Message-ID: <2F05DA1D749543D78394B61F2E8FB16D@erratique.ch>
In-Reply-To: <fbb0c47eec050f267acabfa089db8862@whitequark.org>
References: <6232dace806569a16f7fbfaa1689ef42@whitequark.org>
 <87wqe23kvw.fsf@gmail.com>
 <0f8bb41e5638586926c6975e1def53e9@whitequark.org>
 <87ppju3dk6.fsf@gmail.com>
 <3beba9cb0078930fd8a48c4408fa1773@whitequark.org>
 <87iopm2lnk.fsf@gmail.com>
 <3d5dc7368c12c92ab9cb1a45f1210360@whitequark.org>
 <87bnvd374f.fsf@gmail.com>
 <fbb0c47eec050f267acabfa089db8862@whitequark.org>
X-Mailer: sparrow 1.6.4 (build 1178)
MIME-Version: 1.0
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline
Subject: Re: [Caml-list] [ANN] ppx_protobuf

Le lundi, 5 mai 2014 =C3=A0 00:21, Peter Zotov a =C3=A9crit :
> Hopefully it can give some inspiration on how to implement such
> a serialization library.

If you are interested in combinator based approaches you can have a look at=
 the following papers (sorry for the ocamldoc) :

 {b References.}=20=20

Martin Elsman.=20=20
{{:http://www.cs.ioc.ee/tfp-icfp-gpce05/tfp-proc/07num.pdf}
{e Type-Specialized Serialization with Sharing}}.=20=20
Proceedings of the 6th Symposium on Trends in Functional Programming,=20=20
2005, pp. 88-102.=20=20


Andrew J. Kennedy.=20=20
{{:http://dx.doi.org/10.1017/S0956796804005209}{e Pickler combinators}}.
J. Functional Programming, 2004, 14 (6), pp. 727-739.



Best,

Daniel