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 pB8E81S4029364 for ; Thu, 8 Dec 2011 15:08:02 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AuoBAHrE4E7AbSoIe2dsb2JhbABDhQalYSIBARYmBCGBcgEBBAEjSgwFCwsJDwICJgICFBgxJ4dzAqV/kTUUgSCIcTNjBI0zhzeKbIc8 X-IronPort-AV: E=Sophos;i="4.71,320,1320620400"; d="scan'208";a="134558731" Received: from einhorn.in-berlin.de ([192.109.42.8]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 08 Dec 2011 15:08:00 +0100 X-Envelope-From: oliver@first.in-berlin.de Received: from first (e178005065.adsl.alicedsl.de [85.178.5.65]) (authenticated bits=0) by einhorn.in-berlin.de (8.13.6/8.13.6/Debian-1) with ESMTP id pB8E7qYS022788 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT); Thu, 8 Dec 2011 15:07:52 +0100 Received: by first (Postfix, from userid 1000) id 42E151540359; Thu, 8 Dec 2011 15:07:52 +0100 (CET) Date: Thu, 8 Dec 2011 15:07:52 +0100 From: oliver To: ivan chollet Cc: Benedikt Meurer , Alain Frisch , caml users Message-ID: <20111208140752.GA2615@siouxsie> References: <55531934-37A5-4CC5-AB67-20CE4CCE8269@googlemail.com> <4EE08955.30207@frisch.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.20 (2009-06-14) X-Scanned-By: MIMEDefang_at_IN-Berlin_e.V. on 192.109.42.8 Subject: Re: [Caml-list] OCaml maintenance status / community fork (again) On Thu, Dec 08, 2011 at 10:47:58AM +0000, ivan chollet wrote: > It's nice to see this thread coming back to the original issue after having > been hijacked. "having been hijacked" sounds black-hearted. "Different interpretation of the orig post" would match it better. > You can notice that contributers to this thread have > opinions but not many facts and arguments to support them. > Contacting the OCaml maintainers privately is definitely not the way to let > the development process happen in the open, but bad habits are hard to get > rid of. Doing things openly has advantages like "transparency" and seeing, what and how it is done (lurking on activity). But this also can be annoying to the developers. Just when looking at those many discussions that popped up again and again here during the years. > I think we all understand that the core team is in an uncomfortable and > conflicting situation and that the questions asked in this thread won't get > an answer. > In french this is called "avoir le cul entre deux chaises". > Benedikt did not suggest at any point to set OCaml free from the original > developers, he suggested to set it free from the INRIA. 1) Is this realistic? 2) And what would be the advantages of it? 1: Who would know INRIA, if there were no OCaml at INRIA? It even attracted some big companies, which also do bring in some mones: http://caml.inria.fr/consortium/ So often universities are seen as ivory towers, which do not produce anything meaningful to zthe industry (and industry is thinking they do a good kob, using crap langauges). But OCaml could attract those companies... ...so OCaml, even it was from the ivory tower, it could attract idustry. It's not the masses, but some interesting companies are listed there. Of course I would be happy to have more projects using OCaml, but the reason why Ocaml is not used too often in industry, is, because there are not enough people who know OCaml. In one project I used OCaml for some tasks; but later it was decided only to use langauegs, that most people of the team knew. And I was the only OCaml programmer there. So it was decided to use C and Python. In other projects. OCaml was no option from the beginning. So, that OCaml is at INRIA is not the reason for OCaml not being widely used. And that it's driven by the ivory tower is rather an advantage, because what we like, is that it is not another crap language that every average programmer wants to use, driven by a hype. A while ago, when talking about a job opportunity, mentioning OCaml, the answer was, that C++ is preferred to C, because it offers OO. People just don't know it. And even some people who used it, but did not looked at it more closely, misunderstand some concepts. And learning Ocaml, in the beginning is painful, because the type system is always painful, until you get used to it. That's why OCaml is living in a niche. I doubt that it is, because the core team develops in secured intimacy, instead in the hectical world of this or that server of the community. 2) INRIA will not only be an institution which has constrictions for the team, but also possibilities. As an institution, it offers infrastructure which can be relied on. And maybe other people who might join. If people want to have more influence on the Caml team it might make sense, launching an open institution, which looks out for donations and then enters the Caml Consortium. Maybe such a group/institution could be an interface from Ocaml Core Team to the public of unpatient OCaml users. Ciao, Oliver