From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 7C6BBBDE8 for ; Fri, 26 Aug 2005 14:26:37 +0200 (CEST) Received: from shiva.jussieu.fr (shiva.jussieu.fr [134.157.0.129]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j7QCQbtg013928 for ; Fri, 26 Aug 2005 14:26:37 +0200 Received: from ibm3.cicrp.jussieu.fr (ibm3.cicrp.jussieu.fr [134.157.15.3]) by shiva.jussieu.fr (8.12.11/jtpda-5.4) with ESMTP id j7QCQ7BJ069732 ; Fri, 26 Aug 2005 14:26:07 +0200 (CEST) X-Ids: 164 Received: from ibm1.cicrp.jussieu.fr (ibm1.cicrp.jussieu.fr [134.157.15.1]) by ibm3.cicrp.jussieu.fr (8.8.8/jtpda/mob-V8) with ESMTP id OAA13062 ; Fri, 26 Aug 2005 14:22:29 +0200 Received: from localhost (fernande@localhost) by ibm1.cicrp.jussieu.fr (8.8.8/jtpda/mob-v8) with ESMTP id OAA364608 ; Fri, 26 Aug 2005 14:26:12 +0200 X-Authentication-Warning: ibm1.cicrp.jussieu.fr: fernande owned process doing -bs Date: Fri, 26 Aug 2005 14:26:11 +0200 (DST) From: Diego Olivier Fernandez Pons X-X-Sender: fernande@ibm1 To: Christophe Raffalli Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Re: Parameter evaluation order In-Reply-To: <430F0669.6050103@univ-savoie.fr> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-1.7.2 (shiva.jussieu.fr [134.157.0.164]); Fri, 26 Aug 2005 14:26:07 +0200 (CEST) X-Antivirus: scanned by sophie at shiva.jussieu.fr X-Miltered: at nez-perce with ID 430F0A7D.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at shiva.jussieu.fr with ID 430F0A5F.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; pons:01 pons:01 caml-list:01 compiler:01 ...:98 caml:02 semantic:02 parameter:02 optimization:03 problem:05 elaborate:06 fernandez:06 fernandez:06 olivier:07 olivier:07 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 Bonjour, > why should the evaluation order be specified: this is needed if you > want to formally reason about programs ... as far as I know. Could you elaborate more on this ? I see the evaluation order in Caml more as a compiler optimization problem that a semantic one. If I need a specific evaluation order, I just sequencialize my program explicitelly. Diego Olivier