00:01
on_ion has quit [Quit: WeeChat 1.9.1]
00:24
carlosdagos has joined #ocaml
00:39
pierpal has quit [Remote host closed the connection]
00:49
ziyourenxiang has joined #ocaml
00:50
crowley95 has joined #ocaml
00:50
rdivyanshu has joined #ocaml
00:54
rdivyanshu has quit [Ping timeout: 246 seconds]
00:55
Denommus has quit [Remote host closed the connection]
01:08
rdivyanshu has joined #ocaml
01:32
karlguy has quit [Quit: Leaving]
01:36
cojy_ has joined #ocaml
01:37
mattg__ has joined #ocaml
01:37
Brocoli_ has joined #ocaml
01:37
flx_ has joined #ocaml
01:39
katyusha has quit [*.net *.split]
01:39
wagle has quit [*.net *.split]
01:39
carlosdagos has quit [*.net *.split]
01:39
jack5638 has quit [*.net *.split]
01:39
wildsebastian has quit [*.net *.split]
01:39
clockish has quit [*.net *.split]
01:39
c4rc4s has quit [*.net *.split]
01:39
wickedshell has quit [*.net *.split]
01:39
nicoo has quit [*.net *.split]
01:39
sspi__ has quit [*.net *.split]
01:39
bglm[m] has quit [*.net *.split]
01:39
rdivyanshu has quit [*.net *.split]
01:39
kvda has quit [*.net *.split]
01:39
eagleflo has quit [*.net *.split]
01:39
ski has quit [*.net *.split]
01:39
keep_learning has quit [*.net *.split]
01:39
xorpse has quit [*.net *.split]
01:39
stux|RC-- has quit [*.net *.split]
01:39
so has quit [*.net *.split]
01:39
_y has quit [*.net *.split]
01:39
r3s1stanc3 has quit [*.net *.split]
01:39
jknick has quit [*.net *.split]
01:39
Cypi has quit [*.net *.split]
01:39
Jesin has quit [*.net *.split]
01:39
bronsen has quit [*.net *.split]
01:39
cschneid has quit [*.net *.split]
01:39
flux[m] has quit [*.net *.split]
01:39
bytesighs has quit [*.net *.split]
01:39
gonz_ has quit [*.net *.split]
01:39
mrallen1 has quit [*.net *.split]
01:39
mjvoge02 has quit [*.net *.split]
01:39
rfv has quit [*.net *.split]
01:39
thizanne has quit [*.net *.split]
01:39
def` has quit [*.net *.split]
01:39
emily has quit [*.net *.split]
01:39
isaachodes[m] has quit [*.net *.split]
01:39
srenatus[m] has quit [*.net *.split]
01:39
equalunique[m] has quit [*.net *.split]
01:39
remix2000[m] has quit [*.net *.split]
01:39
noitakomentaja has quit [*.net *.split]
01:39
tg has quit [*.net *.split]
01:39
flux has quit [*.net *.split]
01:39
mattg_ has quit [*.net *.split]
01:39
diginet has quit [*.net *.split]
01:39
breitenj- has quit [*.net *.split]
01:39
yetanotherion[m] has quit [*.net *.split]
01:39
Robdor has quit [*.net *.split]
01:39
richi235 has quit [*.net *.split]
01:39
terrorjack has quit [*.net *.split]
01:39
jmct has quit [*.net *.split]
01:39
banjiewen has quit [*.net *.split]
01:39
Asmadeus has quit [*.net *.split]
01:39
aggelos_ has quit [*.net *.split]
01:39
tokenrove has quit [*.net *.split]
01:39
kalio has quit [*.net *.split]
01:39
Fardale has quit [*.net *.split]
01:39
monad_cat has quit [*.net *.split]
01:39
peddie1 has quit [*.net *.split]
01:39
gjaldon__ has quit [*.net *.split]
01:39
Drup has quit [*.net *.split]
01:39
asm89 has quit [*.net *.split]
01:39
jeroud has quit [*.net *.split]
01:39
Bluddy[m] has quit [*.net *.split]
01:39
l1x has quit [*.net *.split]
01:39
mehdib has quit [*.net *.split]
01:39
ruffy_ has quit [*.net *.split]
01:39
lukky513 has quit [*.net *.split]
01:39
ec2-user has quit [*.net *.split]
01:39
Exagone313 has quit [*.net *.split]
01:40
bacam has quit [*.net *.split]
01:40
jrslepak has quit [*.net *.split]
01:40
srax has quit [*.net *.split]
01:40
inr has quit [*.net *.split]
01:40
kini has quit [*.net *.split]
01:40
henrytill has quit [*.net *.split]
01:40
ahf has quit [*.net *.split]
01:40
bjs has quit [*.net *.split]
01:40
ibnfirnas has quit [*.net *.split]
01:40
chenglou has quit [*.net *.split]
01:40
lopex has quit [*.net *.split]
01:40
vodkaInferno has quit [*.net *.split]
01:40
Multiocracy[m] has quit [*.net *.split]
01:48
_whitelogger has joined #ocaml
01:48
quarters has joined #ocaml
01:49
diginet has joined #ocaml
01:49
rwmjones has joined #ocaml
01:50
ec has joined #ocaml
01:50
so has quit [Ping timeout: 252 seconds]
01:51
adi______ has quit [Changing host]
01:51
adi______ has joined #ocaml
01:51
cojy_ has joined #ocaml
01:51
cojy_ has quit [Changing host]
01:51
mattg__ has joined #ocaml
01:51
mattg__ has quit [Changing host]
01:51
sz0_ has quit [Changing host]
01:51
sz0_ has joined #ocaml
01:51
noitakomentaja has joined #ocaml
01:51
Brocoli_ has left #ocaml [#ocaml]
01:51
tg has joined #ocaml
01:51
hfjvjffju has joined #ocaml
01:51
hfjvjffju has quit [Changing host]
01:51
equalunique[m] has joined #ocaml
01:51
equalunique[m] has quit [Changing host]
01:51
quarters has joined #ocaml
01:51
quarters has quit [Changing host]
01:51
ec has joined #ocaml
01:51
ec has quit [Changing host]
01:52
Armael has joined #ocaml
01:54
ec2-user has joined #ocaml
02:00
mfp has quit [Ping timeout: 244 seconds]
02:33
tormen_ has joined #ocaml
02:37
tormen has quit [Ping timeout: 272 seconds]
02:46
so has joined #ocaml
03:24
_whitelogger_ has joined #ocaml
03:26
_whitelogger has quit [Remote host closed the connection]
03:34
clog has joined #ocaml
03:39
_whitelogger has joined #ocaml
03:41
_whitelogger_ has quit [Remote host closed the connection]
04:21
_whitelogger has joined #ocaml
04:22
JimmyRcom has quit [Ping timeout: 268 seconds]
04:26
JimmyRcom has joined #ocaml
04:29
tautologico has quit [Quit: Connection closed for inactivity]
04:45
_whitelogger has joined #ocaml
04:56
rdivyanshu has joined #ocaml
05:00
_whitelogger has joined #ocaml
05:32
JimmyRcom has quit [Ping timeout: 252 seconds]
05:56
bartholin has joined #ocaml
05:58
theglass has quit [Read error: Connection reset by peer]
05:58
glass has joined #ocaml
06:13
noitakomentaja has quit [Quit: leaving]
07:03
bartholin has quit [Remote host closed the connection]
07:07
wildsebastian has quit [Read error: Connection reset by peer]
07:08
hfjvjffju has quit [Ping timeout: 252 seconds]
07:08
clockish has quit [Ping timeout: 252 seconds]
07:08
wildsebastian has joined #ocaml
07:08
sspi__ has quit [Read error: Connection reset by peer]
07:08
c4rc4s has quit [Quit: Adios]
07:08
carlosdagos has quit [Read error: Connection reset by peer]
07:08
carlosdagos has joined #ocaml
07:08
sspi__ has joined #ocaml
07:09
hfjvjffju has joined #ocaml
07:09
c4rc4s has joined #ocaml
07:10
wickedshell has quit [Ping timeout: 252 seconds]
07:10
tg has quit [Ping timeout: 252 seconds]
07:10
clockish has joined #ocaml
07:13
wickedshell has joined #ocaml
07:17
tg has joined #ocaml
07:27
rdivyanshu has quit [Ping timeout: 245 seconds]
07:32
sagotch has joined #ocaml
07:35
ollehar has joined #ocaml
07:36
wickedshell has quit [Ping timeout: 252 seconds]
07:36
wickedshell has joined #ocaml
07:39
rdivyanshu has joined #ocaml
07:51
Haudegen has joined #ocaml
08:00
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
08:03
kvda has joined #ocaml
08:12
noitakomentaja has joined #ocaml
08:13
jaar has joined #ocaml
08:25
ehmry_ has quit [Ping timeout: 245 seconds]
08:27
ehmry_ has joined #ocaml
08:36
carlosdagos has quit [Quit: Connection closed for inactivity]
08:42
betux22300 has joined #ocaml
08:51
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
09:02
rand__ has joined #ocaml
09:43
mfp has joined #ocaml
10:18
silver has joined #ocaml
10:43
sagotch has quit [Quit: Leaving.]
10:45
rdivyanshu has quit [Ping timeout: 252 seconds]
10:49
rdivyanshu has joined #ocaml
10:55
betux22300 has quit [Ping timeout: 256 seconds]
11:08
silver_ has joined #ocaml
11:09
silver has quit [Ping timeout: 252 seconds]
11:15
Guest5 has joined #ocaml
11:16
silver_ has quit [Read error: Connection reset by peer]
11:21
Haudegen has quit [Remote host closed the connection]
11:26
noitakomentaja has quit [Ping timeout: 272 seconds]
11:35
gareppa has joined #ocaml
11:37
gareppa has quit [Max SendQ exceeded]
11:37
gareppa has joined #ocaml
11:46
rdivyanshu has quit [Remote host closed the connection]
11:52
gareppa has quit [Quit: Leaving]
12:05
sagotch has joined #ocaml
12:10
kvda has joined #ocaml
12:10
rdivyanshu has joined #ocaml
12:17
kamog has quit [Quit: Leaving.]
12:20
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
12:25
cuicui has joined #ocaml
12:25
sagotch has quit [Quit: Leaving.]
12:33
spew has joined #ocaml
12:36
rdivyanshu has quit []
12:37
Haudegen has joined #ocaml
12:39
bartholin has joined #ocaml
12:41
kakadu has joined #ocaml
13:05
_andre has joined #ocaml
13:06
aciniglio has joined #ocaml
13:31
ggole has joined #ocaml
13:31
nahra` has joined #ocaml
13:32
aciniglio` has joined #ocaml
13:33
nahra has quit [Ping timeout: 244 seconds]
13:34
aciniglio` has quit [Remote host closed the connection]
13:36
catern has quit [Excess Flood]
13:36
catern has joined #ocaml
13:39
kakekongen1 has quit [Quit: WeeChat 2.2]
13:39
kakekongen has joined #ocaml
13:58
silver has joined #ocaml
13:59
jaar has quit [Quit: Leaving]
14:00
TheLemonMan has joined #ocaml
14:17
neatonk has joined #ocaml
14:23
noitakomentaja has joined #ocaml
14:33
FreeBirdLjj has joined #ocaml
14:33
noitakomentaja has quit [Ping timeout: 245 seconds]
14:44
cuicui has quit [Quit: Leaving.]
14:45
cuicui has joined #ocaml
14:48
sagotch has joined #ocaml
14:58
Haudegen has quit [Read error: Connection reset by peer]
15:27
ollehar has quit [Ping timeout: 252 seconds]
15:30
al-damiri has joined #ocaml
15:30
FreeBirdLjj has quit [Remote host closed the connection]
15:31
FreeBirdLjj has joined #ocaml
15:34
sagotch has quit [Quit: Leaving.]
15:36
FreeBirdLjj has quit [Ping timeout: 252 seconds]
16:01
Haudegen has joined #ocaml
16:07
rand__ has quit [Ping timeout: 268 seconds]
16:11
FreeBirdLjj has joined #ocaml
16:14
ggole has quit [Quit: ggole]
16:16
FreeBirdLjj has quit [Ping timeout: 245 seconds]
16:20
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
16:22
erkin has joined #ocaml
16:52
FreeBirdLjj has joined #ocaml
16:57
FreeBirdLjj has quit [Ping timeout: 246 seconds]
17:05
FreeBirdLjj has joined #ocaml
17:09
rdivyanshu has joined #ocaml
17:37
rdivyanshu has quit [Remote host closed the connection]
17:37
neatonk has left #ocaml [#ocaml]
17:37
<
bartholin >
Why is there weak object polymorphism?
17:38
<
bartholin >
I have something of type val x : < add : unit -> < value : int; _.. > -> 'a; toString : string; value : int > as 'a = <obj>
17:39
<
bartholin >
My brain hurts.
17:42
rdivyanshu has joined #ocaml
17:42
<
bartholin >
And there is the same thing for polymorphic variants.
17:46
<
octachron >
This sounds like the usual value restriction. Why is that surprising?
17:47
rdivyanshu has quit [Ping timeout: 264 seconds]
17:48
<
bartholin >
I thought value restriction was only for 'a and 'b and so on
17:50
<
bartholin >
oh wait
17:50
<
octachron >
in object types ".." represents the hidden row type variable.
17:51
<
octachron >
same for open polymorphic variant types: `[< `x ]` hides a row type variable that can become weakly polymorphic
18:07
djellemah has joined #ocaml
18:33
rdivyanshu has joined #ocaml
18:38
rdivyanshu has quit [Ping timeout: 252 seconds]
18:43
Haudegen has quit [Remote host closed the connection]
18:50
rdivyanshu has joined #ocaml
18:52
ShalokShalom has joined #ocaml
18:54
rdivyanshu has quit [Ping timeout: 268 seconds]
19:09
ShalokShalom has joined #ocaml
19:15
bartholin has quit [Remote host closed the connection]
19:15
FreeBirdLjj has quit [Remote host closed the connection]
19:22
muelleme has joined #ocaml
19:25
Haudegen has joined #ocaml
19:38
roygbiv has joined #ocaml
19:44
quarters has quit [Changing host]
19:44
quarters has joined #ocaml
19:44
quarters has joined #ocaml
20:13
kakadu_ has joined #ocaml
20:14
erkin has quit [Read error: Connection reset by peer]
20:37
erkin has joined #ocaml
20:47
roygbiv has quit [Quit: ™]
20:55
orbifx has joined #ocaml
21:03
spew has quit [Quit: going home]
21:08
kvda has joined #ocaml
21:32
kvda has quit [Read error: Connection reset by peer]
21:33
Orion3k has joined #ocaml
21:54
aciniglio has quit [Ping timeout: 245 seconds]
21:55
Jesin has quit [Quit: Leaving]
21:57
Jesin has joined #ocaml
22:11
orbifx has quit [Ping timeout: 244 seconds]
22:26
Haudegen has quit [Remote host closed the connection]
22:26
nicoo has quit [Remote host closed the connection]
22:27
nicoo has joined #ocaml
23:06
kakadu_ has quit [Remote host closed the connection]
23:08
rwmjones has quit [Ping timeout: 245 seconds]
23:29
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]
23:34
Jesin has quit [Quit: Leaving]
23:39
rdivyanshu has joined #ocaml
23:44
rdivyanshu has quit [Ping timeout: 272 seconds]
23:47
cuicui has quit [Ping timeout: 244 seconds]
23:48
kvda has joined #ocaml
23:50
rwmjones has joined #ocaml
23:55
keep_learning has quit [Ping timeout: 252 seconds]