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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id A815B7EC6E for ; Sat, 18 Jan 2014 11:00:27 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.214.52; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.214.52 as permitted sender) identity=mailfrom; client-ip=209.85.214.52; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; 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@mail-bk0-f52.google.com) identity=helo; client-ip=209.85.214.52; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-bk0-f52.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Am8DAOpP2lLRVdY0lGdsb2JhbABZg0NWqEWSZoEACBYOAQEBAQcLCwkSKoIlAQEBBEABGxILAQMMBgULAwoNISIBEQEFAQoSBhMSCIdWAQMRDZtdjFyDCZI5ChknAwpkhHIRAQUMjkAzB4Q4BJghgTGOeRgphFo7 X-IPAS-Result: Am8DAOpP2lLRVdY0lGdsb2JhbABZg0NWqEWSZoEACBYOAQEBAQcLCwkSKoIlAQEBBEABGxILAQMMBgULAwoNISIBEQEFAQoSBhMSCIdWAQMRDZtdjFyDCZI5ChknAwpkhHIRAQUMjkAzB4Q4BJghgTGOeRgphFo7 X-IronPort-AV: E=Sophos;i="4.95,679,1384297200"; d="scan'208";a="53817047" Received: from mail-bk0-f52.google.com ([209.85.214.52]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 18 Jan 2014 11:00:27 +0100 Received: by mail-bk0-f52.google.com with SMTP id e11so998798bkh.11 for ; Sat, 18 Jan 2014 02:00:26 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type:content-transfer-encoding; bh=BUUoH7AHOSyX8zbc3cKwU0LzIShmGMXjAGH2UKzRD1U=; b=gVUN9CLoiHR7mz8+jf4E5/e1c/htittzg8RkGdNZL7jX4P44a2eyX4pCM5aT/afy/Q GNVurxNyR2wWjclE5MdG75E4uUVn3Npdl4BDBNpcDEbyni+GDtFp5TOoeC6PUV2UTz4Z S8Avw2+BfNmOvFrfZxSPQgDzOJwI8ZWLJpYRd4Nz+Aze4iCVzYlA46udgzhBndlmFtfS w5RXFFZVNAsO0VFSdNjvnlAhHQmnmMETBZMgtl4bTWE1qT0bmJy/8GyEsJCPCyDhbqxb aFEhxaby13wwUmIYl6DmNrjj826DlF3wlvwFtpZwxZdynNRe1gvHbbyv5rFE8dwWVpf3 L2pA== X-Received: by 10.205.77.196 with SMTP id zj4mr6084bkb.170.1390039226522; Sat, 18 Jan 2014 02:00:26 -0800 (PST) MIME-Version: 1.0 Received: by 10.205.45.5 with HTTP; Sat, 18 Jan 2014 01:59:46 -0800 (PST) In-Reply-To: References: <2112632769.281907.1389913202532.open-xchange@communicator.strato.de> <0290505B-A21A-4A05-A1C9-4C5F765DFEB5@math.nagoya-u.ac.jp> <02b301cf13e5$bdd11af0$397350d0$@ffconsultancy.com> From: Gabriel Scherer Date: Sat, 18 Jan 2014 10:59:46 +0100 Message-ID: To: David Allsopp Cc: OCaML List Mailing Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] ocaml considered dangerous Right now (in the following weeks) the priority is to finish a thorough review of the (quite large) proposed patch, and integrate it in trunk. After that, you will be welcome to experiment with implementing propositional parameter and proposing it for integration. Assuming maintainers are ready to take the feature back (which is not a given), my intuition is that it would be doable, but you would have to be careful to have an implementation that does not degrade performances for formats that do not use the feature. On Sat, Jan 18, 2014 at 10:43 AM, David Allsopp wr= ote: > Gabriel Scherer wrote: >> David Allsopp wrote: >> > Does this new version fix positional specifiers? >> No, it does not. It makes the printf codebase easier to work with (if you >> know your GADTs), > > Shame - it's an absence I find regularly irritating! > > Printf.printf "long-perfectly-readable-multi-line-format-string" = id id id id date id id date date id :o) > >> but lately the tendency has rather been to hope for *less* complex stuff= in formats, rather than more. > > Well, for me, the hope was that things that were supposed to have been th= ere (in the docs) might be fixed! The comments closing PRs 3992, 4204, 4290= and 4321 all suggested that a rewrite would hope reintroduce positional sp= ecifiers. From the printf perspective, I thought the objective was to match= all the implementable parts of ISO C's printf (i.e. skipping only the thin= gs which are not type-safe). > > > David > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs