From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.4 required=5.0 tests=AWL,DNS_FROM_RFC_ABUSE autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 56394BC69 for ; Wed, 26 Sep 2007 20:03:29 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAO87+kbAXQInemdsb2JhbACOLwEBCQo X-IronPort-AV: E=Sophos;i="4.21,198,1188770400"; d="scan'208";a="1531960" Received: from concorde.inria.fr ([192.93.2.39]) by mail1-smtp-roc.national.inria.fr with ESMTP; 26 Sep 2007 20:03:28 +0200 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l8QI3Sm9029574 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Wed, 26 Sep 2007 20:03:28 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAHc7+kbZDAtgnmdsb2JhbACOLwEBAQEHBAYFChg X-IronPort-AV: E=Sophos;i="4.21,198,1188770400"; d="scan'208";a="1832945" Received: from smtp007.mail.ukl.yahoo.com ([217.12.11.96]) by mail2-smtp-roc.national.inria.fr with SMTP; 26 Sep 2007 20:03:28 +0200 Received: (qmail 28377 invoked from network); 26 Sep 2007 17:57:42 -0000 DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.fr; h=Received:X-YMail-OSG:In-Reply-To:References:Mime-Version:Content-Type:Message-Id:Cc:Content-Transfer-Encoding:From:Subject:Date:To:X-Mailer; b=Lrq/EhxJHsiMSrZIVpQvNm1Q68UEymlOm3OYYrv7gy2sa1eVHLs5Epbn6MX8ELzGA6lo6fgRM94KewHyitQW3VVle1Rvujg75ye7De4mRS9Sd7VG11TQ5yP0KgCQHXzzEBn1IaxNUgwUW3Hhd7g/EQD8aT1oWf89ApiBF4gl6CA= ; Received: from unknown (HELO ?192.168.0.10?) (vincent.aravantinos@82.229.199.66 with plain) by smtp007.mail.ukl.yahoo.com with SMTP; 26 Sep 2007 17:57:42 -0000 X-YMail-OSG: KNW9O64VM1m4rgsbw1vFr8LM.Q7HLVyiWpLPtZAyBB2rr1f0bpNRvx3F530.GbWti.NrCHzCjw-- In-Reply-To: References: <46F95938.7030107@cs.umd.edu> <17487E59-04F2-4509-87B5-24377B051E9E@epfl.ch> <46F961E5.5060302@cs.umd.edu> <55A4E82E-3D05-4F79-A8A6-A87905EB4FC8@epfl.ch> <6229FB62-3630-449C-BDDC-AD18FAB05DAE@yahoo.fr> Mime-Version: 1.0 (Apple Message framework v752.2) Content-Type: text/plain; charset=ISO-8859-1; delsp=yes; format=flowed Message-Id: Cc: caml-list@inria.fr Content-Transfer-Encoding: quoted-printable From: Vincent Aravantinos Subject: Re: [Caml-list] Re: Cherry-picking modules (was Re: [ANN] OCaml Reins 0.1 - Persistent Data Structure Library) Date: Wed, 26 Sep 2007 19:57:40 +0200 To: Sylvain Le Gall X-Mailer: Apple Mail (2.752.2) X-Miltered: at concorde with ID 46FA9EF0.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 ocamlfind:01 ocaml:01 statically:01 ocamlfind:01 compiler:01 labltk:01 2007,:98 kid:98 wrote:01 dynamically:01 caml-list:01 data:02 modules:02 off-topic:02 (Sorry my remark was a bit off-topic) Le 26 sept. 07 =E0 18:42, Sylvain Le Gall a =E9crit : > On 26-09-2007, Vincent Aravantinos =20 > wrote: >> Ok, there is camlget, ok there is ocamlfind, ok there is godi. >> >> Maybe if there were some 'Inria'-made tool (seems camlget is starting >> point for that ?) that be settled in the standard ocaml distribution >> would help to make everyone agreed, don't you think ? This does not >> solve intrinsic problems such as "I prefer dynamically linked" vs "I >> prefer statically linked" but at least that would be a tool everyone >> could rely on. Then everyone is free to use it or not. It would even >> simplify the task for library-writers. >> > > ocamlfind and godi are very good tool on their own. Why do they =20 > need to > be INRIA-made tool ? To make it easier, that's all some people are reluctant to use non supported tools (this joins a recent discussion about extending standard library or keeping other libraries aside). And you can't blame them for that. > INRIA made very good compiler. Great! But let other people use this > language to build other tools -- with different idea than INRIA. > >> BTW isn't it the same with ocamlbuild ? Before there were Omake and >> others. Now it seems to settle some kind of standard. >> > > FYI, i really think having ocamlbuild in ocaml is not a good solution > (as bad as having LablTk). For ages, there was ocamlmakefile -- coming > from INRIA. This was widely used but doesn't become a standard -- =20 > there > is no need for it. Anyone, can choose to use his/her/anyone own build > system. Ocamlbuild is here and you're still free to choose... However it's good to have a default when you are a beginner or don't =20 want to mind yourself with "which one should I choose ?". Those kinds of question are undesirable side-effects that you don't care when you want to concentrate on thinking the architecture of your code. > It is really strange, everyone seems to look at OCaml as "languages =20= > for > kid" with everything bundle into some kind of nice package... facilities <> for kids > Please be > more realistic, OCaml is a complicated language No. Saying this is an excuse for people who don't manage to make it accessible. Ask yourself why ocaml is not as popular as so many other languages. It is not far most complicated that many other ones. Why do you think F# is gaining in interest for many people ? It is not (only) the language... V.