From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 65BEF7F613 for ; Tue, 13 Sep 2016 17:36:53 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=mail@maximedenes.fr; spf=Pass smtp.mailfrom=mail@maximedenes.fr; spf=None smtp.helo=postmaster@16.mo3.mail-out.ovh.net Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of mail@maximedenes.fr) identity=pra; client-ip=188.165.56.217; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mail@maximedenes.fr"; x-sender="mail@maximedenes.fr"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of mail@maximedenes.fr designates 188.165.56.217 as permitted sender) identity=mailfrom; client-ip=188.165.56.217; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mail@maximedenes.fr"; x-sender="mail@maximedenes.fr"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@16.mo3.mail-out.ovh.net) identity=helo; client-ip=188.165.56.217; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mail@maximedenes.fr"; x-sender="postmaster@16.mo3.mail-out.ovh.net"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AGo3/mRIAXeZbKjBNxdmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgUL/jxwZ3uMQTl6Ol3ixeRBMOAuqsC1LKd4/ioGTRZp83Q6DZaKN0EfiRGoP?= =?us-ascii?q?1epxYnDs+BBB+zB9/RRAt+Iv5/UkR49WqwK0lfFZW2TVTTpnqv8WxaQU2nZkJL?= =?us-ascii?q?L+j4UrTfk96wn7jrvcaCOkMX3HHtOfsydEzw9lSJ8JFOwMNLEeUY8lPxuHxGeu?= =?us-ascii?q?BblytDBGm4uFLC3Pq254Np6C9KuvgspIZqWKT+eLkkH/QDVGx1ezN92Mq+vhDG?= =?us-ascii?q?SU6L52AAemQQiBtBRQbfvz/gWZKklyLqt+9wkAUbO03tBeQxUDWmx6JiWB7thS?= =?us-ascii?q?sKMTMitm/N3J8jxJlHqQ6s8kQsi7XfZ5uYYaJz?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AbBgC+HNhXh9k4pbxdHAEXAQYBBgUBA?= =?us-ascii?q?RYBAQUBAQUBgnwBAQEBAXUqUrhSggMkhXoCgUw5EwEBAQEBAQEBAQEBEgEBAQo?= =?us-ascii?q?LCQkZL4IyGIIYAQECAiMPAVYJAhgCAiYCAlcTCAEBiEYECpNXnSSMMgELAR8Fg?= =?us-ascii?q?QaEMoJxCIJOhQyCNoJaBZQThVJehUeTDIYBjFiDeyACgzaBWm6HYQEBAQ?= X-IPAS-Result: =?us-ascii?q?A0AbBgC+HNhXh9k4pbxdHAEXAQYBBgUBARYBAQUBAQUBgnw?= =?us-ascii?q?BAQEBAXUqUrhSggMkhXoCgUw5EwEBAQEBAQEBAQEBEgEBAQoLCQkZL4IyGIIYA?= =?us-ascii?q?QECAiMPAVYJAhgCAiYCAlcTCAEBiEYECpNXnSSMMgELAR8FgQaEMoJxCIJOhQy?= =?us-ascii?q?CNoJaBZQThVJehUeTDIYBjFiDeyACgzaBWm6HYQEBAQ?= X-IronPort-AV: E=Sophos;i="5.30,329,1470693600"; d="scan'208";a="193010292" Received: from 16.mo3.mail-out.ovh.net ([188.165.56.217]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 13 Sep 2016 17:36:18 +0200 Received: from player772.ha.ovh.net (b7.ovh.net [213.186.33.57]) by mo3.mail-out.ovh.net (Postfix) with ESMTP id E8B1810010A1 for ; Tue, 13 Sep 2016 17:36:17 +0200 (CEST) Received: from [138.96.200.18] (deeperblue.inria.fr [138.96.200.18]) (Authenticated sender: mail@maximedenes.fr) by player772.ha.ovh.net (Postfix) with ESMTPSA id D08434C0064 for ; Tue, 13 Sep 2016 17:36:17 +0200 (CEST) To: caml-list@inria.fr References: <337861473779549@web6h.yandex.ru> From: =?UTF-8?B?TWF4aW1lIETDqW7DqHM=?= Message-ID: Date: Tue, 13 Sep 2016 17:36:17 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.3.0 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Ovh-Tracer-Id: 2085448104793258271 X-VR-SPAMSTATE: OK X-VR-SPAMSCORE: 0 X-VR-SPAMCAUSE: gggruggvucftvghtrhhoucdtuddrfeeluddrjedtgdeltdculddtuddrfeeltddrtddtmdcutefuodetggdotefrodftvfcurfhrohhfihhlvgemucfqggfjnecuuegrihhlohhuthemuceftddtnecu Subject: Re: [Caml-list] type-safe printf Hello, Some ideas are described here: https://ocaml.org/meetings/ocaml/2013/proposals/formats-as-gadts.pdf Maxime. On 09/13/16 17:25, Mario Pereira wrote: > Hi, > > You can do it using GADTs. However, I am not sure if this is explained > somewhere. > > Le 13/09/2016 à 17:12, Андрей Бергман a écrit : >> Hello, >> >> is there a good article or just short explanation how compile-type >> checking of Printf arguments works? >> >> Does it require special compiler support like in C++ >> compilers/analyzers, or one can somehow do the trick of parsing string >> literal using Ocaml language itself? (actually latter does not look >> possible to me) >> >> Thanks, >> Andrey. >> > >