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.0 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id B1C37BC69 for ; Wed, 22 Aug 2007 04:50:59 +0200 (CEST) Received: from ipmail01.adl2.internode.on.net (ipmail01.adl2.internode.on.net [203.16.214.140]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l7M2ov38030475 for ; Wed, 22 Aug 2007 04:50:58 +0200 X-IronPort-AV: E=Sophos;i="4.19,292,1183300200"; d="scan'208";a="177140104" Received: from ppp59-167-13-161.lns2.syd7.internode.on.net (HELO [192.168.1.201]) ([59.167.13.161]) by ipmail01.adl2.internode.on.net with ESMTP; 22 Aug 2007 12:19:38 +0930 Subject: Re: [Caml-list] If OCaml were a car From: skaller To: Richard Jones Cc: Oliver Bandel , Caml-list List In-Reply-To: <20070821185720.GC32626@furbychan.cocan.org> References: <20070818192157.GA11789@furbychan.cocan.org> <6806cf750708181324l724823c6w304f9088980c3316@mail.gmail.com> <46C76557.5050308@cs.caltech.edu> <56864F61-40F3-4F03-9823-6D510AD5320B@epfl.ch> <1187639685.46c9f1859d769@webmail.in-berlin.de> <1187657274.18344.9.camel@rosella.wigram> <1187689892.46cab5a45112e@webmail.in-berlin.de> <1187692228.7354.21.camel@rosella.wigram> <20070821185720.GC32626@furbychan.cocan.org> Content-Type: text/plain Date: Wed, 22 Aug 2007 12:49:35 +1000 Message-Id: <1187750976.9072.39.camel@rosella.wigram> Mime-Version: 1.0 X-Mailer: Evolution 2.10.1 Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 46CBA491.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 0100,:01 granularity:01 abstraction:01 locality:01 erlang:01 reimplement:01 compiler:01 ocaml:01 organic:98 shortage:98 shortage:98 refusal:98 threads:01 sourceforge:01 On Tue, 2007-08-21 at 19:57 +0100, Richard Jones wrote: > On Tue, Aug 21, 2007 at 08:30:28PM +1000, skaller wrote: > This might come back and bite you in a couple of years you've got 16- > and 32-core processors and you find your parallel GC / operating > system really don't scale. Wrong approach IMHO. There are physical limits on localisation: the speed of light and Heisenberg's constant. We know from simple observation of organic systems, that systems clump at various levels. This means we need multiple mechanisms of sharing, for example, to use BOTH shared memory threads and message passing. Indeed, we use 'fast' message passing to implement 'slow' sharing right now: isn't that what cache interconnects do already? It's not an 'either/or' thing. It will not be 'either message passing or shared memory'. It will always be a mixture of both with 'layered' levels of granularity/abstraction. The smart modern CPU programmer can use random access data structures but keeps cache locality in mind for performance. [See Judy Array for an interesting example of this.] [The smart Erlang programmer probably does the opposite.. funnel messages to local ports where possible] > One interesting thing I've learned from working with people on the > GNOME team is that in fact there is no shortage of manpower in the > free software world (people prepared to do repetitive grunt work, > reimplement stuff endlessly and so on), but there is a big shortage of > people who understand anything beyond C and maybe Python. Python is > the Visual Basic of the free software world, believe me. I know. The Felix build system and LP tool is pure Python, the Felix libraries are C++, and the compiler is Ocaml: the Ocaml part is the biggest language obstacle to participation ;( > > > > (2.b) refusal of Inria team to provide a more complete library > As I've said before, this is a packaging problem. Yes indeed. And that's my point. > Can you not bundle > private copies of the libraries you need in with felix? I do. Elkhound, Tre, Judy are all bundled as source code. [But BSD like licence is mandatory.] > > > Does Perl have an ISO-standard? > > > > Perl is dead. > > Hum, well. Perl is far more widely used than OCaml. But Ocaml is alive, changing, and growing. Perl has been on the way down for years. Once, every web site offered Perl as a scripting language. This annoyed Python people :) But then PHP took over. And now Ruby on Rails is taking over. Perl is now an arcane language for aging Unix hippies who fondly remember it is much better than awk and sed. -- John Skaller Felix, successor to C++: http://felix.sf.net