Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

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 Archives:
Bug reports: FAQ:
Beginner's list: