adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | Upcoming OCaml MOOC: https://huit.re/ocamlmooc | OCaml 4.03.0 release notes: http://ocaml.org/releases/4.03.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
ygrek has joined #ocaml
wizeman has quit [Quit: Connection closed for inactivity]
dwwoelfe_ has quit [Remote host closed the connection]
dwwoelfel has joined #ocaml
silver has quit [Quit: rakede]
cross has joined #ocaml
sh0t has quit [Ping timeout: 260 seconds]
nicholasf has quit [Remote host closed the connection]
sh0t has joined #ocaml
nicholasf has joined #ocaml
tmtwd has quit [Ping timeout: 240 seconds]
govg has quit [Ping timeout: 258 seconds]
rgrinberg has joined #ocaml
wtetzner has quit [Remote host closed the connection]
rgrinberg has quit [Ping timeout: 276 seconds]
groovy2shoes has joined #ocaml
pierpa has quit [Ping timeout: 260 seconds]
nicholasf has quit [Ping timeout: 250 seconds]
tmtwd has joined #ocaml
nicholasf has joined #ocaml
Oxford is now known as cantstanya
struk|desk2 has quit [Remote host closed the connection]
struk|desk has joined #ocaml
tmtwd has quit [Ping timeout: 250 seconds]
rgrinberg has joined #ocaml
sdothum has quit [Quit: ZNC - 1.6.0 - http://znc.in]
darkf has joined #ocaml
sh0t has quit [Ping timeout: 240 seconds]
sh0t has joined #ocaml
johnelse has joined #ocaml
dwwoelfel has quit [Ping timeout: 250 seconds]
johnelse has quit [Ping timeout: 258 seconds]
larhat has quit [Quit: Leaving.]
rgrinberg has quit [Quit: WeeChat 1.5]
rgrinberg has joined #ocaml
pyon is now known as lol-icon
govg has joined #ocaml
maker has quit [Quit: = ""]
tmtwd has joined #ocaml
sh0t has quit [Ping timeout: 250 seconds]
sh0t has joined #ocaml
tmtwd has quit [Ping timeout: 244 seconds]
rgrinberg has quit [Ping timeout: 244 seconds]
tmtwd has joined #ocaml
johnelse has joined #ocaml
johnelse has quit [Ping timeout: 244 seconds]
MercurialAlchemi has joined #ocaml
gpietro has joined #ocaml
sh0t has quit [Ping timeout: 250 seconds]
ygrek has quit [Ping timeout: 276 seconds]
govg has quit [Ping timeout: 244 seconds]
gpietro has quit [Remote host closed the connection]
tmtwd has quit [Ping timeout: 244 seconds]
tmtwd has joined #ocaml
zpe has joined #ocaml
Simn has joined #ocaml
zpe has quit [Ping timeout: 260 seconds]
tane has joined #ocaml
pierpa has joined #ocaml
Sim_n has joined #ocaml
Simn has quit [Ping timeout: 264 seconds]
nicholasf has quit [Remote host closed the connection]
nicholasf has joined #ocaml
dexterph has joined #ocaml
tmtwd has quit [Ping timeout: 258 seconds]
nichola__ has joined #ocaml
nicholasf has quit [Ping timeout: 260 seconds]
AlexRussia has joined #ocaml
johnelse has joined #ocaml
johnelse has quit [Ping timeout: 264 seconds]
kandu has quit [Quit: leaving]
kandu has joined #ocaml
johnelse has joined #ocaml
nichola__ has quit [Remote host closed the connection]
larhat has joined #ocaml
copy` has quit [Quit: Connection closed for inactivity]
govg has joined #ocaml
jwatzman|work has joined #ocaml
Sim_n has quit [Ping timeout: 264 seconds]
silver has joined #ocaml
nicholasf has joined #ocaml
maker has joined #ocaml
djellemah has joined #ocaml
govg has quit [Ping timeout: 260 seconds]
nicholasf has quit [Remote host closed the connection]
scarygelatin has joined #ocaml
nicholasf has joined #ocaml
sdothum has joined #ocaml
dhil has joined #ocaml
govg has joined #ocaml
ggole has joined #ocaml
scarygelatin has quit [Remote host closed the connection]
scarygelatin has joined #ocaml
pierpa has quit [Ping timeout: 265 seconds]
luzie has joined #ocaml
silver has quit [Ping timeout: 240 seconds]
silver has joined #ocaml
bcj has joined #ocaml
lol-icon has quit [Ping timeout: 244 seconds]
wizeman has joined #ocaml
_andre has joined #ocaml
bcj has quit [Remote host closed the connection]
zpe has joined #ocaml
zpe has quit [Ping timeout: 240 seconds]
dhil has quit [Ping timeout: 276 seconds]
nicholasf has quit [Ping timeout: 244 seconds]
nicholasf has joined #ocaml
agarwal1975 has quit [Quit: agarwal1975]
bcj has joined #ocaml
<bcj> hi
<bcj> mmmm..
<bcj> h r u?
<companion_cube> ?
dexterph has quit [Remote host closed the connection]
<bcj> ??
dexterph has joined #ocaml
<bcj> are there?
<companion_cube> please make yourself understandable
<pippijn> bcj: no, there aren't
<bcj> i am first irc.
<bcj> this channal also first
fraggle-boate has quit [Remote host closed the connection]
<companion_cube> hmm ok, welcome, but are you aware this is a channel dedicated to OCaml programming?
bcj has quit [Remote host closed the connection]
fraggle-boate has joined #ocaml
nicholasf has quit [Remote host closed the connection]
igstan has joined #ocaml
two_wheels has joined #ocaml
dhil has joined #ocaml
nicholas_ has joined #ocaml
johnelse has quit [Ping timeout: 240 seconds]
bcj has joined #ocaml
<bcj> hi
<bcj> i came back.
<bcj> i disconnected when my computer join sleep mode.
<bcj> i want to know ocaml.
<bcj> ocaml is difficult?
<bcj> hard to learn?
<bcj> hi
igstan has quit [Quit: igstan]
nicholasf has joined #ocaml
nicholas_ has quit [Ping timeout: 264 seconds]
bcj has left #ocaml [#ocaml]
bcj` has joined #ocaml
bcj` is now known as bcj
bcj is now known as qqq
qqq is now known as kkkkkk
kkkkkk is now known as jmatrix
jmatrix is now known as jmozart
johnelse has joined #ocaml
rgrinberg has joined #ocaml
jmozart has quit [Quit: ERC (IRC client for Emacs 25.1.50.1)]
bcj has joined #ocaml
<bcj> hi
<bcj> nice to meet u.
<bcj> i want discussions about the ocaml.
<bcj> are there?
<bcj> ocaml
<bcj> mmm...
agarwal1975 has joined #ocaml
aphprentice has quit [Quit: Connection closed for inactivity]
govg has quit [Ping timeout: 265 seconds]
govg has joined #ocaml
nicholasf has quit [Remote host closed the connection]
<companion_cube> bcj: depends on whether you already know how to program, but you should go through ocaml.org's tutorials, I guess, see if looks good for you
nicoo has quit [Ping timeout: 244 seconds]
bcj has quit [Ping timeout: 265 seconds]
nicholasf has joined #ocaml
nicoo has joined #ocaml
igstan has joined #ocaml
jeroud has quit [Read error: Connection reset by peer]
NhanH has quit [Ping timeout: 258 seconds]
wizeman has quit [Ping timeout: 264 seconds]
rfv has quit [Ping timeout: 264 seconds]
mattg has quit [Read error: Connection reset by peer]
bigs has quit [Ping timeout: 258 seconds]
sz0 has quit [Ping timeout: 258 seconds]
yminsky has quit [Read error: Connection reset by peer]
pootler_ has quit [Read error: Connection reset by peer]
lopex has quit [Read error: Connection reset by peer]
mrallen1 has quit [Read error: Connection reset by peer]
Sorella has quit [Write error: Connection reset by peer]
msch has quit [Write error: Connection reset by peer]
parataxis has quit [Write error: Connection reset by peer]
l1x has quit [Read error: Connection reset by peer]
ggherdov has quit [Read error: Connection reset by peer]
chenglou has quit [Read error: Connection reset by peer]
caw has quit [Read error: Connection reset by peer]
jeroud has joined #ocaml
nicholasf has quit [Remote host closed the connection]
mattg has joined #ocaml
M-pesterhazy has quit [Ping timeout: 276 seconds]
Kakadu2[m] has quit [Ping timeout: 276 seconds]
pootler_ has joined #ocaml
yminsky has joined #ocaml
fedruantine has quit [Ping timeout: 260 seconds]
pyon has joined #ocaml
caw has joined #ocaml
M-pesterhazy has joined #ocaml
NhanH has joined #ocaml
Kakadu2[m] has joined #ocaml
Sorella has joined #ocaml
rfv has joined #ocaml
msch has joined #ocaml
nicoo has quit [Ping timeout: 244 seconds]
igstan has quit [Quit: igstan]
bigs has joined #ocaml
luzie has quit [Quit: WeeChat 1.5-rc1]
wizeman has joined #ocaml
fedruantine has joined #ocaml
lopex has joined #ocaml
mrallen1 has joined #ocaml
parataxis has joined #ocaml
chenglou has joined #ocaml
l1x has joined #ocaml
nicoo has joined #ocaml
sz0 has joined #ocaml
tennix has joined #ocaml
ggherdov has joined #ocaml
ggherdov has quit [Excess Flood]
igstan has joined #ocaml
ggherdov has joined #ocaml
caw has quit [Ping timeout: 250 seconds]
al-maisan has quit [Ping timeout: 250 seconds]
tane has quit [Quit: Verlassend]
al-maisan has joined #ocaml
caw has joined #ocaml
tennix has quit [Ping timeout: 265 seconds]
dexterph has quit [Ping timeout: 276 seconds]
tane has joined #ocaml
zpe has joined #ocaml
darkf_ has joined #ocaml
fraggle-boate has quit [Remote host closed the connection]
darkf has quit [Ping timeout: 250 seconds]
manizzle has quit [Ping timeout: 258 seconds]
zpe has quit [Ping timeout: 260 seconds]
strukture has joined #ocaml
tennix has joined #ocaml
fraggle-boate has joined #ocaml
kushal has joined #ocaml
darkf_ is now known as darkf
shinnya has joined #ocaml
strukture is now known as struk|work
dhil has quit [Ping timeout: 264 seconds]
igstan has quit [Quit: igstan]
kushal has quit [Read error: Connection reset by peer]
M-martinklepsch has quit [Ping timeout: 240 seconds]
Kakadu2[m] has quit [Ping timeout: 244 seconds]
M-Illandan has quit [Ping timeout: 244 seconds]
barkmadley[m] has quit [Ping timeout: 240 seconds]
regnat[m] has quit [Ping timeout: 265 seconds]
M-ErkkiSeppl has quit [Ping timeout: 276 seconds]
Bluddy[m] has quit [Ping timeout: 258 seconds]
M-jimt has quit [Ping timeout: 260 seconds]
M-pesterhazy has quit [Ping timeout: 264 seconds]
M-martinklepsch has joined #ocaml
rgrinberg has quit [Ping timeout: 258 seconds]
M-ErkkiSeppl has joined #ocaml
M-ErkkiSeppl has quit [K-Lined]
M-martinklepsch has quit [K-Lined]
tennix has quit [Ping timeout: 252 seconds]
jwatzman|work has quit [Quit: jwatzman|work]
tvynr has joined #ocaml
tane has quit [Ping timeout: 258 seconds]
larhat has quit [Quit: Leaving.]
mattg has quit [Ping timeout: 250 seconds]
mattg has joined #ocaml
slash^ has joined #ocaml
ubertaco has joined #ocaml
tennix has joined #ocaml
tane has joined #ocaml
hongbo has joined #ocaml
dhil has joined #ocaml
dexterph has joined #ocaml
tennix has quit [Ping timeout: 260 seconds]
Kakadu2[m] has joined #ocaml
ygrek has joined #ocaml
rgrinberg has joined #ocaml
rgrinberg has quit [Client Quit]
rgrinberg has joined #ocaml
tmtwd has joined #ocaml
regnat[m] has joined #ocaml
M-martinklepsch has joined #ocaml
M-jimt has joined #ocaml
Bluddy[m] has joined #ocaml
M-ErkkiSeppl has joined #ocaml
barkmadley[m] has joined #ocaml
M-pesterhazy has joined #ocaml
M-Illandan has joined #ocaml
johnelse has quit [Ping timeout: 244 seconds]
bbc has quit [Read error: Connection reset by peer]
bbc_ has joined #ocaml
johnf has quit [Remote host closed the connection]
octachron has joined #ocaml
alpen has quit [Ping timeout: 250 seconds]
dhil has quit [Ping timeout: 260 seconds]
alpen has joined #ocaml
darkf_ has joined #ocaml
_andre has quit [Quit: leaving]
darkf has quit [Ping timeout: 250 seconds]
luzie has joined #ocaml
Sim_n has joined #ocaml
tmtwd has quit [Ping timeout: 240 seconds]
ontologiae_ has joined #ocaml
copy` has joined #ocaml
fraggle-boate has quit [Ping timeout: 276 seconds]
shinnya has quit [Ping timeout: 240 seconds]
ontologiae has joined #ocaml
ontologiae_ has quit [Read error: Connection reset by peer]
LiamGoodacre has joined #ocaml
rgrinberg has quit [Ping timeout: 240 seconds]
johnelse has joined #ocaml
johnf has joined #ocaml
seangrove has joined #ocaml
johnelse has quit [Ping timeout: 260 seconds]
<seangrove> companion_cube: Did you ever find out if OCaml knows it can optimize `Array.blit` with memcpy if case of `int array`?
rgrinberg has joined #ocaml
<companion_cube> I have no idea, but a small test seemed to show it doesn't
<companion_cube> I'm still not 100% sure
kakadu has joined #ocaml
darkf_ has quit [Quit: Leaving]
<ggole> Looking at the source, caml_array_blit uses memmove in some situations (double arrays, young gen) but has a more expensive fallback
<ggole> The runtime doesn't have any way of knowing that something is an int array, so the compiler would have to do something like emit a specialised call, which I'm fairly sure it doesn't (yet)
<companion_cube> :sadface:
<ggole> Actually, this looks pretty expensive. One caml_modify per element for a huge array would suck pretty hard.
<companion_cube> yeah
<companion_cube> it does take a lot of time on some benchmarks of a project of zozozo and me
<companion_cube> (lots of `int Vec.t` that are resized…)
<ggole> If you have a reasonable program that uses large int arrays, and can demonstrate a difference, you might be able to throw yourself at the mercy of the maintainers
<companion_cube> I don't have the stamina needed for other PRs right now :D
slash^ has quit [Read error: Connection reset by peer]
<ggole> Well, hmm. The 'int' in int Vec.t would presumably not reach the compilation of the Array.blit unless it were inlined.
<ggole> So you might miss out even if there were some support.
<companion_cube> yeah
<companion_cube> there needs to be some type information that reaches flambda or something
<companion_cube> but currently it's totally impossible
<ggole> I've always wondered why there isn't a bit in the header that tells the GC/runtime 'no pointers here'
<companion_cube> yeah, yeah
<companion_cube> well there is a flag for "this is a float array"
<ggole> Mmm, although that indicates a special representation rather than some useful knowledge about a value of the standard representation
djellemah_ has joined #ocaml
djellemah has quit [Ping timeout: 240 seconds]
rgrinberg has quit [Quit: WeeChat 1.5]
larhat has joined #ocaml
pyon has quit [Remote host closed the connection]
bcj has joined #ocaml
pierpa has joined #ocaml
johnf has quit [Remote host closed the connection]
zpe has joined #ocaml
orbifx1 has joined #ocaml
zpe has quit [Ping timeout: 264 seconds]
rgrinberg has joined #ocaml
sh0t has joined #ocaml
avsej has quit [Quit: Quit]
avsej has joined #ocaml
avsej has quit [Changing host]
avsej has joined #ocaml
govg has quit [Remote host closed the connection]
<tvynr> I'm having trouble finding anything on the 'net regarding the practical difference between "lazy e" and "fun () -> e". Is there a performance benefit or is it just a semantic nicety in simple usage?
alpen has quit [Ping timeout: 260 seconds]
alpen has joined #ocaml
<companion_cube> first, `lazy e` will evaluate `e` only once, even if forced several times
<companion_cube> second, `fun () -> e` is faster if you use it only once
<tvynr> companion_cube: Thanks for the explanation! I couldn't seem to find that anywhere on Google.
<companion_cube> it's explained somewhere in the manual :)
<tvynr> My thanks that you saved me from having to hunt it down. ;)
<companion_cube> you're welcome ^^
djellemah_ is now known as djellemah
Sim_n has quit [Quit: Leaving]
tvynr has quit [Ping timeout: 276 seconds]
hongbo has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]
MercurialAlchemi has quit [Ping timeout: 250 seconds]
ggole has quit []
rgrinberg has quit [Ping timeout: 276 seconds]
johnelse has joined #ocaml
johnelse has quit [Ping timeout: 265 seconds]
orbitz has quit [Ping timeout: 240 seconds]
orbitz has joined #ocaml
rand__ has joined #ocaml
SilverKey has joined #ocaml
SilverKey has quit [Max SendQ exceeded]
SilverKey has joined #ocaml
johnf has joined #ocaml
octachron has quit [Quit: Leaving]
tane has quit [Quit: Leaving]
pyon has joined #ocaml
orbifx1 has quit [Ping timeout: 244 seconds]
bcj has quit [Remote host closed the connection]
bcj has joined #ocaml
johnf has quit [Remote host closed the connection]
nicholasf has joined #ocaml
bcj has quit [Ping timeout: 244 seconds]
agarwal1975 has quit [Quit: agarwal1975]
kushal has joined #ocaml
SilverKey has quit [Quit: Halted.]
kushal has quit [Read error: Connection reset by peer]
rgrinberg has joined #ocaml
johnf has joined #ocaml
seangrove has quit [Ping timeout: 260 seconds]
ontologiae has quit [Ping timeout: 250 seconds]
zpe has joined #ocaml
kakadu has quit [Remote host closed the connection]
zpe has quit [Ping timeout: 244 seconds]
sh0t has quit [Ping timeout: 265 seconds]
Algebr` has joined #ocaml
nicholasf has quit [Remote host closed the connection]
nicholasf has joined #ocaml
sh0t has joined #ocaml
nicholasf has quit [Remote host closed the connection]
nicholasf has joined #ocaml
M-ErkkiSeppl has quit [Ping timeout: 240 seconds]
barkmadley[m] has quit [Ping timeout: 250 seconds]
Bluddy[m] has quit [Ping timeout: 240 seconds]
pyon has quit [Ping timeout: 258 seconds]
M-Illandan has quit [Ping timeout: 264 seconds]
M-jimt has quit [Ping timeout: 250 seconds]
Kakadu2[m] has quit [Ping timeout: 244 seconds]
regnat[m] has quit [Ping timeout: 244 seconds]
M-martinklepsch has quit [Ping timeout: 252 seconds]
M-pesterhazy has quit [Ping timeout: 240 seconds]
rand__ has quit [Quit: leaving]
SilverKey has joined #ocaml
dexterph has quit [Ping timeout: 244 seconds]
johnelse has joined #ocaml
d0nn1e has quit [Ping timeout: 265 seconds]
d0nn1e has joined #ocaml
LiamGoodacre has quit [Quit: Leaving]
johnelse has quit [Ping timeout: 265 seconds]
johnf has quit [Remote host closed the connection]
seangrove has joined #ocaml
pyon has joined #ocaml
sh0t has quit [Quit: Leaving]
SilverKey has quit [Quit: Cheerio!]