From mboxrd@z Thu Jan 1 00:00:00 1970 X-Sympa-To: caml-list@inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id pB8Bxkqi023841 for ; Thu, 8 Dec 2011 12:59:47 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqoBAMCl4E6K57AEi2dsb2JhbAApGoUGpV8iAQEBCgsLGyWBcgEBBAEjFUARCxoCBRYLAgIJAwIBAgFFEwgCF4dsCCOlLZE2gTSGb4ICgRYEmjaMXA X-IronPort-AV: E=Sophos;i="4.71,319,1320620400"; d="scan'208";a="134536320" Received: from ariane.ens-cachan.fr ([138.231.176.4]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 08 Dec 2011 12:59:47 +0100 Received: from localhost (localhost [127.0.0.1]) by ariane.ens-cachan.fr (Postfix) with ESMTP id 7CA02BCFFB for ; Thu, 8 Dec 2011 12:59:47 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at ens-cachan.fr Received: from ariane.ens-cachan.fr ([127.0.0.1]) by localhost (ariane.ens-cachan.fr [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id j-wEEr2RaF+C for ; Thu, 8 Dec 2011 12:59:47 +0100 (CET) Received: from olive.lsv.ens-cachan.fr (olive.lsv.ens-cachan.fr [138.231.81.248]) by ariane.ens-cachan.fr (Postfix) with ESMTP id 630D0BCFFA for ; Thu, 8 Dec 2011 12:59:47 +0100 (CET) Received: from [138.231.81.43] (unknown [138.231.81.43]) by olive.lsv.ens-cachan.fr (Postfix) with ESMTP id 5F2A74C018F for ; Thu, 8 Dec 2011 12:59:47 +0100 (CET) Message-ID: <4EE0A6C6.8040703@lri.fr> Date: Thu, 08 Dec 2011 13:00:06 +0100 From: Romain Bardou User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.24) Gecko/20111114 Icedove/3.1.16 MIME-Version: 1.0 To: caml-list@inria.fr References: <1323271707.32238.17.camel@arrakis> <4EDF9AAE.5050604@crans.org> <1323279292.32238.48.camel@arrakis> In-Reply-To: <1323279292.32238.48.camel@arrakis> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit X-Validation-by: bardou@lri.fr Subject: Re: [Caml-list] Generic printer patch >> 2) Could you imagine to generalize it to Format.formatter or to >> out_channel (without creating a string and concatenating)? Romain Bardou >> add in the mantis tracker (I can't give you the bugtracking number since >> mantis "is currently offline for maintenance") a feature wish for a new >> conversion specification that can print anything. Do you think you can >> fulfill is dream? Here is the feature request I proposed: http://caml.inria.fr/mantis/view.php?id=4956 Here is the response by Pierre Weis: "This is a major feature wish that requires careful thinking and a lot of work! Furthermore, we would not have a completely satisfactory solution in the end (due to this catch all case that tend to propagate, as far as you use polymorphic functions). The correct solution to get this feature in its full glory is a major modification of the type system along the lines of G'Caml. In short, a natural feature wish in a strongly typed polymorphic language; we had it in mind for decades; unfortunately, we are not yet ready to offer it, even in the rather limited extent you proposed." In other words: what you did is awesome but I'm not sure that it will be added in the trunk :( Cheers, -- Romain Bardou