rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
hackinghorn has quit [Ping timeout: 272 seconds]
motherfsck has joined #ocaml
tomku has quit [Ping timeout: 240 seconds]
tomku has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
tizoc has quit [Quit: Coyote finally caught me]
tizoc has joined #ocaml
hackinghorn has joined #ocaml
hackhorn has joined #ocaml
hackinghorn has quit [Ping timeout: 256 seconds]
hackinghorn has joined #ocaml
hackhorn has quit [Read error: Connection reset by peer]
waleee has quit [Ping timeout: 245 seconds]
hackinghorn has quit [Ping timeout: 272 seconds]
hackinghorn has joined #ocaml
mbuf has joined #ocaml
Anarchos has quit [Quit: Vision[]: i've been blurred!]
Haudegen has joined #ocaml
hackinghorn has quit [Ping timeout: 256 seconds]
hackinghorn has joined #ocaml
zebrag has quit [Quit: Konversation terminated!]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
gravicappa has joined #ocaml
rgrinberg has joined #ocaml
Serpent7776 has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
mro has joined #ocaml
olle has joined #ocaml
hackinghorn has quit [Ping timeout: 272 seconds]
hackhorn has joined #ocaml
hackinghorn has joined #ocaml
hackhorn has quit [Read error: Connection reset by peer]
olle has quit [Remote host closed the connection]
hackhorn has joined #ocaml
hackinghorn has quit [Read error: Connection reset by peer]
hackhorn is now known as hackinghorn
dextaa_ has joined #ocaml
dextaa_ has quit [Remote host closed the connection]
dextaa_ has joined #ocaml
hackinghorn has quit [Ping timeout: 256 seconds]
bartholin has joined #ocaml
bobo has joined #ocaml
spip has quit [Ping timeout: 256 seconds]
Guest2 has joined #ocaml
Guest2 has quit [Client Quit]
bartholin has quit [Ping timeout: 240 seconds]
bartholin has joined #ocaml
kakadu has quit [Ping timeout: 240 seconds]
kaph has quit [Remote host closed the connection]
kaph has joined #ocaml
chrisz has joined #ocaml
hackinghorn has joined #ocaml
hackinghorn has quit [Ping timeout: 260 seconds]
hackinghorn has joined #ocaml
mro has quit [Ping timeout: 240 seconds]
Haudegen has quit [Quit: Bin weg.]
hackinghorn has quit [Ping timeout: 240 seconds]
dextaa_ has quit [Remote host closed the connection]
Haudegen has joined #ocaml
waleee has joined #ocaml
mro has joined #ocaml
mro has quit [Ping timeout: 240 seconds]
dextaa_ has joined #ocaml
nd___ has joined #ocaml
oisota6 has joined #ocaml
Nahra` has joined #ocaml
greyrat_ has joined #ocaml
mro has joined #ocaml
TheRuralJuror has joined #ocaml
pippijn_ has joined #ocaml
cross_ has joined #ocaml
gahr_ has joined #ocaml
mg- has joined #ocaml
adrien_ has joined #ocaml
dwt_ has joined #ocaml
Haudegen has quit [*.net *.split]
gravicappa has quit [*.net *.split]
pippijn has quit [*.net *.split]
greyrat has quit [*.net *.split]
gahr has quit [*.net *.split]
nd__ has quit [*.net *.split]
cross has quit [*.net *.split]
dwt__ has quit [*.net *.split]
Nahra has quit [*.net *.split]
mg has quit [*.net *.split]
dh` has quit [*.net *.split]
adrien has quit [*.net *.split]
oisota has quit [*.net *.split]
Johann has quit [*.net *.split]
oisota6 is now known as oisota
Johann has joined #ocaml
gravicappa has joined #ocaml
waleee has quit [Ping timeout: 256 seconds]
zebrag has joined #ocaml
gravicappa has quit [Ping timeout: 250 seconds]
gravicappa has joined #ocaml
<d_bot_>
<mbacarella> if you rewrote a call from Set.mem to String.Set.mem you would expect it that if you had some horrific polymorphic compare problem, it would be fixed by the String.Set.mem matching more elements, not fewer, right?
rgrinberg has joined #ocaml
<companion_cube>
what is Set.mem??
<d_bot_>
<mbacarella> jane Base.Set
<companion_cube>
oh. idk.
<companion_cube>
but if it was a string all along, polymorphic compare should behave the same…
<d_bot_>
<Anurag> base's set accept a module that implements the comparison functions at the time of set creation. So `Set.mem <set-made-by-base>` should be using the comparison functions from the module you provide when creating it
mro has quit [Remote host closed the connection]
rgrinberg has joined #ocaml
Techcable has quit [Remote host closed the connection]
Techcable has joined #ocaml
vicfred has quit [Quit: Leaving]
Haudegen has joined #ocaml
vicfred has joined #ocaml
mro has joined #ocaml
hackinghorn has joined #ocaml
mro has quit [Remote host closed the connection]
hackinghorn has quit [Ping timeout: 256 seconds]
hackinghorn has joined #ocaml
vicfred has quit [Quit: Leaving]
gravicappa has quit [Ping timeout: 252 seconds]
perrierjouet has quit [Quit: WeeChat 3.4]
perrierjouet has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
mro has joined #ocaml
dh` has quit [Changing host]
dh` has joined #ocaml
mro has quit [Ping timeout: 256 seconds]
mro has joined #ocaml
rgrinberg has joined #ocaml
perrierjouet has quit [Quit: WeeChat 3.4]
perrierjouet has joined #ocaml
infinity0 has quit [Remote host closed the connection]
wyrd has quit [Ping timeout: 240 seconds]
infinity0 has joined #ocaml
hackinghorn has quit [Ping timeout: 250 seconds]
mro has quit [Quit: Leaving...]
Serpent7776 has quit [Quit: leaving]
wyrd has joined #ocaml
hackinghorn has joined #ocaml
spip has joined #ocaml
bobo has quit [Ping timeout: 240 seconds]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
zebrag has quit [Ping timeout: 240 seconds]
zebrag has joined #ocaml
nd___ has quit [Ping timeout: 256 seconds]
nd__ has joined #ocaml
nd__ has quit [Ping timeout: 272 seconds]
nd__ has joined #ocaml
nd__ has quit [Ping timeout: 256 seconds]
nd__ has joined #ocaml
hackinghorn has quit [Ping timeout: 240 seconds]
hackinghorn has joined #ocaml
<d_bot_>
<atlx> Is ocaml duck-typed? And if not, then why?
<d_bot_>
<Le condor du plateau> what do you mean exactly by duck typing?
<d_bot_>
<atlx> Whether its type system supports duck-typing
<d_bot_>
<Le condor du plateau> yes OCaml has subtyping mechanisms
<d_bot_>
<Le condor du plateau> if I understood the question correctly