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 pB6CYJqo031484 for ; Tue, 6 Dec 2011 13:34:19 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvYBAPcK3k7RVaE2kGdsb2JhbABEqT6BFQgiAQEBAQkJDQcUBCGBcgEBAQMBEgIsAQE3AQQLBQYOJhI0AQUBHAYkAw6HZQKXdAqKM4QcAY5TB4pPY6JWPYN4 X-IronPort-AV: E=Sophos;i="4.71,305,1320620400"; d="scan'208";a="134152080" Received: from mail-fx0-f54.google.com ([209.85.161.54]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 06 Dec 2011 13:34:13 +0100 Received: by faak28 with SMTP id k28so7284451faa.27 for ; Tue, 06 Dec 2011 04:34:13 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=gamma; h=subject:mime-version:content-type:from:x-priority:in-reply-to:date :cc:content-transfer-encoding:message-id:references:to:x-mailer; bh=sEA90FQr2sJx+lWxXHkhQt94f7nxGGe2JQOehRg6oG0=; b=U9ZCNvPXhfe4nbMGzIhADy19G1CJNYexhTZEXZM+5MOoA54MayJIp7vnSphZyPOw7b zbAUEPultrR0Qig/Hz1ZF4iTTfngvn134ii4FO4BAMwKu765/xdNZxp5U4Pr9b0OppxV AFQBoPOp/TXk6U7WMBiMU16wnC8UrNo2qGbYs= Received: by 10.227.208.13 with SMTP id ga13mr2207688wbb.4.1323174853615; Tue, 06 Dec 2011 04:34:13 -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 x8sm14603942wix.17.2011.12.06.04.34.11 (version=SSLv3 cipher=OTHER); Tue, 06 Dec 2011 04:34:12 -0800 (PST) Mime-Version: 1.0 (Apple Message framework v1251.1) Content-Type: text/plain; charset=iso-8859-1 From: Benedikt Meurer X-Priority: 3 (Normal) In-Reply-To: <4adc9f6482cdbe0208c0baf4992392de.squirrel@gps.dynxs.de> Date: Tue, 6 Dec 2011 13:34:10 +0100 Cc: "Gabriel Scherer" , "caml users" Message-Id: References: <1B0D83BD-1902-4F7C-B3FB-B759122D6AB9@googlemail.com> <4adc9f6482cdbe0208c0baf4992392de.squirrel@gps.dynxs.de> To: Gerd Stolpmann X-Mailer: Apple Mail (2.1251.1) Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id pB6CYJqo031484 Subject: Re: [Caml-list] OCaml maintenance status / community fork On Dec 6, 2011, at 12:31 , Gerd Stolpmann wrote: >> I would like to comment on a tangential aspect of the rationale you gave: >> >>> 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'm quite reluctant to discuss topics about the said decline of something. > However, there is certainly a point here. I have my own theory - basically > the users with FP knowledge have now more options (e.g. F# or the > JVM-based FP languages like Scala), and so the "share" for Ocaml is > decreasing. This has nothing to do with the language. > > However, the question is whether we can do more to attract programmers > with FP knowledge (or even better educate programmers without). Ocaml is > not doing enough here - there is no (really good) beginner's site, and > there are not enough "success stories", i.e. users reporting that they > solved something with Ocaml, and why it was a good choice. Let me clarify what I mean: I think that both Gabriel and Gerd and right, and the success of OCaml does not solely depend on the openness of the compiler toolchain. Of course there's a lot more people can do to help with OCaml. Now, I'm not particularly good at writing documentation or blogging about OCaml, but I can provide code and knowledge for the language implementation and in particular the compiler. And looking through Mantis there are others who are also willing to help with core stuff by sending patches, reporting bugs, etc. Unfortunately this is highly frustrating, as mentioned, because the OCaml core does not get a lot of love from the OCaml core team (for whatever reasons). Now you can move on and fork OCaml (Git makes that amazingly easy today) and add your patches, etc. We did this several times, and others also did. And the end you have the situation as we see it today: several forks with different goals / quality, various long standing bug reports with / without patches that don't get attention, almost no activity in the OCaml Subversion repository (as a result) compared to other active programming languages, and many frustrated contributors with time, interest and knowledge that would be really beneficial to OCaml otherwise. > Gerd Benedikt