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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 5EC44BC6C for ; Wed, 30 Jan 2008 14:30:48 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ah4FAKcKoEfAXQInh2dsb2JhbACCNo1xAQEBCAopnyU X-IronPort-AV: E=Sophos;i="4.25,277,1199660400"; d="scan'208";a="8536925" Received: from concorde.inria.fr ([192.93.2.39]) by mail3-smtp-sop.national.inria.fr with ESMTP; 30 Jan 2008 14:30:48 +0100 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m0UDUdHu029645 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Wed, 30 Jan 2008 14:30:47 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ao8CAO8KoEfUnw6EhWdsb2JhbACCNo1xAQEBCAQGBwgTB58v X-IronPort-AV: E=Sophos;i="4.25,277,1199660400"; d="scan'208";a="7429744" Received: from pih-relay05.plus.net ([212.159.14.132]) by mail1-smtp-roc.national.inria.fr with ESMTP; 30 Jan 2008 14:30:47 +0100 Received: from [80.229.56.224] (helo=beast.local) by pih-relay05.plus.net with esmtp (Exim) id 1JKD1Z-0000ON-4R; Wed, 30 Jan 2008 13:30:45 +0000 From: Jon Harrop Organization: Flying Frog Consultancy Ltd. To: "Nicolas Pouillard" Subject: Re: [Caml-list] Re: [OSR] Ports-like package management system Date: Wed, 30 Jan 2008 13:25:28 +0000 User-Agent: KMail/1.9.7 References: <479F0664.2070706@exalead.com> <200801301043.55944.jon@ffconsultancy.com> <1201694164-sup-1694@ausone.inria.fr> In-Reply-To: <1201694164-sup-1694@ausone.inria.fr> Cc: caml-list@inria.fr MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-15" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200801301325.29265.jon@ffconsultancy.com> X-Plusnet-Relay: a2c43b3a6f9fa9ea00cc913e0bac781e X-Miltered: at concorde with ID 47A07BFF.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; frog:98 imho:01 wrote:01 caml-list:01 functional:02 theoretical:03 optimization:03 programming:03 perhaps:05 applied:05 correction:05 untested:07 irrelevant:07 correctness:08 correctness:08 On Wednesday 30 January 2008 12:00:01 Nicolas Pouillard wrote: > Users that consider darcs broken and/or unusable are not darcs users, > they perhaps tried it, that's all. So you have not personally experienced performance problems with darcs. > IMHO they've applied the "correction before optimization" principle. > A principle that we often spread in functional programming community. If darcs is unusably slow then its theoretical correctness is irrelevant. Regardless, its actual correctness is still in question because it has so few users that it is basically untested software. -- Dr Jon D Harrop, Flying Frog Consultancy Ltd. http://www.ffconsultancy.com/products/?e