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 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 46DABBC0B for ; Wed, 13 Dec 2006 15:00:56 +0100 (CET) Received: from gw.trusted-logic.com (gw.trusted-logic.com [62.240.237.74]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id kBDE0t3a011286 for ; Wed, 13 Dec 2006 15:00:56 +0100 Received: from localhost (maio.trusted-logic.fr [127.0.0.1]) by gw.trusted-logic.com (Postfix) with ESMTP id A6867214066 for ; Wed, 13 Dec 2006 15:00:55 +0100 (CET) Received: from gw.trusted-logic.com ([127.0.0.1]) by localhost (maio [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 12044-06 for ; Wed, 13 Dec 2006 15:00:55 +0100 (CET) Received: from [192.168.1.94] (unknown [192.168.1.94]) by gw.trusted-logic.com (Postfix) with ESMTP id 8757E214031 for ; Wed, 13 Dec 2006 15:00:55 +0100 (CET) Message-ID: <4580079B.1020101@trusted-logic.fr> Date: Wed, 13 Dec 2006 15:00:59 +0100 From: Yann Coscoy Organization: Trusted Logic User-Agent: Thunderbird 1.5.0.8 (X11/20061117) MIME-Version: 1.0 To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] How to refactor a large Ocaml program References: <457FF423.7000703@abc.se> <20061213130922.GA17914@pulp.rsise.anu.edu.au> In-Reply-To: <20061213130922.GA17914@pulp.rsise.anu.edu.au> X-Enigmail-Version: 0.94.1.1 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Virus-Scanned: by amavisd-new-20030616-p10 (Debian) at trusted-logic.fr X-Miltered: at concorde with ID 45800797.002 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; refactor:01 ocaml:01 ocaml:01 caml-list:01 shorter:02 exits:02 exists:03 yet:12 requires:12 think:12 tools:12 tools:12 however:13 opinion:13 programmers:13 My opinion is that you are right when you say that ocaml programs are often shorter than Java one. However, I have the feeling that you are over-enthusiastic about manageability of ocaml programs. I think that the only reason why ocaml programmers do no use refactoring tools is that such tools do not exits of ocaml. And if these tools do not exists it is not because nobody need nor want them. It is because it requires a huge effort to have good ones. And nobody has done is effort yet. Yann Coscoy