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 pB8AGMr4018202 for ; Thu, 8 Dec 2011 11:16:25 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvIBAMWN4E7RVdY2kGdsb2JhbABDmjiQJQgiAQEBAQkJDQcUBCGBcgEBAQECARICLAEbEgwDAQsGBQsNDSEiAREBBQEKEgYBEhICBQmHZQiaIAqLZIJrhE49iHECBQyDa4dEBJRrjXA9g3o X-IronPort-AV: E=Sophos;i="4.71,319,1320620400"; d="scan'208";a="122561071" Received: from mail-bw0-f54.google.com ([209.85.214.54]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 08 Dec 2011 11:16:24 +0100 Received: by bkbzv15 with SMTP id zv15so2234394bkb.27 for ; Thu, 08 Dec 2011 02:16:24 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :content-type:content-transfer-encoding; bh=4qJJy/9OmN4UGcZnOVlc3P38vQOO3HjIGc5QRrrP1Yo=; b=WGdpSH4MrQk8UKl4xH16CvW7ZAJqi1xcsl0r/2ifPQtakyT+WgpElcrWBXKfFoDKCX GxOnk9c35YpUDHjafMulxOu4GYhKvUjUVKZ/8LMiYNEMMwAblDWlL+ZTfXEkYkimi69r 0UigrqPn1e+y1U/k076xrfEWF/WQMDtEtZ9GY= Received: by 10.180.90.6 with SMTP id bs6mr3884946wib.63.1323339384451; Thu, 08 Dec 2011 02:16:24 -0800 (PST) MIME-Version: 1.0 Received: by 10.227.43.4 with HTTP; Thu, 8 Dec 2011 02:16:02 -0800 (PST) In-Reply-To: <55531934-37A5-4CC5-AB67-20CE4CCE8269@googlemail.com> References: <55531934-37A5-4CC5-AB67-20CE4CCE8269@googlemail.com> From: Gabriel Scherer Date: Thu, 8 Dec 2011 11:16:02 +0100 Message-ID: To: Benedikt Meurer , caml users Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id pB8AGMr4018202 Subject: Re: [Caml-list] OCaml maintenance status / community fork (again) Benedikt, just a methodology remark > There were already a few useful comments on the topic, but no statement from the current INRIA officials. > [..] > In either case, it'd be great if the official core team would at least take the time to comment on this issue. This is not the right way to ask feedback. You launch a polite but quite critical fork of some people's codebase, without giving them previous notice, and expect an immediate public response. It would have been better to contact the INRIA people privately before raising the issue on the list, just to give them notice and gather feedback. I'm confident this awkwardness is not a result of bad will on your part and won't be held against you. Still, please keep in mind that there are human issues in play here, and try to be a bit smoother here. "Be strict in what you send, but generous in what you receive", the saying applies to human interactions as well. Note: I have no idea what the "INRIA officials" opinion is, and of course you could have contacted them first without making it explicit in your mail. Apologies for being wrong in that case. PS.: I'm sorry if you felt discussions about other aspects of the OCaml community were prompted by your initial mail -- and I'm partly responsible for this. I just wanted to say that, contrarily to the message you sent, compiler hacking is not the only field welcoming participation. I think everyone agrees that it is a legitimate topic, and that each should participate according to its own interest, with no value judgment of "better" contributions area. Your hacking feats on the compiler are greatly appreciated. On Thu, Dec 8, 2011 at 10:10 AM, Benedikt Meurer wrote: > Dear caml-list, > > I'd like to get back to the original topic, which BTW had nothing to do with Web 2.0, documentation, books, teaching, Batteries, PR, or whatever other topics came up. Of course those are important topics too, but hijacking other threads won't help with either. > > There were already a few useful comments on the topic, but no statement from the current INRIA officials. Opening up the development of OCaml is a great suggestion, for example. Personally I'd even suggest to disconnect OCaml and INRIA, with an independent team of core maintainers (with appropriate spare time and knowledge). INRIA would still contribute to OCaml, but no longer control OCaml. > > And to respond to those who think that the current development process is a "good thing" and leads to stability: By no way. It leads to stagnation and ignorance (most probably). For example, have a look at PR/3746, a great example. It took almost 4 years(!) to update the ARM port to softfp (and EABI). At the time the issue was finally fixed, most ARM application boards were already shipping with VFP, so the port is lacking behind several years. And even after all that time, the ARM port is not implemented properly, i.e. it's of the IP for argument passing does not only cause trouble with position independent code, but is forbidden in general because IP is reserved for linker stubs, both static and dynamic. The relevant bug report PR/5404, which includes a backward compatible patch, is already waiting for a sign of life for 3 weeks now (maybe wait another 4 years to get the port fixed). And what about the ARMv7-a / armhf port? I almost got it working, but looking at the past ! >  of the ARM port, I'm already pissed off by the fact that it will probably take ages for someone to even respond to the patch, not to mention that it will take forever to get it out to the users (well maybe Debian will include the patch for armhf, but that means the Debian developers have to do upstream work...). > > Granted, ARM is not (yet) the main target platform, it's just to illustrate the inherent weakness of closed development combined with lack of time/interest. Sure there will always be areas where projects cannot keep up because of lack of knowledge/time, but it is unnecessarily frustrating and harmful for an open source project to lack behind in areas with active contributors with both knowledge and time. That's why I'd suggest to set OCaml free, either with the help of INRIA and by leaving INRIA behind if there's no other way to move on. > > In either case, it'd be great if the official core team would at least take the time to comment on this issue. > > best regards, > Benedikt > > PS: Please avoid hijacking this thread. > > -- > 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 >