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-21 (00:35)
From: David Brown <caml-list@d...>
Subject: Re: [Caml-list] ANNOUNCE: mod_caml 1.0.6 - includes security patch
On Wed, Jan 21, 2004 at 01:48:19AM +0200, Eray Ozkural wrote:

> Compiler knows which x to use, let and which differ only in syntax! Semantics 
> is the same.

Does it?

let f a =
  let a = a + 1 in
  a
  where a = a + 2

What does this function do?  You could argue for any result a, (a+1),
(a+2), or (a+3).  The casual definition of the where clause doesn't
specify precedence.  Obviously, an implementation would have to chose
one, but there is no clear reason one choice is better than the other.

Dave

-------------------
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