danly has quit [Read error: 104 (Connection reset by peer)]
dark_light has quit [Connection timed out]
danly has joined #ocaml
jcreigh has joined #ocaml
Demitar_ has joined #ocaml
Demitar__ has quit [Read error: 104 (Connection reset by peer)]
coder_ has joined #ocaml
dark_light has joined #ocaml
jcreigh has quit [Connection timed out]
CosmicRay has joined #ocaml
coder_ has quit ["Leaving"]
khaladan has quit [Read error: 104 (Connection reset by peer)]
Demitar_ has quit [clarke.freenode.net irc.freenode.net]
shawn has quit [clarke.freenode.net irc.freenode.net]
finelemo1 has quit [clarke.freenode.net irc.freenode.net]
flux__ has quit [clarke.freenode.net irc.freenode.net]
ppsmimou has quit [clarke.freenode.net irc.freenode.net]
dvekravy has quit [clarke.freenode.net irc.freenode.net]
dylan has quit [clarke.freenode.net irc.freenode.net]
dvekravy_ has joined #ocaml
Demitar_ has joined #ocaml
shawn has joined #ocaml
finelemo1 has joined #ocaml
flux__ has joined #ocaml
ppsmimou has joined #ocaml
dvekravy has joined #ocaml
dylan has joined #ocaml
fluxx has joined #ocaml
flux__ has quit [Connection reset by peer]
dvekravy has quit [Connection reset by peer]
dylan_ has joined #ocaml
dylan has quit [Read error: 104 (Connection reset by peer)]
dylan_ is now known as dylan
ppsmimou has quit [Read error: 110 (Connection timed out)]
ppsmimou has joined #ocaml
CosmicRay has quit ["Client exiting"]
khaladan has joined #ocaml
dark_light has quit [No route to host]
dark_light has joined #ocaml
coder_ has joined #ocaml
Lob-Sogular has quit [Read error: 104 (Connection reset by peer)]
Lob-Sogular has joined #ocaml
dylan has quit [clarke.freenode.net irc.freenode.net]
danly has quit [clarke.freenode.net irc.freenode.net]
ramkrsna has quit [clarke.freenode.net irc.freenode.net]
Nargg has quit [clarke.freenode.net irc.freenode.net]
fluxx has quit [clarke.freenode.net irc.freenode.net]
finelemo1 has quit [clarke.freenode.net irc.freenode.net]
Demitar_ has quit [clarke.freenode.net irc.freenode.net]
dvekravy_ has quit [clarke.freenode.net irc.freenode.net]
shawn has quit [clarke.freenode.net irc.freenode.net]
ulfdoz has quit [clarke.freenode.net irc.freenode.net]
descender has quit [clarke.freenode.net irc.freenode.net]
Amorphous has quit [clarke.freenode.net irc.freenode.net]
mellum has quit [clarke.freenode.net irc.freenode.net]
pango has quit [clarke.freenode.net irc.freenode.net]
ppsmimou has quit [clarke.freenode.net irc.freenode.net]
Hadaka has quit [clarke.freenode.net irc.freenode.net]
pattern has quit [clarke.freenode.net irc.freenode.net]
slipstream-- has quit [clarke.freenode.net irc.freenode.net]
zmdkrbou has quit [clarke.freenode.net irc.freenode.net]
creichen has quit [clarke.freenode.net irc.freenode.net]
coder_ has quit [clarke.freenode.net irc.freenode.net]
dark_light has quit [clarke.freenode.net irc.freenode.net]
szsz has quit [clarke.freenode.net irc.freenode.net]
avlondono has quit [clarke.freenode.net irc.freenode.net]
mattam has quit [clarke.freenode.net irc.freenode.net]
ketty has quit [clarke.freenode.net irc.freenode.net]
Smerdyakov has quit [clarke.freenode.net irc.freenode.net]
Bigb[a]ng has quit [clarke.freenode.net irc.freenode.net]
coder_ has joined #ocaml
dark_light has joined #ocaml
ppsmimou has joined #ocaml
dylan has joined #ocaml
fluxx has joined #ocaml
finelemo1 has joined #ocaml
shawn has joined #ocaml
Demitar_ has joined #ocaml
dvekravy_ has joined #ocaml
danly has joined #ocaml
descender has joined #ocaml
slipstream-- has joined #ocaml
szsz has joined #ocaml
ulfdoz has joined #ocaml
avlondono has joined #ocaml
Amorphous has joined #ocaml
ketty has joined #ocaml
mattam has joined #ocaml
ramkrsna has joined #ocaml
mellum has joined #ocaml
Nargg has joined #ocaml
Bigb[a]ng has joined #ocaml
creichen has joined #ocaml
zmdkrbou has joined #ocaml
Smerdyakov has joined #ocaml
Hadaka has joined #ocaml
pango has joined #ocaml
pattern has joined #ocaml
dark_light has quit [No route to host]
coder_ has quit ["Leaving"]
Snark has joined #ocaml
szsz has left #ocaml []
pango is now known as pangoafk
pangoafk is now known as pango
smimou has joined #ocaml
Schmurtz has quit [Read error: 113 (No route to host)]
_fab has joined #ocaml
love-pingoo has joined #ocaml
yip has joined #ocaml
_fab has quit [Read error: 104 (Connection reset by peer)]
mikeX has joined #ocaml
mikeX has quit ["later"]
mikeX has joined #ocaml
Snark has quit ["Leaving"]
slipstream-- has quit [Read error: 104 (Connection reset by peer)]
slipstream has joined #ocaml
mikeX has quit ["leaving"]
slipstream-- has joined #ocaml
slipstream has quit [Read error: 110 (Connection timed out)]
love-pingoo has quit ["Leaving"]
khaladan has quit [Read error: 104 (Connection reset by peer)]
pattern- has joined #ocaml
pattern has quit [Read error: 104 (Connection reset by peer)]
pattern- is now known as pattern
finelemon has joined #ocaml
finelemo2 has joined #ocaml
finelemo1 has quit [Read error: 110 (Connection timed out)]
finelemon has quit [Read error: 110 (Connection timed out)]
love-pingoo has joined #ocaml
SirRobin has joined #ocaml
ramkrsna has quit [Connection timed out]
ramkrsna has joined #ocaml
_jol_ has joined #ocaml
Schmurtz has joined #ocaml
rillig has joined #ocaml
coder_ has joined #ocaml
coder_ has quit [Read error: 104 (Connection reset by peer)]
slipstream has joined #ocaml
slipstream-- has quit [Success]
pango is now known as pangoafk
_jol_ has quit ["co'o rodo"]
khaladan has joined #ocaml
slipstream has quit ["leaving"]
slipstream has joined #ocaml
pangoafk is now known as pango
slipstream has quit [Remote closed the connection]
slipstream has joined #ocaml
chessguy has joined #ocaml
mnemonic has joined #ocaml
<mnemonic>
yo
<zmdkrbou>
oy
<SirRobin>
waow, donc c'est pas une légende, il y a effectivement des gens qui parlent ici... :)
<zmdkrbou>
mmmmh, yep but they're supposed to speak english :)
<mnemonic>
Objective CAML Rocks!
<zmdkrbou>
(sometimes. somtimes not.)
<SirRobin>
english ? I thought only French people used ocaml !
<zmdkrbou>
...
<zmdkrbou>
at least half of the people here are not french :)
<SirRobin>
well, how much people bother to learn an unknown computing language only taught in college in some foreign country ?
<SirRobin>
how bored can you get ? :)
<zmdkrbou>
as they say in my country "tu dis de la merde là" :p
<zmdkrbou>
more seriously, people out of france using ocaml are mostly researchers who work on programming languages theory, functional programming, etc ...
<zmdkrbou>
(i think)
<mnemonic>
we don't botter about who invented it
<zmdkrbou>
and it's not unknown, in this community
<mnemonic>
but it rocks!
<SirRobin>
zmdkrbou: I guess they're the ones we here the most about
<SirRobin>
but, yeah, ocaml rocks :)
<zmdkrbou>
it's just that functional programming is not yet attractive (not much advertising :p)
<zmdkrbou>
you two seem very ... enthusiastic ..
<SirRobin>
well once people get used to imperative programming, most of them don't bother learning functional... and as for being enthusiastic, well
<SirRobin>
I only live for caml :)
<zmdkrbou>
mmmh, you should talk about this with your analyst
<mnemonic>
OCAML is probably one of the best (or simply the best) language to apply discrete mathematics theory in a elegant fashion.
<Smerdyakov>
mnemonic, Coq is better in many ways.
* zmdkrbou
thinks mnemonic is a bot
<Smerdyakov>
SirRobin, did you find a first-world country where there aren't any university classes that use ML?
<mnemonic>
lol zmdkrbou
<mnemonic>
Smerdyakov> no, OCAML is better :)
<ketty>
ocaml is ML
<SirRobin>
I said that for ocaml and I *think* that's right ?
<Smerdyakov>
mnemonic, have you ever used Coq? (And "OCaml" is the official capitalization.)
<Smerdyakov>
SirRobin, I don't know. OCaml is very popular in universities. Obviously it's used in France, and I know some classes in the USA.
<zmdkrbou>
SirRobin: bof, ocaml and sml are almost the same thing ...
slipstream-- has joined #ocaml
<Smerdyakov>
mnemonic, do you even understand what Coq is? :)
<zmdkrbou>
Smerdyakov: i think the answer to "do you know coq ?" is "no" (in the case of mnemonic) :)
<mnemonic>
Smerdyakov> yes i do
<Smerdyakov>
Folks often deride formal methods by saying that they don't work on things complicated enough that they need fancy ways of ensuring correctness, but discrete math applications definitely don't have that property.
<mnemonic>
Smerdyakov> yes but want I want to do, is to design software applying dismath theory.
<Smerdyakov>
mnemonic, presumably you also want the software to do something in particular.
<Smerdyakov>
mnemonic, it's nice to know that it really does that.
slipstream has quit [Success]
smimou has quit ["bli"]
<love-pingoo>
a funny thing with ocaml: the GC closes file descriptors if needed when reclaiming them..
<love-pingoo>
I was expecting a crash, but the number of fd just stabilized around 1021 :)
<zmdkrbou>
hihi
mnemonic has quit ["leaving"]
<love-pingoo>
anyway, it's fixed
chessguy has quit [Read error: 104 (Connection reset by peer)]