From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id UAA00694; Thu, 8 Apr 2004 20:32:31 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id UAA00445 for ; Thu, 8 Apr 2004 20:32:29 +0200 (MET DST) Received: from moutng.kundenserver.de (moutng.kundenserver.de [212.227.126.185]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i38IWSYM026919 for ; Thu, 8 Apr 2004 20:32:29 +0200 Received: from [212.227.126.160] (helo=mrelayng.kundenserver.de) by moutng.kundenserver.de with esmtp (Exim 3.35 #1) id 1BBeK7-0002nO-00; Thu, 08 Apr 2004 20:32:23 +0200 Received: from [80.129.107.171] (helo=gate.gerd-stolpmann.de) by mrelayng.kundenserver.de with asmtp (Exim 3.35 #1) id 1BBeK7-0001VQ-00; Thu, 08 Apr 2004 20:32:23 +0200 Received: from ice.gerd-stolpmann.de (ice.gerd-stolpmann.de [192.168.0.13]) by gate.gerd-stolpmann.de (Postfix) with ESMTP id 8839656B4; Thu, 8 Apr 2004 20:32:22 +0200 (CEST) Received: by ice.gerd-stolpmann.de (Postfix, from userid 1000) id 613DDB032; Thu, 8 Apr 2004 20:32:21 +0200 (CEST) Subject: Re: [Caml-list] Dynamically evaluating OCaml code From: Gerd Stolpmann To: Brian Hurt Cc: John Goerzen , Issac Trotts , Ocaml Mailing List In-Reply-To: References: Content-Type: text/plain Content-Transfer-Encoding: 7bit Message-Id: <1081449139.24590.14.camel@ice.gerd-stolpmann.de> Mime-Version: 1.0 X-Mailer: Ximian Evolution 1.4.5 Date: Thu, 08 Apr 2004 20:32:20 +0200 X-Provags-ID: kundenserver.de abuse@kundenserver.de auth:a6865a839c0178d9aa0ce41878507ea2 X-Miltered: at concorde by Joe's j-chkmail ("http://j-chkmail.ensmp.fr")! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 dynamically:01 gerd:01 stolpmann:01 2004:99 analogy:01 cdk:01 cdk:01 ocaml-core:01 repositories:01 avoids:01 toolkit:01 extlib:01 blas:01 lapack:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk X-Status: X-Keywords: X-UID: 174 On Don, 2004-04-08 at 19:15, Brian Hurt wrote: > > I agree with most of your analogy here. I'm still relatively new to > > OCaml, having been using it for only a couple of months, but you've > > touched on one of my pet peeves: the OCaml standard library is really > > sub-par for doing real work. > > Heh. It's orders of magnitude better than the C or C++ standard > libraries. ... > > I think the problem here isn't technical, it's social- marketing, to be > specific. Having a language with a very minimialistic standard library > isn't the problem- the problem is have a standard development environment > with a minimialistic library. The "core" language and libraries > distribution should be, if not hidden, then at least not obvious. > Instead, the "default" Ocaml distribution should be something more like > CDK (is that project still alive?). There shouldn't be links from the > home page to the core, the home page should link to CDK *only*. And we > need to get the Linux distros up to speed and distributing CDK instead of > only Ocaml-core. As far as I know, CDK isn't alive. Some times ago, I started the GODI project to fill the gap, see http://www.ocaml-programming.de/godi. There is already a working GODI distribution. There is already a lot of infrastructure (mailing list, central repositories). The main error of CDK was the missing capability of updating libraries; GODI avoids these problems by using a packaging toolkit. > While we're kvetching, here's my list of desires to be in the default > development environment (note that I don't think any of these belong in > the standard libraries): > - OUnit > - ExtLib (OK, this should perhaps become part of the standard) > - BLAS/LAPACK, GMP, and MPI bindings > - Regular expressions > - ocamlexc > - Camllisp (or similiar) > - compression, encryption, etc. filters for I/O Except regexps and encryption, GODI does not have these libraries yet. But this is only a problem of packaging them, and uploading them to the GODI repository. Volunteers are welcome! Ask in the GODI mailing list if you are interested (https://gps.dynxs.de/mailman/listinfo/godi-list). > Certain things can be moved out of the standard distribution and moved > into the development environment in this case- pcaml, ocamldoc, ocamlex, > ocamlyacc, etc. Not when they are used for the compiler itself. > Of course, the other advantage that the standard distribution has, in > addition to being the default, is coherent documentation. There is one > book, and everything in the standard distribution is more or less equally > well documented (ocamllex and ocamlyacc could use some help). The same > thing should be true for the development environment. GODI does not enforce coherent documentation, but it is still a big step forward, because all docs are in a single directory. Gerd -- ------------------------------------------------------------ Gerd Stolpmann * Viktoriastr. 45 * 64293 Darmstadt * Germany gerd@gerd-stolpmann.de http://www.gerd-stolpmann.de ------------------------------------------------------------ ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners