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 pB6G4WpJ009474 for ; Tue, 6 Dec 2011 17:04:32 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtgAANI83k5KfVI0imdsb2JhbABDqlQIIgEBAQoJDQcSBiGBcgEBAQECARICLAEBNwEECws0EjQBBQEcBicHB4dlApgOCoozhBwBjlMHik9jolY9g3g X-IronPort-AV: E=Sophos;i="4.71,306,1320620400"; d="scan'208";a="122266159" Received: from mail-ww0-f52.google.com ([74.125.82.52]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 06 Dec 2011 17:04:03 +0100 Received: by wgbdr12 with SMTP id dr12so7965096wgb.9 for ; Tue, 06 Dec 2011 08:04:03 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=gamma; h=subject:mime-version:content-type:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to:x-mailer; bh=pfTaArlF9u8EPjrtnnBu6J93ctcrBqF92zcMF56ON+8=; b=bpJYTEsJ1A3b8gXOaukZFWtWlJGM3U4GoQ9rEaJOOzBaZixQ9iq4uWScNM/UuU+JvZ DkMOdZqZroWiAXTzNmuKXFEM04j227Z5d2RONJSf2B2GWxI/w4QwSE/ZnqdOFgbqgJUR aTfpYAIcBbwljUMM9whFFQmlNbyu99wm+hsak= Received: by 10.227.199.14 with SMTP id eq14mr6526255wbb.14.1323187443384; Tue, 06 Dec 2011 08:04:03 -0800 (PST) Received: from coruscant.kosmos.all (ip-95-223-170-32.unitymediagroup.de. [95.223.170.32]) by mx.google.com with ESMTPS id fw16sm34152223wbb.13.2011.12.06.08.04.00 (version=SSLv3 cipher=OTHER); Tue, 06 Dec 2011 08:04:01 -0800 (PST) Mime-Version: 1.0 (Apple Message framework v1251.1) Content-Type: text/plain; charset=iso-8859-1 From: Benedikt Meurer In-Reply-To: <4EDE33A0.6070004@gmail.com> Date: Tue, 6 Dec 2011 17:03:59 +0100 Cc: caml-list@inria.fr Message-Id: References: <4EDE33A0.6070004@gmail.com> To: Jonathan Protzenko X-Mailer: Apple Mail (2.1251.1) Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id pB6G4WpJ009474 Subject: Re: [Caml-list] Some comments on recent discussions On Dec 6, 2011, at 16:24 , Jonathan Protzenko wrote: > [...] > > If it's about improving the general situation with OCaml and its community (the title of this thread contains the word "community"), then I believe hacking on the compiler is not the most effective way to achieve that goal. We're hackers. We like to hack on things. And we often fail to ask ourselves: is it really worth implementing? Submitting patches is easy. Submitting quality patches that do solve a real problem is harder. The ARM backend does need a cleanup, and the patch does solve a stringent issue. That may not be the case for all patches. You may be right, but I think you are also missing my point to some degree here. Improving the OCaml community as a whole is a worthwhile goal and more than welcome, but that is a far away, probably very difficult to achieve goal. What I am talking about and what I am trying to address is a rather practical problem: How to avoid pissing off possible contributors to the OCaml core (these are most likely different people than the ones that would help with web site, spreading the word, community stuff) and how to improve the maintenance status of the OCaml core? Or maybe: How to set OCaml free? > There is indeed a problem w.r.t external contributions. I agree that the INRIA team could make it clearer what its stance on external contributions is. Maybe one solution would be to have a INRIA-endorsed ocaml-next on github that everyone can fork, where we would merge really outstanding features, before submitting them to INRIA, as you described. I don't think it is such a good idea creating a real fork. Maybe some sort of integration platform on GitHub would be the right solution to the "patch review" problem. As long as that would be INRIA-controlled, I fear that it would be the same story with different infrastructure (you'll have pull requests that don't get attention rather than bug reports that don't get attention). > I'm not even sure what kind of patches you wish to see integrated. Can you clarify that? Mantis is down currently. > Kind regards, > jonathan Benedikt