smkl has quit [Read error: 104 (Connection reset by peer)]
malc has quit ["no reason"]
smkl has joined #ocaml
mw has joined #ocaml
mw has quit [Client Quit]
mellum is now known as there_seems_to_be_a_limit_on_n
there_seems_to_be_a_limit_on_n is now known as mellum
smkl has quit [carter.openprojects.net irc.openprojects.net]
graydon_ has quit [carter.openprojects.net irc.openprojects.net]
mellum has quit [carter.openprojects.net irc.openprojects.net]
graydon_ has joined #ocaml
mellum has joined #ocaml
smkl has joined #ocaml
graydon_ has quit [carter.openprojects.net irc.openprojects.net]
mellum has quit [carter.openprojects.net irc.openprojects.net]
graydon_ has joined #ocaml
mellum has joined #ocaml
graydon_ has quit [Read error: 60 (Operation timed out)]
jemfinch has joined #ocaml
two-face_ has joined #ocaml
two-face_ has left #ocaml []
Hopla has joined #ocaml
<
Hopla>
Anybody here?
<
Hopla>
I have a question about OCAML...
<
Hopla>
Do you know CAML Light too?
<
Hopla>
Well... In CAML Light, the expression " a && b " is equivalent to " if a then b else false "
<
Hopla>
It's called the "Ă©valuation paresseuse" , or "laziness evaluation" I presume.
<
Hopla>
(Yep I'm french)
<
Hopla>
And so my question is : is it different in OCAML???
<
Hopla>
For example in CAML Light this expression :
<
Hopla>
# true && ( 5/0 = 0 )
<
Hopla>
# false && ( 5/0 = 0 )
<
Hopla>
it doesn't create any exception
<
Hopla>
Does it in OCAML?
<
Taaus>
external ( && ) : bool -> bool -> bool = "%sequand"
<
Taaus>
(** The boolean ``and''. Evaluation is sequential, left-to-right:
<
Taaus>
in [e1 && e2], [e1] is evaluated first, and if it returns [false],
<
Taaus>
[e2] is not evaluated at all. *)
<
Taaus>
There you have it :)
<
Hopla>
Cool! My teacher said it was different in OCAML.
<
Hopla>
I find it so incredible I can't bear it.
<
Hopla>
Okay, thanks you all, I leave now, I have an algorithmic & programmation exam to prepare!
<
Hopla>
Have you all a nice day!
<
Hopla>
Thanks smkl too for listening to me.
mellum has quit [carter.openprojects.net irc.openprojects.net]
mellum has joined #ocaml
mellum has quit [Read error: 60 (Operation timed out)]
mellum has joined #ocaml
mellum has quit ["ircII EPIC4-1.0.1 -- Are we there yet?"]
jao has joined #ocaml
jao has quit [Read error: 104 (Connection reset by peer)]
jao has joined #ocaml
mellum has joined #ocaml
<
mellum>
If I have a file foo-bar-baz.cmo, how's the namespace called?
<
mellum>
Foo_bar_baz doesn't seem to work...
malc has joined #ocaml
malc has quit ["no reason"]
jao has quit [carter.openprojects.net irc.openprojects.net]
graydon has quit [carter.openprojects.net irc.openprojects.net]