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 263147F613 for ; Tue, 13 Sep 2016 17:25:56 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=mariojppereira@gmail.com; spf=Pass smtp.mailfrom=mariojppereira@gmail.com; spf=None smtp.helo=postmaster@mail-lf0-f46.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of mariojppereira@gmail.com) identity=pra; client-ip=209.85.215.46; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mariojppereira@gmail.com"; x-sender="mariojppereira@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of mariojppereira@gmail.com designates 209.85.215.46 as permitted sender) identity=mailfrom; client-ip=209.85.215.46; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mariojppereira@gmail.com"; x-sender="mariojppereira@gmail.com"; 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@mail-lf0-f46.google.com) identity=helo; client-ip=209.85.215.46; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mariojppereira@gmail.com"; x-sender="postmaster@mail-lf0-f46.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AD1y1/RG2ZodxmZuK0uPThp1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ75ocywAkXT6L1XgUPTWs2DsrQf2rOQ7PirCTRIoc7Y9itTKNoUD15NoP?= =?us-ascii?q?5VtjRoONSCB0z/IayiRA0BN+MGamVY+WqmO1NeAsf0ag6aiHSz6TkPBke3blIt?= =?us-ascii?q?dazLE4Lfx/66y/q1s8WKJV4Z3XziOfgidF329VyX7ZhOx9M6a+4Y8VjgmjNwYe?= =?us-ascii?q?NYxGdldxq4vi3XwYOOxqNl6DlaoPk79sRNAu3QdqU8SqFEXnx9azhmrJ6jiR6W?= =?us-ascii?q?RgKK4j4YU34KuhtOGQnMqh/gDbnrtS6vk+Nn2S7SBcDsQLEuUHz26q5xSRjqkD?= =?us-ascii?q?8KLTM46mj/hcl5jaYdqxWk8U8si7XIaZ2YYaItNpjWeskXEDJM?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AtAgAsGdhXhi7XVdFdHBgNBgEBFgEBB?= =?us-ascii?q?QEBBQGCfAEBAQEBgR9SrQCLUoIDhh4CgUw4FAEBAQEBAQEBAQEBEgEBAQgLCwk?= =?us-ascii?q?ZL0ESgV8YghgBAQQSEQ8BBQgBGx4DDAYDAgsPAiYCAiMRAQUBHBMIAQEeiA0BA?= =?us-ascii?q?xeTY49FgTI+Mos9gWqCXgWDZwoZJw1TglQBAQEHAQEBARsCBhB2hyMIgk6FDII?= =?us-ascii?q?2gloBBJllj1CBWId7DoYBjFiCOTGBER6DOoFaboQGgwoBAQE?= X-IPAS-Result: =?us-ascii?q?A0AtAgAsGdhXhi7XVdFdHBgNBgEBFgEBBQEBBQGCfAEBAQE?= =?us-ascii?q?BgR9SrQCLUoIDhh4CgUw4FAEBAQEBAQEBAQEBEgEBAQgLCwkZL0ESgV8YghgBA?= =?us-ascii?q?QQSEQ8BBQgBGx4DDAYDAgsPAiYCAiMRAQUBHBMIAQEeiA0BAxeTY49FgTI+Mos?= =?us-ascii?q?9gWqCXgWDZwoZJw1TglQBAQEHAQEBARsCBhB2hyMIgk6FDII2gloBBJllj1CBW?= =?us-ascii?q?Id7DoYBjFiCOTGBER6DOoFaboQGgwoBAQE?= X-IronPort-AV: E=Sophos;i="5.30,329,1470693600"; d="scan'208";a="193008744" Received: from mail-lf0-f46.google.com ([209.85.215.46]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 13 Sep 2016 17:25:55 +0200 Received: by mail-lf0-f46.google.com with SMTP id u14so113445214lfd.1 for ; Tue, 13 Sep 2016 08:25:55 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=from:subject:to:references:message-id:date:user-agent:mime-version :in-reply-to:content-transfer-encoding; bh=BlkWA2aXPK0jsU7l8UvD9Bwfsb68E9L0+TW7V/NSePE=; b=vUtCexfr1ooVbxXYJVtCAF/+lm29ElELadKDq+K334GrfR2OAxR7fnszjcY7URiHmV bnK683muzXst/6Pz0tWM5JFAnK2jE1muFG43aBJxqGNghw1LuvZ4tPHTnVtZzNrvM+If /nLeU7+MeHBaZvo8928tRrVJHwLBWBE8fP8s+NSFkyirjfHhoGQ8zfIuV2x6jc03NH1k qgOpkq3DDzBaMM+gkDUZoQF+j2w1U+VWgY2hEoxGKbqMqJzcQlG8CeVq7SDS69BKKwNx z3BHxQgnJ+NRg1lF9FsFnLp36imMjAJTmPmSIS4PqejOpoxmiYEft5ESvvhedja+Hvlq CpYQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:from:subject:to:references:message-id:date :user-agent:mime-version:in-reply-to:content-transfer-encoding; bh=BlkWA2aXPK0jsU7l8UvD9Bwfsb68E9L0+TW7V/NSePE=; b=RgnLMBbygceK7ZsAFLu5BEBlEqore3vk5FpJRAldUoeoX1m5x4oDi/H4ipzG7yOXV6 uZSNMtTaTKFTBH4UaE8WaNU1ui9dGFRwRLR3qHoU79KjyBQV8b9IrZV+jNIGyE1EBiTf +IL4zdBfkWFS9DXnRdkhlsrXDuX4FhidLiZbrT7t5vhTBanP502BYRPcBNu1abAXCYfY ZwkbLvPcedAFhym6n5Fxfm3nTx/OPqPJeVfHKZSfC5gPH0FSMJnd5FICEM88yNx880dG L6FJPcA5gqxxX7wXrjkKUkPPVFy62gKUjNn6x/UqehU2pl557N9zvqfmUG4wuuR8LgKv az/g== X-Gm-Message-State: AE9vXwN9pDLTxPrrkE5bIUorVIXIdzMOtv/AiIsuuHG5VHgnMV7vk5W1Jg+Dq23i8eCNiA== X-Received: by 10.194.200.36 with SMTP id jp4mr23486970wjc.26.1473780354619; Tue, 13 Sep 2016 08:25:54 -0700 (PDT) Received: from [129.175.30.183] (lri30-183.lri.fr. [129.175.30.183]) by smtp.gmail.com with ESMTPSA id bo7sm23525048wjb.28.2016.09.13.08.25.53 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Tue, 13 Sep 2016 08:25:53 -0700 (PDT) From: Mario Pereira X-Google-Original-From: Mario Pereira To: caml-list@inria.fr References: <337861473779549@web6h.yandex.ru> Message-ID: Date: Tue, 13 Sep 2016 17:25:51 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.2.0 MIME-Version: 1.0 In-Reply-To: <337861473779549@web6h.yandex.ru> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit X-Validation-by: mariojppereira@gmail.com Subject: Re: [Caml-list] type-safe printf 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. >