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=1.0 required=5.0 tests=AWL,SPF_FAIL autolearn=disabled version=3.1.3 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 49AE1BC6C for ; Mon, 28 Jan 2008 14:35:53 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAAxpnUfAXQInh2dsb2JhbACQKQEBAQgKKYEUmHo X-IronPort-AV: E=Sophos;i="4.25,260,1199660400"; d="scan'208";a="7328013" Received: from concorde.inria.fr ([192.93.2.39]) by mail1-smtp-roc.national.inria.fr with ESMTP; 28 Jan 2008 14:35:53 +0100 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m0SDZgsG030921 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Mon, 28 Jan 2008 14:35:52 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAItpnUdQW+UCk2dsb2JhbACQKQEBAQEHCgkggRSYcg X-IronPort-AV: E=Sophos;i="4.25,260,1199660400"; d="scan'208";a="21886784" Received: from main.gmane.org (HELO ciao.gmane.org) ([80.91.229.2]) by mail4-smtp-sop.national.inria.fr with ESMTP; 28 Jan 2008 14:35:50 +0100 Received: from list by ciao.gmane.org with local (Exim 4.43) id 1JJU9J-0001gs-6c for caml-list@inria.fr; Mon, 28 Jan 2008 13:35:45 +0000 Received: from ks300734.kimsufi.com ([91.121.65.225]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Mon, 28 Jan 2008 13:35:45 +0000 Received: from sylvain by ks300734.kimsufi.com with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Mon, 28 Jan 2008 13:35:45 +0000 X-Injected-Via-Gmane: http://gmane.org/ To: caml-list@inria.fr From: Sylvain Le Gall Subject: Re: The OCaml Community (aka back from the Developer Days) Date: Mon, 28 Jan 2008 13:35:34 +0000 (UTC) Message-ID: References: <1201439362.6302.15.camel@Blefuscu> <1201480729.479d2419c2f08@webmail.in-berlin.de> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Complaints-To: usenet@ger.gmane.org X-Gmane-NNTP-Posting-Host: ks300734.kimsufi.com User-Agent: slrn/0.9.8.1pl2 (Debian) Sender: news X-Miltered: at concorde with ID 479DDA2F.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; le-gall:01 ocaml:01 bandel:01 in-berlin:01 univ-orleans:01 ocaml:01 tarball:01 camomile:01 lablgtk:01 compiler:01 compiler:01 libs:01 ocaml's:01 libs:01 gerd:01 On 28-01-2008, Oliver Bandel wrote: > Hi! > > Zitat von David Teller : > >> Dear list, >> >> During yesterday's OCaml Developer Day, a few important points have >> been discussed. First and foremost, due to extremely limited >> manpower, >> Inria does not intend to expand on the current OCaml distribution, >> nor >> even to be in charge of an end-user distribution. Rather, Inria would >> concentrate on the core language, in a distribution possibly smaller >> than the current tarball, while the community should be in charge of >> things such as >> * a standard library distribution (e.g. ExtLib + Camomile + LablGtk >> + ... ) > [...] > > I'm not clear if I understand you correctly. > > Would that mean that the standard-libs will be thrown off the > OCaml-distribution, and the bare compiler will be available > from INRIA? > All other things are coming from the "community"? > > If so, I would not be happy about it. > > I have no problem with the standard-lib as it is now. I think we don't have discuss about dropping what is currently in the standard library. INRIA will keep everything. The only thing, Xavier has told us is that they don't wish to integrate new things, because they don't have the manpower to do it. In other words, don't expect to have a big ocaml distribution with OCaml compiler and a very big standard library + a lot of tools. INRIA will try to keep ocaml maintainable by keeping the size of the whole as small as possible. (well to my mind, we should throw it, but this is not the INRIA point of view) > Every person who wants to use extlib and such things, > can use it, but nobody must use it. > I prefer the standard distribution. > Possibly, when I decide to use extlib or other things, > I can do, but it's my choice. > > If the currently distributed OCaml distribution would > be split into the core compiler and external libs, > then the Core-distribution alone does not help so much. > > One plus of OCaml's distribution as it is now, is, that it compiles good > out of the box. One tgz-package and all is well. > > when things are split up to many packages, this makes > a lot of trouble in installation - a thing, which I do not like. > I'm a prigrammer, not an administrator, and so I prefer > easy installation. > If I need extras, I CAN use them, but I can stay with the > standard-distribution, and all works well. > > What, if different external libs are not fitting together? > This may bring a lot of installation-annoyance. > > Gerd Stolpman give us a good talk about GODI. This is a very good start for solving a lot of problem (including external libs problem). > > > > >> * binaries & installers >> * testing >> * code repositories (Ã la CPAN) > > Yes, a CPAN-like thing would be good. > > IMHO, when such a CPAN-like thing and installation-tools > are developed and are tested very well, one can decide > to make a decision like throwing out some things.... > ...if they can be installed easy then in thsi way... > ... but even then things might brake. > > But without such things like CPAN-like archives, > throwing out the necessary things, is a NONO. IMHO. > > So I hope I have understand you not correctly. > > Nobody will thrown the standard library. >> * deciding standard practices (e.g. Unicode) >> * expanding the platform (e.g. development environments, DSLs) >> * maintaining FAQs and tutorials > > The reference manual for the OCaml as it is now, > IMHO should be done more verbose and up-to-date. > I think on the OCaml-C-part when writing this sentence... > > Regards, Sylvain Le Gall