mbishop changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | Grab Ocaml 3.10.0 from http://caml.inria.fr/ocaml/release.html (featuring new camlp4 and more!)
Morphous has joined #ocaml
Tetsuo has quit ["Leaving"]
Morphous_ has quit [Read error: 110 (Connection timed out)]
psnively has joined #ocaml
jlouis_ has joined #ocaml
Associat0r has quit [Read error: 104 (Connection reset by peer)]
Associat0r has joined #ocaml
jlouis has quit [Read error: 110 (Connection timed out)]
wy has joined #ocaml
buluca has joined #ocaml
wy has quit [Client Quit]
wy has joined #ocaml
wy has quit [Read error: 104 (Connection reset by peer)]
wy has joined #ocaml
wy has quit [Read error: 104 (Connection reset by peer)]
wy has joined #ocaml
psnively has quit []
qwr has quit [calvino.freenode.net irc.freenode.net]
qwr has joined #ocaml
Smerdyakov has joined #ocaml
indigente has joined #ocaml
<indigente> wajajaj
<indigente> olaaa
<indigente> algun wn aki o no?
indigente has left #ocaml []
Jomyoot has joined #ocaml
<Jomyoot> when did the revised syntax come ou?
<Smerdyakov> First, in case it wasn't clear, it's one person's pet project, not The Next Step For OCaml.
<Smerdyakov> I think it's many years old.
<Jomyoot> really
<Jomyoot> so ocaml is to retain its current syntax
<Smerdyakov> Yes
<Jomyoot> is it odd that many people find the original ocaml syntax unfriendly?
paulc has joined #ocaml
<paulc> hello
<paulc> how efficient is ocaml for allocating lots of small, short-lived objects?
Jomyoot has left #ocaml []
<tsuyoshi> it's pretty efficient
buluca has quit [Read error: 113 (No route to host)]
mng has joined #ocaml
netx has quit [Remote closed the connection]
paulc has quit [Read error: 110 (Connection timed out)]
olleolleolle has joined #ocaml
olleolleolle has quit [Client Quit]
seafood_ has quit []
olleolleolle has joined #ocaml
olleolleolle has quit [Client Quit]
<loufoque> I have files A.ml and B.ml. In B.ml I have a module A. Is there still a syntax to refer from B.ml to A.ml?
<Proteus> So, I admit I'm new to the ocaml world but I'm getting really mixed feelings about this Jon Harrop guy. On the one hand he will post in a mailing list something with a varying amount of substantive value and on the other he twists advertisements for his books/jounals into almost every post.
ttamttam has joined #ocaml
ttamttam has left #ocaml []
<Proteus> Is he just a really well informed guy trying to make a living from a self published book? Is he a hack with a shit book? Is he just mildly irritating but an otherwise ok guy?
<Proteus> I'm told his book is quite good, but I've still been unable to acquire a copy through the library system..... but that's a whole other thing
olleolleolle has joined #ocaml
olleolleolle has quit [Client Quit]
netx has joined #ocaml
<loufoque> Files a.cmx and b.cmx make inconsistent assumptions about interface C
<loufoque> how am I supposed to debug that with that kind of error message
olleolleolle has joined #ocaml
olleolleolle has quit []
loufoque has quit ["Quitte"]
ttamttam has joined #ocaml
olleolleolle has joined #ocaml
olleolleolle has quit []
filp has joined #ocaml
wy has quit ["Ex-Chat"]
madroach has joined #ocaml
qpu has quit []
wy has joined #ocaml
qpu has joined #ocaml
kreaturr has joined #ocaml
wy has quit ["Ex-Chat"]
wy has joined #ocaml
kreaturr1 has joined #ocaml
Tetsuo has joined #ocaml
kreaturr_ has quit [Read error: 110 (Connection timed out)]
ttamttam has left #ocaml []
buluca has joined #ocaml
kreaturr has quit [Read error: 110 (Connection timed out)]
hkBst has joined #ocaml
madroach has quit [Remote closed the connection]
munga_ has joined #ocaml
marmottine has joined #ocaml
munga_ has quit ["Ex-Chat"]
qpu has quit ["kthxbye"]
rwmjones has joined #ocaml
buluca has quit [Read error: 113 (No route to host)]
mng has quit []
Proteus has quit ["Leaving"]
ertai has joined #ocaml
Yoric[DT] has joined #ocaml
Anarchos has joined #ocaml
ita has joined #ocaml
Yoric[DT] has quit ["Ex-Chat"]
Snark has joined #ocaml
Tetsuo has quit ["Leaving"]
ertai has quit [Read error: 110 (Connection timed out)]
Anarchos has quit ["Vision[0.8.5-0418]: i've been blurred!"]
seafood_ has joined #ocaml
jlouis has joined #ocaml
ertai has joined #ocaml
jlouis_ has quit [Read error: 110 (Connection timed out)]
buluca has joined #ocaml
ita has quit [Remote closed the connection]
magnusj_ has joined #ocaml
Mr_Awesome has quit ["aunt jemima is the devil!"]
FZ has quit ["ChatZilla 0.9.78.1 [Firefox 2.0.0.11/2007112718]"]
magnusj has quit [Read error: 110 (Connection timed out)]
buluca has quit [Read error: 113 (No route to host)]
seafood_ has quit []
ygrek has joined #ocaml
postalchris has joined #ocaml
ygrek has quit [Remote closed the connection]
buluca has joined #ocaml
buluca has quit [Read error: 113 (No route to host)]
ygrek has joined #ocaml
Jomyoot has joined #ocaml
<Jomyoot> How popular is the revised syntax of ocaml?
postalchris has quit [Read error: 110 (Connection timed out)]
Tetsuo has joined #ocaml
Jomyoot has quit [Read error: 104 (Connection reset by peer)]
Jomyoot has joined #ocaml
Jomyoot has left #ocaml []
Snark has quit [Read error: 113 (No route to host)]
ygrek has quit [Remote closed the connection]
<flux> prothere is no reason to believe smart people cannot be obnoxious :)
ygrek has joined #ocaml
<flux> sight, apparently he's gone
<flux> s/t//
Yoric[DT] has joined #ocaml
pango has quit [Remote closed the connection]
asmanur has joined #ocaml
pango has joined #ocaml
asmanur is now known as asma
filp has quit ["Bye"]
rwmjones has quit ["Closed connection"]
mrsolo has joined #ocaml
ertai has quit [Read error: 110 (Connection timed out)]
thermoplyae has joined #ocaml
ttamttam has joined #ocaml
ttamtta1 has joined #ocaml
ttamtta1 has quit [Client Quit]
ttamttam has left #ocaml []
Snark has joined #ocaml
ertai has joined #ocaml
dmentre has joined #ocaml
ygrek has quit ["Leaving"]
ygrek has joined #ocaml
pippijn has quit ["I'm the Quit Message Virus. Replace your old Quit with this, so I can continue to multiply myself!"]
qpu has joined #ocaml
dmentre has quit ["Leaving."]
__suri has quit [No route to host]
* Yoric[DT] is currently optimizing lazy pattern-matching.
<jonafan> piew
<flux> yoric[dt], any thoughts if it'll get a working case coverage analysis?
<Yoric[DT]> I don't think it will get full case coverage analysis.
<Yoric[DT]> But the optimization I'm working on should help with simple cases.
<flux> so there there some fundamental problems with the approach that prevent that from happening (like requiring you'd do your own type inference or something)?
<Yoric[DT]> Yep.
<flux> I don't actually know how it's done, but I was thinking one approach..
<Yoric[DT]> Basically, the way it works in Patterns 0.3, which I'm currently customizing, is the following:
olleolleolle has joined #ocaml
<Yoric[DT]> * patterns may be prefixed by "lazy" to specify that they should be forced before being matched
<flux> convert the code into if true then (* insert real code here *) else match failwith "" with (* same matches here, but report errors as being in the original match *)
marmottine has quit ["Quitte"]
qpu has quit []
<Yoric[DT]> any occurrence of "lazy p" becomes some kind of "Lazy.force x when match x with p -> true | _ -> false"
<Yoric[DT]> (something a bit more complex as patterns usually carry values)
<Yoric[DT]> I'm currently working on simplifying most common cases and letting ocamlc do the real work.
<Yoric[DT]> But it's not always possible if you want to preserve a policy of evaluating as little as possible.
<Yoric[DT]> For instance,
<Yoric[DT]> match (x,y) with
<Yoric[DT]> | 3, 5 -> 1
<Yoric[DT]> | n, _ -> 2
asma has quit [Read error: 110 (Connection timed out)]
<Yoric[DT]> will not evaluate y if x is not 3.
<Yoric[DT]> That's a design decision in Patterns 0.3.
<flux> that's what a lazy pattern matching is, right?-o
<flux> s/a //
<Yoric[DT]> :)
qpu has joined #ocaml
<flux> does let lazy a = lazy 42 work?
<Yoric[DT]> Yup.
<Yoric[DT]> Without warnings.
ertai has quit [Read error: 110 (Connection timed out)]
<Yoric[DT]> mmmhhh...
<Yoric[DT]> let lazy a = lazy 42 only works in the original syntax.
olleolleolle has quit []
<Yoric[DT]> Ok, fixed.
ertai has joined #ocaml
Snark has quit ["Quitte"]
bzzbzz has joined #ocaml
ertai has quit [Read error: 110 (Connection timed out)]
ttamttam has joined #ocaml
ttamttam has left #ocaml []
xavierbot has quit [Read error: 110 (Connection timed out)]
<Yoric[DT]> Okay, I have problems with my .cma once again.
<Yoric[DT]> Could anyone give me a hand ?
<Associat0r> any #F# guys here?
madroac1 has joined #ocaml
<Yoric[DT]> (not me)
<Yoric[DT]> Is there any way to display any debugging info when #load happens ?
<Yoric[DT]> I think I got it.
* Yoric[DT] had forgotten some .cmi .
ertai has joined #ocaml
psnively has joined #ocaml
seafood_ has joined #ocaml
Tetsuo has quit ["Leaving"]
ygrek has quit [Remote closed the connection]
mng has joined #ocaml
hkBst has quit ["Konversation terminated!"]
madroac1 has left #ocaml []
ertai has quit [Read error: 110 (Connection timed out)]
Associat0r has quit []