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 pB710KZV025439 for ; Wed, 7 Dec 2011 02:00:20 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtYAADO63k7AbSoIkWdsb2JhbABDhQaiW4J9IgEBAQEJCwsbBCGBcgEBBAEjVgULCwkFCgICGQ0CAhQYMScHh2wCpA6RHRKBIIhqM2MEjTGHNJIi X-IronPort-AV: E=Sophos;i="4.71,310,1320620400"; d="scan'208";a="122316634" Received: from einhorn.in-berlin.de ([192.109.42.8]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 07 Dec 2011 02:00:15 +0100 X-Envelope-From: oliver@first.in-berlin.de Received: from first (e178038030.adsl.alicedsl.de [85.178.38.30]) (authenticated bits=0) by einhorn.in-berlin.de (8.13.6/8.13.6/Debian-1) with ESMTP id pB710DHb008687 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT); Wed, 7 Dec 2011 02:00:13 +0100 Received: by first (Postfix, from userid 1000) id 1DF451540358; Wed, 7 Dec 2011 02:00:13 +0100 (CET) Date: Wed, 7 Dec 2011 02:00:13 +0100 From: oliver To: Paolo Donadeo Cc: OCaml mailing list Message-ID: <20111207010012.GB2755@siouxsie> References: <4EDE33A0.6070004@gmail.com> <4EDE568C.9040803@lexifi.com> 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] Some comments on recent discussions Hey! :-) On Wed, Dec 07, 2011 at 01:18:35AM +0100, Paolo Donadeo wrote: > I just want to add some erratic thoughts summoned by the recent > flame... discussion about "the state of the OCaml > union". For this reason I'm not pretending to be coherent or to have > an answer to each and every problem, I'm not John Wayne and I'll never > be. [...] Did you ever tried it? ;-) > > OCaml community is basically composed by computer professionals that > have very few time to spend on the geek social networks (reddit, > stackoverflow, ...) to write how this language is beautiful, how it is > so "pure" (or "impure"), and so on. I write software in OCaml, and > this software is working right now in a production environment. > Nothing even comparable with Jane St. or LexiFy or Mylife, but I have > my customers and if something stops working, they complain A LOT ;-) [...] You happy guy... ...so i think you do your own software and sell it. if freelancing for other companies, then most often (nearly always) they decide the language to use. [...] > What I like in OCaml is that it's really stable, fast and in the last > years many key tools have been added to the tool chain. As an > engineer, I think that ocamlbuild + oasis (only an example) are MORE > valuable than first class modules and GADTs. Which, in turn, are not > "minor improvements" at all, and I don't see this supposed immobility > of the language. [...] FULL ACK! > > The standard library problem: the core library is small, ugly, useless > and more. The standard library provided by INRIA can't even send > email, make a POST, or talk with a web service. Ok, but what exactly > can you do with the C, or C++ standard library? I *like* the elegant > simplicity of the standard library and, when something is missing I > can: 1) write my own solution or 2) search for library by other OCaml > developers. [...] FULL ACK! > What's wrong with Google searching for a good library? The wrong thing? Google is not using Ocaml for anything. So it must be avoided ;-) > Why > many people seems to advocate a unique library "to rule them all"? Because of Frank Zappa: One Size Fits All > And > why this huge library should enter in the standard distribution? Why > many people complain about the poor visibility of the community, but > refuses to use ocamlcore.org (thanks Sylvain forever!) Easy (easier) installation and linking would maybe help a lot that people don't wait for the big bloaty lib. Some people are good admins, others are good programmers, and only few people do like both.... But... hmhhh... there are a lot of tools now that can be used to compaile/link or install Ocaml and related libraries. This does mean: 1) the tools provcded with OCaml maybe are not as good as most people want them 2) there are already a lot of people contributing and providing tools for that problem 1) could be a point of criticism, 2) shows that the "missing effort in the community" is not true If community effort would solve all problems, then 2) would kill 1) It seems not to be the case. So 2) can't solve 1). It either needs better installation tools in the official distribution, or adapting one of those external tools, or at least recommending one of them as "recommended by the core team". Other options might also be possible. Ideas someone? > only because > GitHub has a nicer web2.0 interface? Even GitHub needs some more colors... ;-) > Yes, I like GitHub, but I think > we *ALL* should host our projects, at least the main web pages on > OCamlCore, to minimize the scatter. Ah, it needs a tool, named "camlscatter", which not only pushes the OCaml projects to many servers, but of course also is written in OCaml (just be be consequent). (Should it be part of the official distribution?) ;-) > > There are many specialized library for almost everything in OCaml, and > 2/3 big "standard libraries" (Batteries, Core, ExtLib?). Why can't we > simply choose one of these excellent libraries? I like > Batteries but there is NOTHING wrong with Core, and I hope > both of them will remain OUT of the standard distribution forever. > Why? Because the standard library is small and virtually bug-free or, > better said, it tends to be so, because it's *rare* that a new feature > is added, and this is *good*. [...] FULL ACK! Bloat is contrary to modularity. Pick what you need, and build what you want. (The customers might have different wishes, looking for monoliths (?!), but isn't this a programmers discussion?) [...] > I don't say there are no problems, and everything is fine. But if I > have do point at a problem, especially for newcomers, I would say that > we need a book, an up to date book, written in good English and > published by O'Relly. [...] ACK. But because the language is rapidly evolving (*) - despite any other comments on that - I think it's hard to have a book that is up to date. But O'Reilly would not have a problem to make new editions from time to time... ...if there are people who would write the book and update it soon. > > But this is a very hard issue to be solved, no GitHub (R) (TM) in help here ;-) A book could be also done as a collaberative approach. But documentation is all to often contrary to programming, at least in "the masses", and "the masses" is what is looked for, when it is asked for "community efforts". Ciao, Oliver (*): Maybe people look for bloaty libraries, and call that "progress" of a "language". But the issue on first class modules for example... ...can this be ignored, when people talk about progress of a LANGUAGE? How many libraries (or how much OOP) would be needed as a workaround for this? That even in times of urging Ocaml programmers the core team decided to implement this feature (and planned others too) is a huge plus, that shows me, that in the Ocaml core team, thinking and elegance has priotrity over hype issues and bloat.