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 75E2E7F613
	for <caml-list@sympa.inria.fr>; Tue, 13 Sep 2016 17:40:09 +0200 (CEST)
Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=daniel.buenzli@erratique.ch; spf=None smtp.mailfrom=daniel.buenzli@erratique.ch; spf=None smtp.helo=postmaster@smtp.webfaction.com
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
IronPort-PHdr: =?us-ascii?q?9a23=3A/phKgx1W4XJGc5+5smDT+DRfVm0co7zxezQtwd8Z?=
 =?us-ascii?q?segfIvad9pjvdHbS+e9qxAeQG96KsrQb06GG6+igATVGusfZ9ihaMdRlbFwssY?=
 =?us-ascii?q?0uhQsuAcqIWwXQDcXBSGgEJvlET0Jv5HqhMEJYS47UblzWpWCuv3ZJQk2sfTR8?=
 =?us-ascii?q?Kum9IIPOlcP/j7n0oMyKJVoQz2rlKfMqdVPt/F2X7pFXyaJZaY8JgiPTpXVJf+?=
 =?us-ascii?q?kEjUhJHnm02yjG28Gr4ZR4+D5Rsf9yv+RJUKH9YrhqBecAVGduGykP6cbqrRjO?=
 =?us-ascii?q?SxeUrjtZCz1O00kAPw+QxRETRpoYhQH3rgN40SnSadP1S7EcSD2k46p7DgX13n?=
 =?us-ascii?q?QpLTk8pU3ejM19iJVxNBSzox03l4LdZoCYMLx0Y67bb9cbbWdbRM9NVjVcD8W3?=
 =?us-ascii?q?b91cXKI6Ie9Eotyl9BM1phykCFzpXbu3xw=3D=3D?=
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DCAQC+HNhXh0pWN0pdGwEBAQMBAQEJA?=
 =?us-ascii?q?QEBgzoBAQEBAXV8p1GRAYIDJIV6AoIGEgEBAQEBAQEBAQEBEgEBAQgNCQkZL4I?=
 =?us-ascii?q?yBAEVAQSCEQEBAgIjVhALGAICJgICRxAGG4hCBAqwe4wyAQEBBwIlgQaJeYdCK?=
 =?us-ascii?q?4IvAQSZZYYliwMBY4cXDoYBjFiDeyUCgzGBWm4BhiCBQAEBAQ?=
X-IPAS-Result: =?us-ascii?q?A0DCAQC+HNhXh0pWN0pdGwEBAQMBAQEJAQEBgzoBAQEBAXV?=
 =?us-ascii?q?8p1GRAYIDJIV6AoIGEgEBAQEBAQEBAQEBEgEBAQgNCQkZL4IyBAEVAQSCEQEBA?=
 =?us-ascii?q?gIjVhALGAICJgICRxAGG4hCBAqwe4wyAQEBBwIlgQaJeYdCK4IvAQSZZYYliwM?=
 =?us-ascii?q?BY4cXDoYBjFiDeyUCgzGBWm4BhiCBQAEBAQ?=
X-IronPort-AV: E=Sophos;i="5.30,329,1470693600"; 
   d="scan'208";a="193010998"
Received: from mail6.webfaction.com (HELO smtp.webfaction.com) ([74.55.86.74])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 13 Sep 2016 17:40:08 +0200
Received: from [192.168.5.177] (237-96.dsl.iskon.hr [89.164.237.96])
	by smtp.webfaction.com (Postfix) with ESMTP id 874512133A31;
	Tue, 13 Sep 2016 15:40:04 +0000 (UTC)
Date: Tue, 13 Sep 2016 17:40:02 +0200
From: =?utf-8?Q?Daniel_B=C3=BCnzli?= <daniel.buenzli@erratique.ch>
To: 
 =?utf-8?Q?=D0=90=D0=BD=D0=B4=D1=80=D0=B5=D0=B9_=D0=91=D0=B5=D1=80=D0=B3=D0=BC=D0=B0=D0=BD?=
 <vkni@yandex.ru>
Cc: Caml List <caml-list@inria.fr>
Message-ID: <42F3C9164BFC483EA33797F8F0889234@erratique.ch>
In-Reply-To: <CAGmVoG1naW+w5WL=5VV5aBHrHphy-Bze6vZ_J15-vED_NBwfLg@mail.gmail.com>
References: <337861473779549@web6h.yandex.ru>
 <CAGmVoG1naW+w5WL=5VV5aBHrHphy-Bze6vZ_J15-vED_NBwfLg@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] type-safe printf

On Tuesday 13 September 2016 at 17:31, Kakadu wrote:
> Functional unparsing by Olivier Danvy can be related article.
> http://www.brics.dk/RS/98/12/BRICS-RS-98-12.pdf

That's a good reference. You may also want to have a look at Gabriel Radanne's recent blog post here:

http://drup.github.io/2016/08/02/difflists/

which will show you how to do the same with GADTs, which is a bit more convenient. 

Best, 

Daniel