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 OAA18514; Sun, 29 Aug 2004 14:58:54 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id OAA18151 for ; Sun, 29 Aug 2004 14:58:52 +0200 (MET DST) Received: from glockenspiel.complete.org (glockenspiel.complete.org [69.10.152.57]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id i7TCwoX3015794 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=FAIL) for ; Sun, 29 Aug 2004 14:58:52 +0200 Received: from localhost (localhost [127.0.0.1]) by glockenspiel.complete.org (Postfix) with ESMTP id C167076; Sun, 29 Aug 2004 07:58:48 -0500 (CDT) Received: from glockenspiel.complete.org ([127.0.0.1]) by localhost (glockenspiel [127.0.0.1]) (amavisd-new, port 10025) with ESMTP id 13603-07; Sun, 29 Aug 2004 07:58:46 -0500 (CDT) Received: by glockenspiel.complete.org (Postfix, from userid 1000) id 9E6D7BB; Sun, 29 Aug 2004 07:58:46 -0500 (CDT) Date: Sun, 29 Aug 2004 07:58:46 -0500 From: John Goerzen To: "Brandon J. Van Every" Cc: caml Subject: Re: [Caml-list] Re: (GC issues) Alternative Bytecodes for OCaml Message-ID: <20040829125846.GA12516@complete.org> References: <1093746662.15255.2206.camel@pelican.wigram> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.6+20040722i X-Virus-Scanned: by amavisd-new-20030616-p10 (Debian) at complete.org X-Miltered: at nez-perce with ID 4131D30A.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 bytecodes:01 2004:99 brandon:99 languages':01 python:01 python's:01 python:01 long-time:01 camlp:01 cough:01 reiterate:01 prolog:01 ocaml:01 ocaml:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Sat, Aug 28, 2004 at 10:04:48PM -0700, Brandon J. Van Every wrote: > Some would. Perhaps those who are already converted on the grounds of > type safety or features or so forth. Those of us shopping around for > various kinds of 'replacement languages' would be using Python. That > is, if OCaml were indeed that slow and no other OCaml-like options were > available in open source land. Without performance, I think Python's > critical mass and ease of use will easily beat OCaml in the marketplace. Frankly, there is more to a language than who wins in the "marketplace". If that is all that matters, we should all just go home now, because VB, Java, C++, and C# have far more share of the marketplace than Python. Incidentally, I'm a long-time Python user. I still use it. I am moving towards OCaml, though, and not because of performance. I'm going to OCaml because it provides the benefits of a strongly-typed language without sacrificing the flexibility I love in Python. In some ways, thanks to things like camlp4, OCaml is more flexible. OCaml also is functional at its heart, something I like. While Python keeps wishing it's a functional language, OCaml *is*. > The promise of OCaml is really performance and scale-up, areas that > Python is weak at. I'd say Python is far better at the latter than some others, such as Perl. But yes, OCaml beats it at both. > You can argue all you like about what OCaml does that Python doesn't do; > strategically, it is irrelevant. Look at the languages the world > actually uses en masse, if you want to understand what I mean. The > point is that performance does matter. *cough* Java? VB? I think that goes a long way to showing that performance is not as critical to some as you may think. I've never said that performance matters to nobody. I'm just saying that there are lots of people, myself included, that don't care about it very much. > Not really interested in debating this here, just adding my $0.02. If > you want to debate what makes languages succeed or fail, we'd welcome > your input on ocaml-biz. I've had this argument with you before on freeciv-dev, and want to just reiterate this here: in my book, a language doesn't succeed or fail based on how well it does in "the marketplace". If we went by that, we'd conclude that Linux is a failure, Ada is a failure, Prolog, Lisp, OCaml, Python, Perl, and perhaps C are all failures too. Yet a strong case could be made for each of those that they're a success. Let's keep things in perspective, please. ------------------- 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