English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
[Caml-list] ANNOUNCE: mod_caml 1.0.6 - includes security patch
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2004-01-20 (19:37)
From: David Brown <caml-list@d...>
Subject: Re: [Caml-list] ANNOUNCE: mod_caml 1.0.6 - includes security patch
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.

Dave Brown

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