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=none autolearn=disabled version=3.1.3 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id E9484BB84 for ; Thu, 14 Aug 2008 23:15:22 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AioDADU9pEjUnw4Romdsb2JhbACCLo9RAQEBAQEBBwUGCRGlDIFV X-IronPort-AV: E=Sophos;i="4.32,211,1217800800"; d="scan'208";a="14001536" Received: from pih-relay04.plus.net ([212.159.14.17]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA; 14 Aug 2008 23:15:22 +0200 Received: from [90.198.246.64] (helo=beast.local) by pih-relay04.plus.net with esmtpa (Exim) id 1KTkAD-0003gP-RK; Thu, 14 Aug 2008 22:15:21 +0100 From: Jon Harrop Organization: Flying Frog Consultancy Ltd. To: "Nicolas Pouillard" , caml-list@yquem.inria.fr Subject: Re: [Caml-list] Haskell vs OCaml Date: Thu, 14 Aug 2008 22:16:26 +0100 User-Agent: KMail/1.9.9 References: <200808141457.47150.jon@ffconsultancy.com> <1218747289-sup-9086@ausone.local> In-Reply-To: <1218747289-sup-9086@ausone.local> MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-15" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200808142216.26328.jon@ffconsultancy.com> X-Plusnet-Relay: a667c947d6a7ce0c62e984552ae39452 X-Spam: no; 0.00; haskell:01 ocaml:01 haskell:01 arrays:01 storm:98 frog:98 wrote:01 wrote:01 overflows:01 stack:01 caml-list:01 algorithm:01 rarely:02 slower:02 fortran:02 On Thursday 14 August 2008 21:57:59 you wrote: > Excerpts from Jon Harrop's message of Thu Aug 14 15:57:47 +0200 2008: > > On Thursday 14 August 2008 12:50:43 blue storm wrote: > > > and Haskell is faster than most (scripting) languages used these days > > > anyway). > > > > Despite being written in Python, Mercurial is orders of magnitude faster > > than Darcs. > > The difference of performances between Darcs and Mercurial is 99% due > differences in algorithms not in the implementation language. So this > comparison does not make sense! Only if the choice of algorithm was independent of the language, which is rarely the case. For example, Fortran programmers use arrays when they are unsuitable and their programs can be slower than scripting languages as a consequence. That is Fortran's fault. Does the Darcs implementation overuse singly linked lists because they are more accessible? Are the reported stack overflows indicative of this? I don't know but I certainly wouldn't rule it out as a possibility. -- Dr Jon D Harrop, Flying Frog Consultancy Ltd. http://www.ffconsultancy.com/products/?e