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 UAA15569; Wed, 6 Jun 2001 20:40:57 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id UAA15003 for ; Wed, 6 Jun 2001 20:40:56 +0200 (MET DST) Received: from fledge.watson.org (fledge.watson.org [204.156.12.50]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f56Ietn03578 for ; Wed, 6 Jun 2001 20:40:55 +0200 (MET DST) Received: from localhost (patrick@localhost) by fledge.watson.org (8.11.3/8.11.3) with SMTP id f56Iegx54269; Wed, 6 Jun 2001 14:40:43 -0400 (EDT) (envelope-from patrick@watson.org) Date: Wed, 6 Jun 2001 14:40:42 -0400 (EDT) From: Patrick M Doane To: William Chesters cc: caml-list@inria.fr Subject: Re: [Caml-list] OCaml Speed for Block Convolutions In-Reply-To: <15134.30731.137189.386800@beertje.william.bogus> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Wed, 6 Jun 2001, William Chesters wrote: > Hugo Herbelin writes: > > Assume more generally that you can modify any local variable as in the > > (standard) following example: > > > > let fact (mutable n) = > > let mutable r = 1 in > > while n > 0 do > > r <- r * n; > > n <- n - 1 > > done; > > r > > This doesn't actually make life much easier for the compiler. Even if there's no benefit to the compiler, I think there is a benefit to the programmer. I would much rather write imperative code with that syntax. Patrick ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr