From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <oleg@okmij.org>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
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 4705C7F614
	for <caml-list@sympa.inria.fr>; Wed, 14 Sep 2016 13:14:51 +0200 (CEST)
Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=oleg@okmij.org; spf=Pass smtp.mailfrom=oleg@okmij.org; spf=None smtp.helo=postmaster@mail1.g3.pair.com
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  oleg@okmij.org) identity=pra; client-ip=66.39.3.114;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="oleg@okmij.org"; x-sender="oleg@okmij.org";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  oleg@okmij.org designates 66.39.3.114 as permitted sender)
  identity=mailfrom; client-ip=66.39.3.114;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="oleg@okmij.org"; x-sender="oleg@okmij.org";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mail1.g3.pair.com) identity=helo;
  client-ip=66.39.3.114;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="oleg@okmij.org";
  x-sender="postmaster@mail1.g3.pair.com";
  x-conformance=sidf_compatible
IronPort-PHdr: =?us-ascii?q?9a23=3AkEc3DhQSJCA89l8AAd4vhE6fOtpsv+yvbD5Q0YIu?=
 =?us-ascii?q?jvd0So/mwa67YhGN2/xhgRfzUJnB7Loc0qyN4vmmBjZLus3J8ChbNscTB1ld0Y?=
 =?us-ascii?q?RetjdjKfDGIHWzFOTtYS0+EZYKf35e1Fb/D3JoHt3jbUbZuHy44G1aMBz+MQ1o?=
 =?us-ascii?q?Ora9QdaK3Izkn9y1rp7aYAxEmXy9aL17KhywpC3es8AXhc1pLaNi5AHOpy5vf+?=
 =?us-ascii?q?lZjTdvIV+ctxH/48ayupl5/HID6Loa68dcXPCiLOwDRrtCAWF+Pg=3D=3D?=
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DJAAD0L9lXh3IDJ0JcHAEBBAEBCgEBF?=
 =?us-ascii?q?xgNgn4BAQEBAXV8jTOrJYIDJIV6AoFLOBQBAQEBAQEBAQEBARIBAQEKCwkJGS+?=
 =?us-ascii?q?CMhiCGAEBAgEBOj8FFiE0BYkeCA68JAEBCAIlhjCEUIJfgi2CYYIvBY8kikSCL?=
 =?us-ascii?q?4N2iSUKgVgBY3yMKpBWHoNGgWhhAYZTAQEB?=
X-IPAS-Result: =?us-ascii?q?A0DJAAD0L9lXh3IDJ0JcHAEBBAEBCgEBFxgNgn4BAQEBAXV?=
 =?us-ascii?q?8jTOrJYIDJIV6AoFLOBQBAQEBAQEBAQEBARIBAQEKCwkJGS+CMhiCGAEBAgEBO?=
 =?us-ascii?q?j8FFiE0BYkeCA68JAEBCAIlhjCEUIJfgi2CYYIvBY8kikSCL4N2iSUKgVgBY3y?=
 =?us-ascii?q?MKpBWHoNGgWhhAYZTAQEB?=
X-IronPort-AV: E=Sophos;i="5.30,333,1470693600"; 
   d="scan'208";a="236419503"
Received: from mail1.g3.pair.com ([66.39.3.114])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 14 Sep 2016 13:14:50 +0200
Received: from Magus.localnet (fortigate.sf.ecei.tohoku.ac.jp [130.34.188.206])
	(using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits))
	(No client certificate requested)
	by mail1.g3.pair.com (Postfix) with ESMTPSA id D8EC93FBED3;
	Wed, 14 Sep 2016 07:14:46 -0400 (EDT)
Date: Wed, 14 Sep 2016 20:19:23 +0900
From: Oleg <oleg@okmij.org>
To: kakadu.hafanana@gmail.com
Cc: caml-list@inria.fr
Message-ID: <20160914111923.GA3996@Magus.localnet>
Mail-Followup-To: Oleg <oleg@okmij.org>, kakadu.hafanana@gmail.com,
	caml-list@inria.fr
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <CAGmVoG1naW+w5WL=5VV5aBHrHphy-Bze6vZ_J15-vED_NBwfLg@mail.gmail.com>
User-Agent: Mutt/1.6.1 (2016-04-27)
Subject: Re: [Caml-list] type-safe printf


> Functional unparsing by Olivier Danvy can be related article.
> http://www.brics.dk/RS/98/12/BRICS-RS-98-12.pdf

Well, in that vein one can point out

        Functional un|unparsing
        http://okmij.org/ftp/typed-formatting/index.html#derivation

which deals with both type-safe printf and scanf (and, moreover, using
exactly the same format for both printing and parsing) and derives even
more type-safe parsing/unparsing methods.