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.1 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 discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 1D4DABC0B for ; Wed, 13 Dec 2006 17:48:56 +0100 (CET) Received: from moutng.kundenserver.de (moutng.kundenserver.de [212.227.126.183]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id kBDGmtDI022158 for ; Wed, 13 Dec 2006 17:48:55 +0100 Received: from [84.58.179.80] (helo=gate.lan.gerd-stolpmann.de) by mrelayeu.kundenserver.de (node=mrelayeu0) with ESMTP (Nemesis), id 0MKwh2-1GuXHp371E-000762; Wed, 13 Dec 2006 17:48:54 +0100 Received: from flakew.lan.gerd-stolpmann.de (fw.lan.gerd-stolpmann.de [192.168.1.1]) by gate.lan.gerd-stolpmann.de (Postfix) with ESMTP id 80782C14F; Wed, 13 Dec 2006 17:48:53 +0100 (CET) Subject: Re: [Caml-list] How to refactor a large Ocaml program From: Gerd Stolpmann To: Yann Coscoy Cc: caml-list@yquem.inria.fr In-Reply-To: <4580079B.1020101@trusted-logic.fr> References: <457FF423.7000703@abc.se> <20061213130922.GA17914@pulp.rsise.anu.edu.au> <4580079B.1020101@trusted-logic.fr> Content-Type: text/plain Date: Wed, 13 Dec 2006 17:48:52 +0100 Message-Id: <1166028533.18307.13.camel@localhost.localdomain> Mime-Version: 1.0 X-Mailer: Evolution 2.6.1 Content-Transfer-Encoding: 7bit X-Provags-ID: kundenserver.de abuse@kundenserver.de login:a6865a839c0178d9aa0ce41878507ea2 X-Miltered: at discorde with ID 45802EF7.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; refactor:01 ocaml:01 gerd:01 stolpmann:01 ocaml:01 unmanageable:01 kloc:01 gerd:01 stolpmann:01 viktoriastr:01 64293:01 darmstadt:01 6151:01 6151:01 caml-list:01 Am Mittwoch, den 13.12.2006, 15:00 +0100 schrieb Yann Coscoy: > 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. Well, it is certainly possible to write Ocaml programs that turn out to be unmanageable. My experience (which is currently a 53 kloc commercial project) is different, however. We are refactoring all the time, and it is no big deal. Ok, we are only refactoring from "good design A" to "good design B", and not from a bad design to a hopefully better design. > I think that the only reason why ocaml programmers do no use refactoring > tools is that such tools do not exits of ocaml. I wouldn't use such a tool if it were more complicated than the status quo. Anyway, I think it is more the people who make a large program manageable, not the availability of such tools. Gerd -- ------------------------------------------------------------ Gerd Stolpmann * Viktoriastr. 45 * 64293 Darmstadt * Germany gerd@gerd-stolpmann.de http://www.gerd-stolpmann.de Phone: +49-6151-153855 Fax: +49-6151-997714 ------------------------------------------------------------