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 MAA05593; Mon, 6 Sep 2004 12:57:03 +0200 (MET DST) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id MAA06009 for ; Mon, 6 Sep 2004 12:57:02 +0200 (MET DST) Received: from eris.rz.uni-saarland.de (eris.rz.uni-saarland.de [134.96.7.8]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id i86Av113002373 for ; Mon, 6 Sep 2004 12:57:01 +0200 Received: from cs.uni-sb.de (cs.uni-sb.de [134.96.254.254]) by eris.rz.uni-saarland.de (8.12.10/8.12.10) with ESMTP id i86Av0jO1691312 for ; Mon, 6 Sep 2004 12:57:00 +0200 (CST) Received: from mail.cs.uni-sb.de (mail.cs.uni-sb.de [134.96.254.200]) by cs.uni-sb.de (8.13.1/2004080400) with ESMTP id i86AuxqB001160 for ; Mon, 6 Sep 2004 12:56:59 +0200 (CEST) Received: from ps.uni-sb.de (grizzly.ps.uni-sb.de [134.96.186.68]) by mail.cs.uni-sb.de (8.13.1/2004080200) with ESMTP id i86Auuvn019478 for ; Mon, 6 Sep 2004 12:56:58 +0200 (CEST) X-Authentication-Warning: email: Host grizzly.ps.uni-sb.de [134.96.186.68] claimed to be ps.uni-sb.de Received: from ps.uni-sb.de (groove.ps.uni-sb.de [134.96.186.172]) by ps.uni-sb.de (8.12.10/8.12.10) with ESMTP id i86AutUV029735; Mon, 6 Sep 2004 12:56:55 +0200 Message-ID: <413C4277.9000700@ps.uni-sb.de> Date: Mon, 06 Sep 2004 12:56:55 +0200 From: Andreas Rossberg User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.4.1) Gecko/20031114 X-Accept-Language: en-us, en MIME-Version: 1.0 To: caml-list Subject: Re: [Caml-list] Announcing the OMake build system version 0.9.1 References: <4139ECD3.1050708@cs.caltech.edu> <001e01c492a6$872c7280$19b0e152@warp> <413A0921.7030607@ntlworld.com> <413A1E89.10806@libertysurf.fr> <1094361655.3352.476.camel@pelican.wigram> <87hdqc3kfr.fsf@qrnik.zagroda> <1094396893.3352.635.camel@pelican.wigram> <20040905160936.GB29119@old.davidb.org> <1094409059.3352.838.camel@pelican.wigram> In-Reply-To: <1094409059.3352.838.camel@pelican.wigram> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-1.5.1 (eris.rz.uni-saarland.de [134.96.7.8]); Mon, 06 Sep 2004 12:57:00 +0200 (CEST) X-AntiVirus: checked by AntiVir Milter 1.0.6; AVE 6.27.0.6; VDF 6.27.0.47 X-Miltered: at concorde with ID 413C427D.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; rossberg:01 rossberg:01 uni-sb:01 caml-list:01 fixpoint:01 fixpoint:01 outputs:01 declarative:01 uni-sb:01 wrote:03 scheme:03 imperative:04 output:05 functional:06 andreas:07 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk skaller wrote: >> >>>Fixpoint iteration works and is universal. >> >>It isn't universal, though. There are pathalogical cases, even with common >>tools where it never will stabilize. > > I think it is very rare to find a case which would > stabilise with a manual order and not fixpoint iteration. That isn't the point, though. There are tools that are not intended to produce stable outputs! For example, a tool might be generating time stamps or guids in its output files. Such tools will never work with a fixpoint scheme, so you can hardly claim its universality. Also, I'm not convinced that the move from a declarative to an imperative build paradigm is really what most people into functional programming would like to see... ;-) - Andreas -- Andreas Rossberg, rossberg@ps.uni-sb.de Let's get rid of those possible thingies! -- TB ------------------- 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