adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.07.0 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.07/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml | Due to ongoing spam, you must register your nickname to talk on the channel
on_ion has quit [Quit: WeeChat 1.9.1]
carlosdagos has joined #ocaml
pierpal has quit [Remote host closed the connection]
ziyourenxiang has joined #ocaml
crowley95 has joined #ocaml
rdivyanshu has joined #ocaml
rdivyanshu has quit [Ping timeout: 246 seconds]
Denommus has quit [Remote host closed the connection]
rdivyanshu has joined #ocaml
karlguy has quit [Quit: Leaving]
cojy_ has joined #ocaml
mattg__ has joined #ocaml
Brocoli_ has joined #ocaml
flx_ has joined #ocaml
katyusha has quit [*.net *.split]
wagle has quit [*.net *.split]
carlosdagos has quit [*.net *.split]
jack5638 has quit [*.net *.split]
wildsebastian has quit [*.net *.split]
clockish has quit [*.net *.split]
c4rc4s has quit [*.net *.split]
wickedshell has quit [*.net *.split]
nicoo has quit [*.net *.split]
sspi__ has quit [*.net *.split]
bglm[m] has quit [*.net *.split]
rdivyanshu has quit [*.net *.split]
kvda has quit [*.net *.split]
eagleflo has quit [*.net *.split]
ski has quit [*.net *.split]
keep_learning has quit [*.net *.split]
xorpse has quit [*.net *.split]
stux|RC-- has quit [*.net *.split]
so has quit [*.net *.split]
_y has quit [*.net *.split]
r3s1stanc3 has quit [*.net *.split]
jknick has quit [*.net *.split]
Cypi has quit [*.net *.split]
Jesin has quit [*.net *.split]
bronsen has quit [*.net *.split]
cschneid has quit [*.net *.split]
flux[m] has quit [*.net *.split]
bytesighs has quit [*.net *.split]
gonz_ has quit [*.net *.split]
mrallen1 has quit [*.net *.split]
mjvoge02 has quit [*.net *.split]
rfv has quit [*.net *.split]
thizanne has quit [*.net *.split]
def` has quit [*.net *.split]
emily has quit [*.net *.split]
isaachodes[m] has quit [*.net *.split]
srenatus[m] has quit [*.net *.split]
equalunique[m] has quit [*.net *.split]
remix2000[m] has quit [*.net *.split]
noitakomentaja has quit [*.net *.split]
tg has quit [*.net *.split]
flux has quit [*.net *.split]
mattg_ has quit [*.net *.split]
diginet has quit [*.net *.split]
breitenj- has quit [*.net *.split]
yetanotherion[m] has quit [*.net *.split]
Robdor has quit [*.net *.split]
richi235 has quit [*.net *.split]
terrorjack has quit [*.net *.split]
jmct has quit [*.net *.split]
banjiewen has quit [*.net *.split]
Asmadeus has quit [*.net *.split]
aggelos_ has quit [*.net *.split]
tokenrove has quit [*.net *.split]
kalio has quit [*.net *.split]
Fardale has quit [*.net *.split]
monad_cat has quit [*.net *.split]
peddie1 has quit [*.net *.split]
gjaldon__ has quit [*.net *.split]
Drup has quit [*.net *.split]
asm89 has quit [*.net *.split]
jeroud has quit [*.net *.split]
Bluddy[m] has quit [*.net *.split]
l1x has quit [*.net *.split]
mehdib has quit [*.net *.split]
ruffy_ has quit [*.net *.split]
lukky513 has quit [*.net *.split]
ec2-user has quit [*.net *.split]
Exagone313 has quit [*.net *.split]
bacam has quit [*.net *.split]
jrslepak has quit [*.net *.split]
srax has quit [*.net *.split]
inr has quit [*.net *.split]
kini has quit [*.net *.split]
henrytill has quit [*.net *.split]
ahf has quit [*.net *.split]
bjs has quit [*.net *.split]
ibnfirnas has quit [*.net *.split]
chenglou has quit [*.net *.split]
lopex has quit [*.net *.split]
vodkaInferno has quit [*.net *.split]
Multiocracy[m] has quit [*.net *.split]
_whitelogger has joined #ocaml
quarters has joined #ocaml
diginet has joined #ocaml
rwmjones has joined #ocaml
ec has joined #ocaml
so has quit [Ping timeout: 252 seconds]
adi______ has quit [Changing host]
adi______ has joined #ocaml
cojy_ has joined #ocaml
cojy_ has quit [Changing host]
mattg__ has joined #ocaml
mattg__ has quit [Changing host]
sz0_ has quit [Changing host]
sz0_ has joined #ocaml
noitakomentaja has joined #ocaml
Brocoli_ has left #ocaml [#ocaml]
tg has joined #ocaml
hfjvjffju has joined #ocaml
hfjvjffju has quit [Changing host]
equalunique[m] has joined #ocaml
equalunique[m] has quit [Changing host]
quarters has joined #ocaml
quarters has quit [Changing host]
ec has joined #ocaml
ec has quit [Changing host]
Armael has joined #ocaml
ec2-user has joined #ocaml
mfp has quit [Ping timeout: 244 seconds]
tormen_ has joined #ocaml
tormen has quit [Ping timeout: 272 seconds]
so has joined #ocaml
_whitelogger_ has joined #ocaml
_whitelogger has quit [Remote host closed the connection]
clog has joined #ocaml
_whitelogger has joined #ocaml
_whitelogger_ has quit [Remote host closed the connection]
_whitelogger has joined #ocaml
JimmyRcom has quit [Ping timeout: 268 seconds]
JimmyRcom has joined #ocaml
tautologico has quit [Quit: Connection closed for inactivity]
_whitelogger has joined #ocaml
rdivyanshu has joined #ocaml
_whitelogger has joined #ocaml
JimmyRcom has quit [Ping timeout: 252 seconds]
bartholin has joined #ocaml
theglass has quit [Read error: Connection reset by peer]
glass has joined #ocaml
noitakomentaja has quit [Quit: leaving]
bartholin has quit [Remote host closed the connection]
wildsebastian has quit [Read error: Connection reset by peer]
hfjvjffju has quit [Ping timeout: 252 seconds]
clockish has quit [Ping timeout: 252 seconds]
wildsebastian has joined #ocaml
sspi__ has quit [Read error: Connection reset by peer]
c4rc4s has quit [Quit: Adios]
carlosdagos has quit [Read error: Connection reset by peer]
carlosdagos has joined #ocaml
sspi__ has joined #ocaml
hfjvjffju has joined #ocaml
c4rc4s has joined #ocaml
wickedshell has quit [Ping timeout: 252 seconds]
tg has quit [Ping timeout: 252 seconds]
clockish has joined #ocaml
wickedshell has joined #ocaml
tg has joined #ocaml
rdivyanshu has quit [Ping timeout: 245 seconds]
sagotch has joined #ocaml
ollehar has joined #ocaml
wickedshell has quit [Ping timeout: 252 seconds]
wickedshell has joined #ocaml
rdivyanshu has joined #ocaml
Haudegen has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
kvda has joined #ocaml
noitakomentaja has joined #ocaml
jaar has joined #ocaml
ehmry_ has quit [Ping timeout: 245 seconds]
ehmry_ has joined #ocaml
carlosdagos has quit [Quit: Connection closed for inactivity]
betux22300 has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
rand__ has joined #ocaml
mfp has joined #ocaml
silver has joined #ocaml
sagotch has quit [Quit: Leaving.]
rdivyanshu has quit [Ping timeout: 252 seconds]
rdivyanshu has joined #ocaml
betux22300 has quit [Ping timeout: 256 seconds]
silver_ has joined #ocaml
silver has quit [Ping timeout: 252 seconds]
Guest5 has joined #ocaml
silver_ has quit [Read error: Connection reset by peer]
Haudegen has quit [Remote host closed the connection]
noitakomentaja has quit [Ping timeout: 272 seconds]
gareppa has joined #ocaml
gareppa has quit [Max SendQ exceeded]
gareppa has joined #ocaml
rdivyanshu has quit [Remote host closed the connection]
gareppa has quit [Quit: Leaving]
sagotch has joined #ocaml
kvda has joined #ocaml
rdivyanshu has joined #ocaml
kamog has quit [Quit: Leaving.]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
cuicui has joined #ocaml
sagotch has quit [Quit: Leaving.]
spew has joined #ocaml
rdivyanshu has quit []
Haudegen has joined #ocaml
bartholin has joined #ocaml
kakadu has joined #ocaml
_andre has joined #ocaml
aciniglio has joined #ocaml
ggole has joined #ocaml
nahra` has joined #ocaml
aciniglio` has joined #ocaml
nahra has quit [Ping timeout: 244 seconds]
aciniglio` has quit [Remote host closed the connection]
catern has quit [Excess Flood]
catern has joined #ocaml
kakekongen1 has quit [Quit: WeeChat 2.2]
kakekongen has joined #ocaml
silver has joined #ocaml
jaar has quit [Quit: Leaving]
TheLemonMan has joined #ocaml
neatonk has joined #ocaml
noitakomentaja has joined #ocaml
FreeBirdLjj has joined #ocaml
noitakomentaja has quit [Ping timeout: 245 seconds]
cuicui has quit [Quit: Leaving.]
cuicui has joined #ocaml
sagotch has joined #ocaml
Haudegen has quit [Read error: Connection reset by peer]
Guest5 has quit [Quit: Textual IRC Client: www.textualapp.com]
ollehar has quit [Ping timeout: 252 seconds]
al-damiri has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
sagotch has quit [Quit: Leaving.]
FreeBirdLjj has quit [Ping timeout: 252 seconds]
Haudegen has joined #ocaml
rand__ has quit [Ping timeout: 268 seconds]
FreeBirdLjj has joined #ocaml
ggole has quit [Quit: ggole]
FreeBirdLjj has quit [Ping timeout: 245 seconds]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
erkin has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 246 seconds]
FreeBirdLjj has joined #ocaml
rdivyanshu has joined #ocaml
rdivyanshu has quit [Remote host closed the connection]
neatonk has left #ocaml [#ocaml]
<bartholin> Why is there weak object polymorphism?
<bartholin> I have something of type val x : < add : unit -> < value : int; _.. > -> 'a; toString : string; value : int > as 'a = <obj>
<bartholin> My brain hurts.
rdivyanshu has joined #ocaml
<bartholin> And there is the same thing for polymorphic variants.
<octachron> This sounds like the usual value restriction. Why is that surprising?
rdivyanshu has quit [Ping timeout: 264 seconds]
<bartholin> I thought value restriction was only for 'a and 'b and so on
<bartholin> oh wait
<octachron> in object types ".." represents the hidden row type variable.
<octachron> same for open polymorphic variant types: `[< `x ]` hides a row type variable that can become weakly polymorphic
<bartholin> I think I got an example https://pastebin.com/xENyLcmD
djellemah has joined #ocaml
<octachron> indeed
rdivyanshu has joined #ocaml
rdivyanshu has quit [Ping timeout: 252 seconds]
Haudegen has quit [Remote host closed the connection]
rdivyanshu has joined #ocaml
ShalokShalom has joined #ocaml
rdivyanshu has quit [Ping timeout: 268 seconds]
ShalokShalom has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]
ShalokShalom has joined #ocaml
bartholin has quit [Remote host closed the connection]
FreeBirdLjj has quit [Remote host closed the connection]
muelleme has joined #ocaml
Haudegen has joined #ocaml
roygbiv has joined #ocaml
quarters has quit [Changing host]
quarters has joined #ocaml
quarters has joined #ocaml
kakadu_ has joined #ocaml
erkin has quit [Read error: Connection reset by peer]
erkin has joined #ocaml
roygbiv has quit [Quit: ™]
orbifx has joined #ocaml
spew has quit [Quit: going home]
kvda has joined #ocaml
kvda has quit [Read error: Connection reset by peer]
Orion3k has joined #ocaml
aciniglio has quit [Ping timeout: 245 seconds]
Jesin has quit [Quit: Leaving]
Jesin has joined #ocaml
orbifx has quit [Ping timeout: 244 seconds]
Haudegen has quit [Remote host closed the connection]
nicoo has quit [Remote host closed the connection]
nicoo has joined #ocaml
kakadu_ has quit [Remote host closed the connection]
rwmjones has quit [Ping timeout: 245 seconds]
troydm has quit [Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset]
Jesin has quit [Quit: Leaving]
rdivyanshu has joined #ocaml
rdivyanshu has quit [Ping timeout: 272 seconds]
cuicui has quit [Ping timeout: 244 seconds]
kvda has joined #ocaml
rwmjones has joined #ocaml
keep_learning has quit [Ping timeout: 252 seconds]