From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id pBAH6v8b020793 for ; Sat, 10 Dec 2011 18:06:57 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArQAAD2Q407RVde2kGdsb2JhbABDqnYIIgEBAQEJCQ0HFAQhgXIBAQEDARICLAEbEgoCAwELBgULDAoWDwkDAgECARERAQUBDgEFCBMIAhAHB4dmApgnCotkgmuELT2IcQIFDIthBJRxhUuBNIZyPYN7 X-IronPort-AV: E=Sophos;i="4.71,332,1320620400"; d="scan'208";a="134844377" Received: from mail-ey0-f182.google.com ([209.85.215.182]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 10 Dec 2011 18:06:52 +0100 Received: by eaaf13 with SMTP id f13so21875eaa.27 for ; Sat, 10 Dec 2011 09:06:52 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=message-id:date:from:user-agent:mime-version:to:subject:references :in-reply-to:x-enigmail-version:content-type :content-transfer-encoding; bh=txwWy54gHFaHorGXokafk6uGpqgCM23AP6IqCJxgmqQ=; b=qWM/6vGXZqM8FCtR34AJma8X5ivIxzhefBiyZFa8DKNd/whFLVZ/Q3YlCJebjtG7PO X15qsSEh91CcG6bufge+ZH1T7KIDri3UpjvnsHq1tEosjjXfyDMr9pRumSnPitOZW0KS Ef9q+2c9tcrnsr8+wtnzpEMcmLJ/wXmVFUDDI= Received: by 10.213.14.131 with SMTP id g3mr2399398eba.63.1323536811474; Sat, 10 Dec 2011 09:06:51 -0800 (PST) Received: from [192.168.1.101] ([79.114.65.97]) by mx.google.com with ESMTPS id z43sm36084251eef.7.2011.12.10.09.06.48 (version=SSLv3 cipher=OTHER); Sat, 10 Dec 2011 09:06:49 -0800 (PST) Message-ID: <4EE391A7.6010701@gmail.com> Date: Sat, 10 Dec 2011 19:06:47 +0200 From: =?ISO-8859-1?Q?T=F6r=F6k_Edwin?= User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.24) Gecko/20111114 Icedove/3.1.16 MIME-Version: 1.0 To: caml-list@inria.fr References: <55531934-37A5-4CC5-AB67-20CE4CCE8269@googlemail.com> <4EE37070.4010702@inria.fr> In-Reply-To: <4EE37070.4010702@inria.fr> X-Enigmail-Version: 1.1.2 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] OCaml maintenance status / community fork (again) On 12/10/2011 04:45 PM, Xavier Leroy wrote: > All right. Let me stop here and pray for constructive, non-knee-jerk reactions. I am not an active member of the OCaml community, but I'll try to suggest some (constructive I hope) solutions. > see very few people actually joining these efforts. For another example, > the core Caml development team sometimes asks for testing and opinions on > new directions (e.g. I on the x86-32bits-SSE2 code generator, or Jacques > Garrigue on GADT prototypes) and response rate is very low. It feels like > herding cats. > > 5- Before embarking on patching the core Caml distribution, it wouldn't hurt > to ask (privately) where the priorities are. > For instance, I don't see the > point for a linear-scan allocator (Benedikt Meurer) or more efficient > compilation of value let-rec (Fabrice le Fessant), but anyone who would come > up with a GHC-quality function inliner would be welcome like the Messiah. > Likewise, for many years I've been looking for developers to work on the > Windows port(s) of OCaml and never found any. Finally, at the latest OCaml > consortium meeting, the idea of splitting Camlp4 off the core distribution > was floated around; volunteers to take over its maintenance would be most > welcome. IMHO it would be useful if there was a single place that collects this information. It could be something as simple as a webpage (or a wiki). It'd contain a link to the relevant ML thread, and a (sort of) up-to-date status (for example: testing on platform X is adequate, but we still need testing on platform Y). - Testing Needed: URL of SVN branch/tag that needs to be tested, and list of platforms - New language feature feedback: URL of SVN branch/tag that implements it, and what kind of feedback is expected - Open Projects for improving the compiler (i.e. the GHC-quality inliner above) - Open Projects for improving the standard library - Low-Priority projects: i.e. things that were suggested by the community, but are not needed right now, perhaps with a one-line motivation (i.e. the regalloc you mention) - Roadmap for next OCaml version: a glimpse of what can be expected for the next major/minor version - Pings: link to ML thread that didn't receive enough feedback, and it would be important to get it soon. Or topics that go ignored for a long time (i.e. help with Windows port you mention above) People could check that from time to time, and see where they could help, and more importantly see where the core team needs help. It could be something as simple as a webpage (linked from caml.inria.fr) that contains a link to the relevant mailing list thread, or a wiki page that can only be edited by the core team. If maintaining that webpage would take up too much time, then perhaps someone from the community could volunteer to maintain it. The core team would only send an email with a specific subject tag to the regular ML, and post updated the same way (testing on platform X is adequate, we still need more on platform Y) Subject: [ Ping ] [ Testing Needed | Language feature feedback .... ] <.....> CC: communitymaintainer@.... > > 4- Yes, we obviously have problems with PR triaging, in part because Mantis > makes this task more bureaucratic than strictly necessary, but more > importantly because it is often hard to guess who cares about this or that > suggestion, or even what problem it is supposed to address. Volunteers > could greatly help by simply commenting on the PRs in Mantis, to express > support or disagreement, or to ask for clarifications. Would it help if people wrote small patches for the bugreports they care about (at least for bugreports that are not about the core parts of the compiler)? For example fixes/improvements to ocamlbuild, or I've just noticed a French message from ocamldoc yesterday, etc. Or does reviewing these patches take up almost as much time as writing it yourself? Best regards, --Edwin