From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id pB6A0UFB024037 for ; Tue, 6 Dec 2011 11:00:32 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnMCAE3n3U7U4366kWdsb2JhbABEmiyQLyIBAQEBCQsLBxQDIoFyAQEEAW4LBQsFBiUhRRIGEwkIAQKHcwIGtQiDcodABIxyExUBmWw X-IronPort-AV: E=Sophos;i="4.71,304,1320620400"; d="scan'208";a="122200942" Received: from moutng.kundenserver.de ([212.227.126.186]) by mail4-smtp-sop.national.inria.fr with ESMTP; 06 Dec 2011 11:00:31 +0100 Received: from office1.lan.sumadev.de (dslb-188-097-001-048.pools.arcor-ip.net [188.97.1.48]) by mrelayeu.kundenserver.de (node=mrbap3) with ESMTP (Nemesis) id 0LnBmv-1QqZqV1fGX-00hN47; Tue, 06 Dec 2011 11:00:30 +0100 Received: from gps.dynxs.de (localhost [127.0.0.1]) by office1.lan.sumadev.de (Postfix) with ESMTP id A75B3C00C7; Tue, 6 Dec 2011 11:00:29 +0100 (CET) Received: from 84.233.128.147 (SquirrelMail authenticated user gerd) by gps.dynxs.de with HTTP; Tue, 6 Dec 2011 11:00:30 +0100 Message-ID: In-Reply-To: <1B0D83BD-1902-4F7C-B3FB-B759122D6AB9@googlemail.com> References: <1B0D83BD-1902-4F7C-B3FB-B759122D6AB9@googlemail.com> Date: Tue, 6 Dec 2011 11:00:30 +0100 From: "Gerd Stolpmann" To: "Benedikt Meurer" Cc: caml-list@inria.fr User-Agent: SquirrelMail/1.4.21 MIME-Version: 1.0 Content-Type: text/plain;charset=iso-8859-1 X-Priority: 3 (Normal) Importance: Normal X-Provags-ID: V02:K0:NpqQXs3LiR6Fvwsul19ZawGb04uVLeycbVr+5tbCC4k N+/bXJHuAK57st7ZPGR3DbCIaNP/2Qv+o1mxLtaoaLORy9q9Ni k1AGntTDjMeF3LMS3BtLcYELH2f60bP+Pfjit8z1AvpVLxEyCn vKZB0DjXTlccLr3YkEO75uEAA5Oz3oGFmeCEQ+YBzv/KqUCTPv N5OogtRBjMxjZnuwD4XCyDNSp6Do3yWtDYn+P4axWo/w6CD6EN CI1m9x3yX+EAqrf8tutnoT43GVCK37Jeooxes1B7xon0M2xlGF /m4GjZ/GioXRKDP5l1aJVzZluBcXT+l8g6l2hRbl2a0ujpVDaC n+4g4Gd8W32zkLCm4GHCDCVxu6hnAYUTde6cTh9lW/DVYJy5qN dSDKeGCAI9Qk1reXpBGbEBpQJs06sjufQk= Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id pB6A0UFB024037 Subject: Re: [Caml-list] OCaml maintenance status / community fork I'd say it depends very much for which kind of work the community fork is used. If it is just for enhancing the standard library, please don't do it - there are as many opinions as contributors. If it is for fixing bugs I'm for it - provided there is a process to get the fixes back to the original Ocaml version. Regarding your work, Benedikt, I'm not sure what would be the best. It's highly interesting work, but it's deeply changing the compiler, so probably not something a community of volunteers could review (although they could test it at least). I'd see this more as an effort to organize help for the core team, and it would be essential that the "fork" is working in both directions. Gerd > Dear caml-list, > > During the last year or two it seems that time and interest in OCaml > maintenance from the official OCaml development team is diminishing. It > takes several months to get a patch reviewed (if at all), which is quite > frustrating for OCaml contributors and even worse for OCaml users. I > suspect that this is one of the top reasons why there are only a few > active contributors to OCaml (and the number of active users, at least on > the mailing list, is declining). > > I understand that INRIA does not necessarily pay people for full time > maintenance jobs on OCaml (and Coq), and the official dev team is probably > already doing as much as possible to maintain OCaml. Given that OCaml is > such a nice language with a lot of useful frameworks available, it is too > sad to see it loosing ground just because of it's closed development > process and lack of time of the official team. > > I'd therefore propose to open up OCaml development to a wider range of > developers / contributors, to ensure that OCaml will be ready for the > (functional programming) future. There are already various "OCaml forks" > in the wild, with different goals and patch sets, so simply starting > another fork would be rather useless. Instead I'd suggest to bundle > efforts in a new "OCaml community fork", which is always based on the most > recent upstream OCaml release (starting point would be 3.12.1 for now), > and takes care to review and integrate pending patches as well as > developing and testing new features. Let's say we'd name the fork > "OCaml-ng", then we'd try to release a new patch set every month or two, > based on the official OCaml release, i.e. "ocaml-3.12.1+ng201112" and so > on, to get early testing and feedback (should work together closely with > the Debian/Ubuntu/etc. OCaml maintainers). > > With this process, OCaml upstream could merge (tested) patches from > OCaml-ng once they proved working in the wild, and thereby > > 1. maintenance overhead for INRIA people is reduced, > 2. maintenance status of OCaml would be way better, > 3. there would be a lot less frustration for possible contributors, and > 4. users benefit from a better and more up to date OCaml. > > Now that does of course raise a few questions: > > 1. What is the opinion of the official development team / INRIA on this? > 2. Who would help with the community fork? > 3. What about infrastructure? > > Feedback and suggestions are welcome. > > Benedikt > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa-roc.inria.fr/wws/info/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > > > -- Gerd Stolpmann, Darmstadt, Germany gerd@gerd-stolpmann.de Creator of GODI and camlcity.org. Contact details: http://www.camlcity.org/contact.html Company homepage: http://www.gerd-stolpmann.de *** Searching for new projects! Need consulting for system *** programming in Ocaml? Gerd Stolpmann can help you.