From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.7 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 97209BC6B for ; Sat, 10 Nov 2007 15:32:23 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAHJPNUdC+Vyvlmdsb2JhbACPAgEBAQEHBAYHChEH X-IronPort-AV: E=Sophos;i="4.21,398,1188770400"; d="scan'208";a="19139359" Received: from discorde.inria.fr ([192.93.2.38]) by mail4-smtp-sop.national.inria.fr with ESMTP; 10 Nov 2007 15:32:23 +0100 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id lAAEWM6x013016 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Sat, 10 Nov 2007 15:32:23 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAHJPNUdC+Vyvlmdsb2JhbACPAgEBAQEHBAYHChEH X-IronPort-AV: E=Sophos;i="4.21,398,1188770400"; d="scan'208";a="19139358" Received: from ug-out-1314.google.com ([66.249.92.175]) by mail4-smtp-sop.national.inria.fr with ESMTP; 10 Nov 2007 15:32:22 +0100 Received: by ug-out-1314.google.com with SMTP id m3so528843ugc for ; Sat, 10 Nov 2007 06:32:21 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:message-id:from:to:in-reply-to:content-type:content-transfer-encoding:mime-version:subject:date:references:x-mailer:sender; bh=vKaT+7d9hDWxQM3C6QEehkmRWYVU2Nze3zjKkfrA/QE=; b=cFvVT7v5RmqjSaU7N609Eb2gyBWaly/f44t5AInDOECZXo9xy/53xDZ5za2e5rysnoOW1eTGIuUjaRNxZ2XU4RokY4MqkXoTUT0SYoBcUvNSWUuaZQ0IjWTxBRsi1P/Bef6tAcrD3uIxKjto+h8OW9rRC5kngxyflyO4qtdkWOw= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:from:to:in-reply-to:content-type:content-transfer-encoding:mime-version:subject:date:references:x-mailer:sender; b=BoIj/jBgperxBfrkYReyBD226DGkFwZrvSZBqBF0bmpq5oNDuB108NKhIsqZRjLrd7OTkoFv+rSsMUpnJNRZfa3lmCFbCrvZOabHrNE/tLM8U9MGFrLeo98DE9as4AKHfG/2hpLaVx6mt6gkvVZlV6QUXM8eM30JfYD5rQoCXVI= Received: by 10.67.24.11 with SMTP id b11mr35397ugj.1194705141612; Sat, 10 Nov 2007 06:32:21 -0800 (PST) Received: from ?192.168.1.59? ( [85.2.47.47]) by mx.google.com with ESMTPS id l22sm2861505uga.2007.11.10.06.32.20 (version=TLSv1/SSLv3 cipher=OTHER); Sat, 10 Nov 2007 06:32:21 -0800 (PST) Message-Id: <92C50802-AFEE-4CD4-9F47-FBC9BCABC7A1@erratique.ch> From: =?ISO-8859-1?Q?B=FCnzli_Daniel?= To: caml-list List In-Reply-To: <20071109180948.GA15291@yquem.inria.fr> Content-Type: text/plain; charset=ISO-8859-1; format=flowed; delsp=yes Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Apple Message framework v912) Subject: OCaml's formatting libraries Date: Sat, 10 Nov 2007 15:32:18 +0100 References: <9d3ec8300711080617g1b023711o1a8f9aa50b7874@mail.gmail.com> <47334DAA.80407@inria.fr> <1194548803.47335e4348ebb@webmail.in-berlin.de> <20071109180948.GA15291@yquem.inria.fr> X-Mailer: Apple Mail (2.912) Sender: =?ISO-8859-1?Q?Daniel=20B=FCnzli?= X-Miltered: at discorde with ID 4735C0F6.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; bunzli:01 buenzli:01 ocaml's:01 weis:01 runtime:01 caml's:01 danvy's:01 unparsing:01 scanf:01 doable:01 brics:01 deprecated:01 caml-list:01 mpl:01 strings:01 Le 9 nov. 07 =E0 19:09, Pierre Weis a =E9crit : > In conclusion, I have to correct the runtime compatibility check for =20= > formats > to suppress the problem, and remove any mention of positional =20 > parameters from > the documentation, until I achieve the new type checking stuff for =20 > format > strings. A question I have is why caml's formatting libraries were not =20 deprecated in favor of an implementation using Danvy's functional =20 unparsing [1]. This approach doesn't require an extension to the type =20= system and if I read correctly these results [2] it seems at least as =20= efficient as the current implementation. Scanf seems also doable [3]. The less complexity there is in the type system the safer we are in =20 the end. Best, Daniel [1] http://www.brics.dk/RS/98/12/ [2] http://tkb.mpl.com/~tkb/software/misc/cpsio-test.pdf [3] = http://caml.inria.fr/pub/ml-archives/caml-list/2002/04/156ee5ae044ee4ff06f= f988b384be6c2.fr.html=