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 DAA23031; Sun, 10 Jun 2001 03:03:45 +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 DAA22974 for ; Sun, 10 Jun 2001 03:03:41 +0200 (MET DST) Received: from staff.gtmd.com (adsl-63-195-80-23.dsl.snfc21.pacbell.net [63.195.80.23]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f5A13ZP15624 for ; Sun, 10 Jun 2001 03:03:40 +0200 (MET DST) Received: from aria.chasm.org (aria [192.168.0.3]) by staff.gtmd.com (8.9.3/8.9.3) with ESMTP id SAA56494 for ; Sat, 9 Jun 2001 18:02:13 -0700 (PDT) (envelope-from charles@chasm.org) Message-Id: <5.1.0.14.0.20010609175833.03bdda20@chasm.org> X-Sender: charles@chasm.org X-Mailer: QUALCOMM Windows Eudora Version 5.1 Date: Sat, 09 Jun 2001 18:06:30 -0700 To: caml-list@inria.fr From: Charles Martin Subject: Re: [Caml-list] Evaluation Order In-Reply-To: <000901c0f13b$f981c610$210148bf@dylan> References: <001501c0f139$9ce86640$210148bf@dylan> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk >The results of these two operations, integers, are arithmetically commutable >under addition. But what isn't commutable is the order in which these >operations occur.... > >What is needed is some specification that indicates temporal preference, and >then the type checking mechanism must be enhanced to keep temporal order. >Most programs in OCaml probably have no preference, and in fact, a sense of >order is strongly discouraged in most FPL's -- e.g., Haskell. The specification that indicates temporal preference is let in let in ... Argument evaluation order and temporal preference are two orthogonal concepts and should not be conflated. I support unspecified argument evaluation order. ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr