Vermie has quit [Read error: Connection reset by peer]
Vermie has joined #ocaml
dedgrant has quit [Quit: Leaving]
<kerrhau>
r 13
Vermie has left #ocaml ["Leaving"]
<kerrhau>
oh wow
kerrhau has left #ocaml ["ERC (IRC client for Emacs 25.3.1)"]
ygrek has joined #ocaml
nullifidian__ has joined #ocaml
nullifidian_ has quit [Ping timeout: 248 seconds]
mfp has quit [Ping timeout: 268 seconds]
kalio_ has quit [Quit: WeeChat 1.9.1]
kalio has joined #ocaml
jao has quit [Ping timeout: 240 seconds]
raphaelss has quit [Ping timeout: 264 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
pierpa has quit [Quit: Page closed]
FreeBird_ has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 252 seconds]
OzzieCamel has joined #ocaml
<OzzieCamel>
Anyone from Jane Street hangout here?
<OzzieCamel>
For some reason the latest release of Core Extended is not pushed to opam registory :(
<OzzieCamel>
nvm find the issue
OzzieCamel has quit [Quit: Page closed]
orbitz has quit [Ping timeout: 248 seconds]
marsam has joined #ocaml
yomimono has quit [Ping timeout: 272 seconds]
marsam has quit [Remote host closed the connection]
orbitz has joined #ocaml
jimmyrcom has joined #ocaml
mbuf has joined #ocaml
ygrek has quit [Ping timeout: 248 seconds]
mbuf has quit [Quit: Leaving]
sz0 has joined #ocaml
baboum has joined #ocaml
jimmyrcom has quit [Ping timeout: 268 seconds]
raphaelss has joined #ocaml
enterprisey has quit [Read error: Connection reset by peer]
cbot has quit [Ping timeout: 240 seconds]
cbot has joined #ocaml
baboum has quit [Quit: WeeChat 2.0]
cbot_ has joined #ocaml
cbot has quit [Ping timeout: 265 seconds]
sz0 has quit [Quit: Connection closed for inactivity]
cbot_ has quit [Quit: Leaving]
sz0 has joined #ocaml
kakadu has joined #ocaml
kakadu has quit [Ping timeout: 248 seconds]
kakadu_ has joined #ocaml
raphaelss has quit [Ping timeout: 272 seconds]
BitPuffin|osx has joined #ocaml
kakadu_ has quit [Ping timeout: 256 seconds]
kakadu_ has joined #ocaml
mfp has joined #ocaml
sz0 has quit [Quit: Connection closed for inactivity]
raphaelss has joined #ocaml
TheLemonMan has joined #ocaml
TheLemonMan has quit [Client Quit]
Guest82189 has joined #ocaml
sh0t has joined #ocaml
BitPuffin|osx has quit [Ping timeout: 264 seconds]
leah2 has quit [Ping timeout: 265 seconds]
orbifx has joined #ocaml
leah2 has joined #ocaml
<orbifx>
why are "free variables" called _free_?
<kakadu_>
because the others are bound?..
mbuf has joined #ocaml
shinnya has quit [Ping timeout: 252 seconds]
zolk3ri has joined #ocaml
<orbifx>
kakadu_: that one is bound too though, taking a closure example
<kakadu_>
If it is bound in closure it is no longer free, isn't it?
mbuf has quit [Quit: Leaving]
FreeBird_ has quit [Remote host closed the connection]
zv has joined #ocaml
FreeBirdLjj has joined #ocaml
andreas_ has quit [Quit: Connection closed for inactivity]
orbifx1 has joined #ocaml
sh0t has quit [Ping timeout: 252 seconds]
demonimin has quit [Ping timeout: 256 seconds]
demonimin has joined #ocaml
demonimin has joined #ocaml
sh0t has joined #ocaml
marsam has joined #ocaml
sh0t has quit [Ping timeout: 248 seconds]
orbifx1 has quit [Ping timeout: 240 seconds]
KeyJoo has joined #ocaml
baboum has joined #ocaml
<orbifx>
kakadu_: yet I think they still call them free variables
<orbifx>
but anyway, you are saying they are variables not bound to anything (yet)
orbifx has quit [Quit: WeeChat 1.9.1]
<octachron>
orbifx[m], they are free variables in the context of the closure, which are bound in the surrounding environment; the notion of bound and unbound (or free) is defined for a given context
jnavila has joined #ocaml
marsam has quit [Remote host closed the connection]
mbuf has joined #ocaml
<orbifx[m]>
octachron: thanks. So it's just that. Whether they are unbound.
Jesin has joined #ocaml
silver has joined #ocaml
ziyourenxiang has quit [Ping timeout: 265 seconds]
baboum has quit [Ping timeout: 265 seconds]
jimmyrcom has joined #ocaml
jnavila has quit [Ping timeout: 240 seconds]
mbuf has quit [Quit: Leaving]
Guest82189 is now known as Haudegen
jnavila has joined #ocaml
demonimin has quit [Ping timeout: 240 seconds]
demonimin has joined #ocaml
sh0t has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
sh0t has quit [Ping timeout: 248 seconds]
kakadu has joined #ocaml
kakadu_ has quit [Ping timeout: 268 seconds]
superherointj has joined #ocaml
superherointj has quit [Client Quit]
superherointj has joined #ocaml
superherointj has quit [Client Quit]
cbot has joined #ocaml
pierpa has joined #ocaml
andreas_ has joined #ocaml
cbot_ has joined #ocaml
cbot has quit [Ping timeout: 268 seconds]
zolk3ri has quit [Ping timeout: 248 seconds]
zolk3ri has joined #ocaml
Haudegen has quit [Remote host closed the connection]
kakadu_ has joined #ocaml
kakadu has quit [Ping timeout: 272 seconds]
Haudegen has joined #ocaml
Haudegen has quit [Ping timeout: 240 seconds]
Haudegen has joined #ocaml
KeyJoo has quit [Ping timeout: 265 seconds]
zolk3ri has quit [Remote host closed the connection]
jnavila has quit [Ping timeout: 256 seconds]
ygrek has joined #ocaml
enterprisey has joined #ocaml
silver has quit [Read error: Connection reset by peer]
_whitelogger has joined #ocaml
groovy2shoes has joined #ocaml
kakadu_ has quit [Remote host closed the connection]
arecacea1 has quit [Read error: Connection reset by peer]
arecacea1 has joined #ocaml
enterprisey has quit [Remote host closed the connection]
mk9 has joined #ocaml
andreas_ has quit [Quit: Connection closed for inactivity]