From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 7B5B17EE4B for ; Fri, 27 Sep 2013 09:12:36 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of gour@atmarama.net) identity=pra; client-ip=80.91.229.3; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gclci-caml-list@m.gmane.org"; x-sender="gour@atmarama.net"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of gclci-caml-list@m.gmane.org designates 80.91.229.3 as permitted sender) identity=mailfrom; client-ip=80.91.229.3; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gclci-caml-list@m.gmane.org"; x-sender="gclci-caml-list@m.gmane.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@plane.gmane.org designates 80.91.229.3 as permitted sender) identity=helo; client-ip=80.91.229.3; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gclci-caml-list@m.gmane.org"; x-sender="postmaster@plane.gmane.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmgFAK4uRVJQW+UDf2dsb2JhbABZgz+ueQGTPhYOAQELCwoIFCiCZhsYBkI0LUiHdpkooS2OAoFshAgDjy+EcYNcgTCTbw X-IPAS-Result: AmgFAK4uRVJQW+UDf2dsb2JhbABZgz+ueQGTPhYOAQELCwoIFCiCZhsYBkI0LUiHdpkooS2OAoFshAgDjy+EcYNcgTCTbw X-IronPort-AV: E=Sophos;i="4.90,991,1371074400"; d="scan'208";a="34563832" Received: from plane.gmane.org ([80.91.229.3]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA; 27 Sep 2013 09:12:35 +0200 Received: from list by plane.gmane.org with local (Exim 4.69) (envelope-from ) id 1VPSE3-0003Yi-R0 for caml-list@inria.fr; Fri, 27 Sep 2013 09:12:31 +0200 Received: from 93-139-154-189.adsl.net.t-com.hr ([93.139.154.189]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Fri, 27 Sep 2013 09:12:31 +0200 Received: from gour by 93-139-154-189.adsl.net.t-com.hr with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Fri, 27 Sep 2013 09:12:31 +0200 X-Injected-Via-Gmane: http://gmane.org/ To: caml-list@inria.fr From: Gour Date: Fri, 27 Sep 2013 09:11:46 +0200 Message-ID: <20130927091146.54ef8c42@atmarama.noip.me> Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit X-Complaints-To: usenet@ger.gmane.org X-Gmane-NNTP-Posting-Host: 93-139-154-189.adsl.net.t-com.hr X-Newsreader: Claws Mail 3.9.1 (GTK+ 2.24.20; x86_64-pc-linux-gnu) X-Validation-by: gour@atmarama.net Subject: [Caml-list] UFO (United Forces of OCaml) Hello, I'm at the beginning of learning and using OCaml which is very fine language and I've decided to use it over Ada. Many new things are happening like development of OPAM (very nice project), then moving some projects to ocaml.org subdomains, new design of the site as well... However, there are certain things which seems like wasting of resources, so my humble proposal is whether it is possible to make UFO - United Forces of OCaml in order not to have too many (similar) projects tackling the same problems. One area which quickly comes to my mind is standard library. Although I'm not (yet) able to conclude how much is standard library incomplete, I see there are two larger projects trying to fill the gap. Jane Street is calling it "'Jane Street's alternative to the standard library", while 'batteries' are labelled as: "community-driven effort to standardize on an consistent, documented, and comprehensive development platform for the OCaml programming language." For the uninitiated it's seems as attempts to solve the same problem, but, unfortunately, it looks they're tackling it in a non-compatible way. It's especially sensitive considering that the RWO book - which might be used for many noobs to learn the language - is promoting Core, while 'community-driven' project is working on something else. Another thing which I can think of are build systems and although I'm aware there is certain overlap in functionality and/or interdependances, to me it seems that there are too many of them: a) OASIS b) ocamlbuild c) omake d) ocp-build e) yenga f) ... The list can be, of course, annotated by the need to have actively developed/maintained bindings for truly multio-platform GUI bindings (e.g. wx/Qt). So, my naive proposal is to try to combine forces together and produce small(er) set of tools libraries and make it somewhat 'standard' within community. It will attract new people to the language itself by making it (more) clear what are the standard tools to be used. The OCaml community is, imho, not big-enough to allow such luxury of re-inventing the wheels... Moreover, OCaml is advertised as "general purpose industrial-strength programming language" and it behooves to have mature fully baked ecosystem. Sincerely, Gour -- The work of a man who is unattached to the modes of material nature and who is fully situated in transcendental knowledge merges entirely into transcendence. http://www.atmarama.net | Hlapicina (Croatia) | GPG: 52B5C810