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.2 required=5.0 tests=AWL,NO_RELAYS autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: by yquem.inria.fr (Postfix, from userid 24253) id DFBEFBC69; Tue, 13 Nov 2007 10:13:34 +0100 (CET) Date: Tue, 13 Nov 2007 10:13:34 +0100 To: =?iso-8859-1?Q?B=FCnzli?= Daniel Cc: caml-list caml-list Subject: Re: [Caml-list] OCaml's formatting libraries Message-ID: <20071113091334.GB20423@yquem.inria.fr> References: <9d3ec8300711080617g1b023711o1a8f9aa50b7874@mail.gmail.com> <20071109180948.GA15291@yquem.inria.fr> <92C50802-AFEE-4CD4-9F47-FBC9BCABC7A1@erratique.ch> <200711101458.04047.jon@ffconsultancy.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.9i From: weis@yquem.inria.fr (Pierre Weis) X-Spam: no; 0.00; ocaml's:01 weis:01 weis:01 admittedly:01 algebra:01 algebra:01 bug:01 rocquencourt:01 corrected:01 caml-list:01 strings:01 strings:01 pierre:02 pierre:02 bat:02 > I'd rather have a simple and correct type system. You have a correct type system. Admittedly, its simplicity can be discussed, if we consider the many features added to the language that really impact the type algebra. The format strings feature is not from this family of new and deep modification of the type system: it neither impact the type algebra nor is a late addition (it was introduced more than 10 years ago). Believe me, it is in essence rock solid and fully type safe. On the other hand, yes, there is still some work to do to fully support the new additional feature of positional parameters. I agree, this is not easy. But no, the format strings are not essentially flawed by the bug reported here: the new feature implementation will be corrected or the new feature will be removed. Best regards, -- Pierre Weis INRIA Rocquencourt, http://bat8.inria.fr/~weis/