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 VAA09109; Tue, 20 Jan 2004 21:45:14 +0100 (MET) 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 VAA08924 for ; Tue, 20 Jan 2004 21:45:13 +0100 (MET) X-SPAM-Warning: Sending machine is listed in blackholes.five-ten-sg.com Received: from eposta.kablonet.com.tr ([62.248.102.66]) by nez-perce.inria.fr (8.11.1/8.11.1) with SMTP id i0KKjAv26679 for ; Tue, 20 Jan 2004 21:45:12 +0100 (MET) Received: (qmail 16347 invoked by uid 0); 20 Jan 2004 20:45:20 -0000 Received: from unknown (HELO 195.174.173.82) (exa@kablonet.com.tr@195.174.173.82) by 0 with SMTP; 20 Jan 2004 20:45:20 -0000 From: Eray Ozkural Reply-To: erayo@cs.bilkent.edu.tr Organization: Bilkent University CS Dept. To: Ocaml Mailing List Subject: Re: [Caml-list] ANNOUNCE: mod_caml 1.0.6 - includes security patch Date: Tue, 20 Jan 2004 22:38:17 +0200 User-Agent: KMail/1.5.94 References: <20040116093454.GA23909@redhat.com> <20040120185445.GA26921@roke.freak> <20040120193756.GA25813@davidb.org> In-Reply-To: <20040120193756.GA25813@davidb.org> MIME-Version: 1.0 Content-Disposition: inline Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit Message-Id: <200401202238.17782.exa@kablonet.com.tr> X-Loop: caml-list@inria.fr X-Spam: no; 0.00; eray:01 ozkural:01 caml-list:01 2004:99 2004:99 michal:01 moskal:01 haskell:01 c's:01 eray:01 ozkural:01 erayo:01 bilkent:01 bilkent:01 ankara:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Tuesday 20 January 2004 21:37, David Brown wrote: > On Tue, Jan 20, 2004 at 07:54:45PM +0100, Michal Moskal wrote: > > > > Now, the reader of the code might take false impression that f() is > > > > executed before g(). Of course there is no such danger with function > > > > definitions in where blocks, but still I think readability is the > > > > reason it is absent from ocaml. > > The where clause works well for Haskell, because there are no order of > evaluation issues. Because of side-effects, the where clause in ocaml > would usually just end up being confusing. Think of a multi-page > expression with a where clause at the end. Not that this is good code, > but it would sure be easy to miss. It would probably cause the same > kinds of problems that C's 'break' causes in switch statements. I disagree. Think of a multi-page expression with a let clause in the beginning. -- Eray Ozkural (exa) Comp. Sci. Dept., Bilkent University, Ankara KDE Project: http://www.kde.org www: http://www.cs.bilkent.edu.tr/~erayo Malfunction: http://mp3.com/ariza GPG public key fingerprint: 360C 852F 88B0 A745 F31B EA0F 7C07 AE16 874D 539C ------------------- 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