foobarquux changed the topic of #ocaml to: www.ocaml.org
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> Hey!
<Hopla> Anybody here?
<smkl> hello
<Hopla> Hello.
<Hopla> I have a question about OCAML...
<smkl> ok
<Hopla> Do you know CAML Light too?
<smkl> some
<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 :
<smkl> nope
<Hopla> # true && ( 5/0 = 0 )
<Hopla> oups
<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> Coooool!
<Taaus> Hehe :)
<Hopla> Okay, thanks you all, I leave now, I have an algorithmic & programmation exam to prepare!
<Taaus> See ya.
<Hopla> Have you all a nice day!
<Hopla> Thanks smkl too for listening to me.
Hopla has quit []
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]