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 pBAKXEeG025479 for ; Sat, 10 Dec 2011 21:33:14 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArQAANzB407RVdQ2kGdsb2JhbABDqnYIIgEBAQEJCQ0HFAQhgXIBAQEEEgIsARsTCgEDDAYFCw0uIQEBEQEFARwGDAcUCgSffAqLZIJrhCk9iHECBQyLYQSUcYppgwg9hBM X-IronPort-AV: E=Sophos;i="4.71,332,1320620400"; d="scan'208";a="134853733" Received: from mail-vw0-f54.google.com ([209.85.212.54]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 10 Dec 2011 21:32:46 +0100 Received: by vbbfr13 with SMTP id fr13so5264777vbb.27 for ; Sat, 10 Dec 2011 12:32:46 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=mXZZKr4ASLD6NdXJlvuucAHIin88UZftE1L81y+nnIE=; b=myFAxT7Gtee8HQSL7wNsJEiFAZDlrbACkTsWB1NJ58sFlYSmbG+zmM0ztoB74T8CCV sx42Dt9QI0G25+g6uSQTvZfJdLWcHGtrhe5Lj+t8uIDrsQ5F17wZNSvKmpQos5zMNGXv MikUwPDvdlaSGJKz/Yi3XSrh7GVqY/6tJ14Fs= MIME-Version: 1.0 Received: by 10.52.96.130 with SMTP id ds2mr7143677vdb.82.1323549165596; Sat, 10 Dec 2011 12:32:45 -0800 (PST) Received: by 10.52.164.100 with HTTP; Sat, 10 Dec 2011 12:32:45 -0800 (PST) In-Reply-To: <4EDE33A0.6070004@gmail.com> References: <4EDE33A0.6070004@gmail.com> Date: Sat, 10 Dec 2011 17:32:45 -0300 Message-ID: From: Andrei Formiga To: Jonathan Protzenko Cc: caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1 Subject: Re: [Caml-list] Some comments on recent discussions On Tue, Dec 6, 2011 at 12:24 PM, Jonathan Protzenko wrote: > > = Improving the community = > > I think the main point of the discussion is to improve "the community". If > we really want to improve OCaml as a whole, then I think we can put our > efforts on better areas than patching the compiler. > > == Package management system == > > The thing that's most needed is, imho, a package manager that works. > Oasis-db looked very promising as far as I could tell, but Sylvain doesn't > have as much time as he used to do. Instead of hacking on our pet projects > (which is, I admit, very rewarding), maybe someone could step up and make > Oasis-db happen. We don't have a single, unified answer to "what should I > install to easily hack with OCaml?". What made Python, Perl, Haskell > successful is the package management systems. How much longer are we going > to shy away from this issue? Sure, it's much more fun to hack on the > compiler. Not as useful. > I think a good package system (with associated repository) and better documentation are the two biggest things that can help OCaml's adoption. It's true that there are languages that have become successful without a package management system, but it has become increasingly expected that languages have one. OCaml does not have marketing or hype, so it has to win over new users by not creating barriers to adoption. Plus it's much easier to work on a daily basis, even for veterans. This is already true with GODI, which saves me a lot of time when the library I need to install is available in its repo. The question is: what should be done? What must be done to enable OASIS-DB? Or should everyone adopt GODI? What's the situation between these two systems? Maybe having some kind of rough roadmap would help there. Regarding documentation, this is a problem in many fronts, beginning with the book situation. Practical OCaml was a good idea, badly executed. And Jason Hicks' fine book is probably stuck in limbo because of legal battles and so it never came out. I recently had a look at the Go language from Google, and the "A Tour of Go" tutorial is very good (at http://tour.golang.org/ ). Maybe something similar for OCaml would be a nice addition, especially given that the OCaml Tutorial is apparently MIA. But I think having a good package manager should come first (btw, Go has one). -- []s, Andrei Formiga