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 7D6C37F168 for ; Fri, 28 Aug 2015 16:35:08 +0200 (CEST) IronPort-PHdr: 9a23:7GGvkRy18ZeM7ebXCy+O+j09IxM/srCxBDY+r6Qd0e0RIJqq85mqBkHD//Il1AaPBtWAra8Vw8Pt8IneGkU4qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2WVTerzWI4CIIHV2nbEwudr+zR9+apv/0/t7x0qWbWx9Piju5bOE6BzSNhiKViPMrh5B/IL060BrDrygAUe1XwWR1OQDbxE6ktY+YtaRu+CVIuv8n69UIEeCjJ/x5HvRkC2EBGGkw4IXOvBjHTA2Arl8dSXlexhFBBgyA6BDhQr/wtDH7v6xzwn/JE9fxSOUdXT2j6e9FUh7zgydPYzc9+WDRzMJqjblQoDqlqgx+zY+Sa4aQYqktNpjBdM8XEDISFv1aUDZMV8blN9MC Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=alain.frisch@lexifi.com; spf=None smtp.mailfrom=alain.frisch@lexifi.com; spf=None smtp.helo=postmaster@mx20.yaziba.net Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of alain.frisch@lexifi.com) identity=pra; client-ip=85.233.204.164; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="alain.frisch@lexifi.com"; x-sender="alain.frisch@lexifi.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of alain.frisch@lexifi.com) identity=mailfrom; client-ip=85.233.204.164; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="alain.frisch@lexifi.com"; x-sender="alain.frisch@lexifi.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mx20.yaziba.net) identity=helo; client-ip=85.233.204.164; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="alain.frisch@lexifi.com"; x-sender="postmaster@mx20.yaziba.net"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AtAQDjcOBVnKTM6VVeh3vCWgKBPDwQAQEBAQEBAQEQAQEBAQEICwkJIS6CHYIHAQEEIxVAEQsaAgUWCwICCQMCAQIBRQYNCAEBiC6vdpRiLIEihUuDcoEDhRKCaYFDAQSFNZAKikKCMYh4kW0ChCeDPAEBAQ X-IPAS-Result: A0AtAQDjcOBVnKTM6VVeh3vCWgKBPDwQAQEBAQEBAQEQAQEBAQEICwkJIS6CHYIHAQEEIxVAEQsaAgUWCwICCQMCAQIBRQYNCAEBiC6vdpRiLIEihUuDcoEDhRKCaYFDAQSFNZAKikKCMYh4kW0ChCeDPAEBAQ X-IronPort-AV: E=Sophos;i="5.17,425,1437429600"; d="scan'208";a="144082109" Received: from mx20.yaziba.net ([85.233.204.164]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 28 Aug 2015 16:35:07 +0200 Received: from mta10.int.yaziba.net (unknown [10.4.20.30]) by mx20.yaziba.net (mx10.yaziba.net) with ESMTP id E3D9A1A74CD for ; Fri, 28 Aug 2015 16:35:06 +0200 (CEST) Received: from localhost (localhost [127.0.0.1]) by mta10.int.yaziba.net (Postfix) with ESMTP id DBDC7CA653 for ; Fri, 28 Aug 2015 16:35:06 +0200 (CEST) X-Virus-Scanned: amavisd-new at mta10.int.yaziba.net Received: from mta10.int.yaziba.net ([127.0.0.1]) by localhost (mta10.int.yaziba.net [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id xhAbCPjUIQnR for ; Fri, 28 Aug 2015 16:35:06 +0200 (CEST) Received: from localhost (localhost [127.0.0.1]) by mta10.int.yaziba.net (Postfix) with ESMTP id B37D3CA694 for ; Fri, 28 Aug 2015 16:35:06 +0200 (CEST) X-Virus-Scanned: amavisd-new at mta10.int.yaziba.net Received: from mta10.int.yaziba.net ([127.0.0.1]) by localhost (mta10.int.yaziba.net [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id McG2P3qs__eh for ; Fri, 28 Aug 2015 16:35:06 +0200 (CEST) Received: from [10.0.210.222] (unknown [185.23.92.144]) by mta10.int.yaziba.net (Postfix) with ESMTPSA id 95D06CA653 for ; Fri, 28 Aug 2015 16:35:06 +0200 (CEST) To: OCaml Mailing List References: <20150828.140826.2157566405742612169.Christophe.Troestler@umons.ac.be> From: Alain Frisch Message-ID: <55E07198.8070500@lexifi.com> Date: Fri, 28 Aug 2015 16:35:04 +0200 User-Agent: Mozilla/5.0 (Windows NT 6.3; WOW64; rv:38.0) Gecko/20100101 Thunderbird/38.2.0 MIME-Version: 1.0 In-Reply-To: <20150828.140826.2157566405742612169.Christophe.Troestler@umons.ac.be> Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-DRWEB-SCAN: ok X-VRSPAM-SCORE: -100 X-VRSPAM-STATE: legit X-VRSPAM-CAUSE: gggruggvucftvghtrhhoucdtuddrfeekfedrieeigdejlecutefuodetggdotefrucfrrhhofhhilhgvmecuggftfghnshhusghstghrihgsvgdpjgetkgfkueetnecuuegrihhlohhuthemuceftddtnecusecvtfgvtghiphhivghnthhsucdlqddutddtmdenucfjughrpefuvfhfhffkffgfgggjtgfgsehtjegrtddtfeejnecuhfhrohhmpeetlhgrihhnucfhrhhishgthhcuoegrlhgrihhnrdhfrhhishgthheslhgvgihifhhirdgtohhmqe X-VRSPAM-EXTCAUSE: mhhouggvpehsmhhtphhouhht Subject: Re: [Caml-list] We need a rich standard library distributed with OCaml, really Hi, I'd like to add to this discussion that (at least some part of) the core team considers that the standard library is an important component which deserves some (more) attention. FWIW, Damien started recently some discussion on caml-devel on how to best organize such efforts. The key property of the standard library is that it is distributed with the compiler, not that it must necessarily follow the same development model as the rest of the compiler. Being distributed with the compiler has a number of consequences, such as guarantees in terms of stability, portability, and of course, ease of access and use (both technically and legally). I don't think that the stdlib will/should be extended with many new functional perimeters (e.g. support for file formats, network protocols, or bindings to external systems are better left to external libraries). But filling missing holes in existing modules, revisiting some design decisions (use of exceptions, labeled/optional arguments, etc), easing interactions between external libraries by agreeing on shared definitions, and perhaps adding a few widely useful new features are certainly desirable (and hopefully achievable) goals. Alain