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!)
Abo-Marwan has joined #ocaml
brooksbp has quit []
seafood_ has joined #ocaml
guyzmo has quit [Remote closed the connection]
guyzmo has joined #ocaml
hsuh has joined #ocaml
hsuh has left #ocaml []
seafood__ has quit [Connection timed out]
menace has joined #ocaml
m3ga has joined #ocaml
m3ga has quit [Client Quit]
brooksbp has joined #ocaml
seafood__ has joined #ocaml
seafood_ has quit [Read error: 110 (Connection timed out)]
menace has quit []
jlouis_ has joined #ocaml
jlouis has quit [Read error: 110 (Connection timed out)]
seafood_ has joined #ocaml
seafood__ has quit [Read error: 110 (Connection timed out)]
seafood__ has joined #ocaml
opening` has quit [Remote closed the connection]
opening has joined #ocaml
seafood_ has quit [Read error: 110 (Connection timed out)]
Smerdyakov has quit ["Leaving"]
darinm has joined #ocaml
seafood_ has joined #ocaml
seafood__ has quit [Read error: 110 (Connection timed out)]
seafood_ has quit []
m3ga has joined #ocaml
seafood_ has joined #ocaml
m3ga has quit ["disappearing into the sunset"]
opening has quit ["reason"]
darinm has quit []
seafood__ has joined #ocaml
seafood_ has quit [Read error: 110 (Connection timed out)]
Zola has quit [Read error: 110 (Connection timed out)]
Zola has joined #ocaml
seafood_ has joined #ocaml
ygrek has joined #ocaml
seafood__ has quit [Read error: 110 (Connection timed out)]
mordaunt has quit [Read error: 104 (Connection reset by peer)]
opening has joined #ocaml
seafood__ has joined #ocaml
brooksbp has quit [Read error: 104 (Connection reset by peer)]
brooksbp has joined #ocaml
seafood_ has quit [Read error: 110 (Connection timed out)]
brooksbp has quit []
brooksbp has joined #ocaml
brooksbp has quit [Client Quit]
ygrek has quit [Remote closed the connection]
Abo-Marwan has quit [Remote closed the connection]
screwt8 has quit [Remote closed the connection]
ygrek has joined #ocaml
Abo-Marwan has joined #ocaml
seafood_ has joined #ocaml
jlouis has joined #ocaml
filp has joined #ocaml
screwt8 has joined #ocaml
ygrek has quit [Remote closed the connection]
ygrek has joined #ocaml
seafood__ has quit [Read error: 110 (Connection timed out)]
jlouis_ has quit [Read error: 110 (Connection timed out)]
seafood__ has joined #ocaml
Snark has joined #ocaml
Mr_Awesome has quit ["aunt jemima is the devil!"]
filp has quit ["Bye"]
seafood_ has quit [Read error: 110 (Connection timed out)]
ertai has joined #ocaml
seafood_ has joined #ocaml
seafood__ has quit [Read error: 110 (Connection timed out)]
brooksbp has joined #ocaml
ita has joined #ocaml
seafood__ has joined #ocaml
seafood_ has quit [Read error: 110 (Connection timed out)]
Ogedei has quit ["ERC Version 5.0.4 $Revision: 1.726.2.19 $ (IRC client for Emacs)"]
hkBst has joined #ocaml
ikaros_ has joined #ocaml
Amorphous has quit ["shutdown"]
ikaros has quit [Read error: 110 (Connection timed out)]
brooksbp has quit []
seafood_ has joined #ocaml
ertai has quit [Read error: 110 (Connection timed out)]
seafood_ has quit [Client Quit]
seafood__ has quit [Read error: 110 (Connection timed out)]
smimou has joined #ocaml
<flux> (as a java applet)
<flux> bah, open_in "/etc/fstab" made it stop working :)
<Snark> I would have had a look at /etc/shadow, but that's me ;-)
Yoric[DT] has joined #ocaml
<Yoric[DT]> hi
<JohnnyL> hey Yoric[DT]
<Yoric[DT]> How do you do ?
Abo-Marwan has quit [Remote closed the connection]
screwt8 has quit [Remote closed the connection]
seafood_ has joined #ocaml
ita is now known as ita|zzz
<flux> snark, well it would have bene pointless, because it's still running on the client end, and I'm sure I don't have access to the file ;)
<Snark> oh
<Snark> I couldn't make the thing run anyway
seafood__ has joined #ocaml
seafood_ has quit [Read error: 110 (Connection timed out)]
seafood_ has joined #ocaml
yminsky has joined #ocaml
yminsky has quit [Client Quit]
seafood__ has quit [Read error: 110 (Connection timed out)]
seafood_ has quit []
<JohnnyL> Yoric[DT], I do well, how are you¿
<Yoric[DT]> ok, thanks
smimou has quit ["bli"]
ikaros_ has quit [Remote closed the connection]
yminsky has joined #ocaml
ita|zzz is now known as ita
ttamttam has joined #ocaml
yminsky has quit []
ttamttam has left #ocaml []
pango has quit [Remote closed the connection]
pango has joined #ocaml
<JohnnyL> Yoric[DT], whacha up to today?
<Yoric[DT]> Not much.
<Yoric[DT]> Assessing homework and reading comics.
ikaros has joined #ocaml
<JohnnyL> cool
<JohnnyL> i like comics which one do you have?
<Yoric[DT]> Right now, I'm reading Promethea.
<JohnnyL> ah ok
ttamttam has joined #ocaml
olleolleolle has joined #ocaml
Smerdyakov has joined #ocaml
brooksbp has joined #ocaml
brooksbp has quit []
Mr_Awesome has joined #ocaml
olleolleolle has quit []
hsuh has joined #ocaml
opening has quit [Connection timed out]
ygrek has quit [Remote closed the connection]
brooksbp has joined #ocaml
brooksbp has quit [Client Quit]
hsuh has quit [Remote closed the connection]
ikaros has quit [Read error: 110 (Connection timed out)]
Snark has quit ["Quitte"]
ikaros has joined #ocaml
JohnnyL has left #ocaml []
opening has joined #ocaml
brooksbp has joined #ocaml
Mr_Awesome has quit ["aunt jemima is the devil!"]
brooksbp has quit []
<flux> smerdyakov, after taking a look at how one would go about writing type safe query interface, your approach of using Coq looks like a pretty good way to go :)
filp has joined #ocaml
<flux> especially the expression types can be daunting.. let's say I have ('a, 'b, 'c) relation3 and I want to have an expression that can compare any one of the three columns to any one of the three columns.. that's already 3*3 constructors for ('a, 'b, 'c) expr3.
<flux> (I might try it anyway, just to see if it can be done..)
<flux> (or perhaps I should investigate further if the types can somehow be constructed from each other)
brooksbp has joined #ocaml
brooksbp has quit []
hsuh has joined #ocaml
hsuh has quit [Remote closed the connection]
hsuh has joined #ocaml
hsuh has quit [Remote closed the connection]
hsuh has joined #ocaml
hsuh has quit [Remote closed the connection]
hsuh has joined #ocaml
ttamttam has left #ocaml []
hsuh has quit [Remote closed the connection]
brooksbp has joined #ocaml
ygrek has joined #ocaml
Tetsuo has joined #ocaml
Yoric[DT] has quit [Read error: 113 (No route to host)]
Tetsuo has quit ["Leaving"]
olleolleolle has joined #ocaml
__suri_ has joined #ocaml
bluestorm_ has joined #ocaml
nuncanada has joined #ocaml
brooksbp has quit []
olleolleolle has quit []
ygrek has quit [Remote closed the connection]
bluestorm_ has quit ["Konversation terminated!"]
pants3 has joined #ocaml
pants3 has quit [Read error: 110 (Connection timed out)]
filp has quit ["Bye"]
hkBst has quit ["Konversation terminated!"]
smimou has joined #ocaml
pants3 has joined #ocaml
pants4 has joined #ocaml
pants5 has joined #ocaml
pants6 has joined #ocaml
pants3 has quit [Connection timed out]
pants4 has quit [Read error: 110 (Connection timed out)]
pants5 has quit [Read error: 110 (Connection timed out)]
pants6 has quit [Read error: 110 (Connection timed out)]
smimou has quit ["bli"]
pants2 has joined #ocaml