adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.06.0 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.06/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
mk9 has quit [Quit: mk9]
mal`` has quit [Quit: Leaving]
silver has quit [Read error: Connection reset by peer]
le4fy has joined #ocaml
mnemem has joined #ocaml
mal`` has joined #ocaml
NingaLeaf has joined #ocaml
zmt00 has quit [Read error: Connection reset by peer]
zmt00 has joined #ocaml
gtrak has joined #ocaml
mnemem has quit [Ping timeout: 256 seconds]
Haudegen has quit [Remote host closed the connection]
zolk3ri has quit [Quit: leaving]
TC01 has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]
spew has joined #ocaml
al-damiri has quit [Quit: Connection closed for inactivity]
sh0t has quit [Remote host closed the connection]
pierpa has quit [Quit: Page closed]
mnemem has joined #ocaml
TC01 has joined #ocaml
NingaLeaf has quit [Quit: Textual IRC Client: www.textualapp.com]
<discord5> <Bluddy> @copy: what's the context for those? What's RAL, funvec and clarity_vec?
shinnya has quit [Ping timeout: 256 seconds]
pierpal has joined #ocaml
<discord5> <Bluddy> ok RAL is random access list
<discord5> <copy> @Bluddy They're immutable vector implementations (RAL and Fun_vec from Containers, Vector from clarity, batvec from Batteries)
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
<discord5> <Bluddy> Cool
<discord5> <Bluddy> Do you remember how HashTrie compared?
pierpal has quit [Read error: Connection reset by peer]
jao has quit [Ping timeout: 240 seconds]
pierpal has joined #ocaml
hdon has quit [Ping timeout: 276 seconds]
mfp has quit [Ping timeout: 256 seconds]
pierpal has quit [Ping timeout: 240 seconds]
tormen has joined #ocaml
tormen_ has quit [Ping timeout: 240 seconds]
unyu has quit [Quit: Reboot.]
unyu has joined #ocaml
cbot_ has joined #ocaml
spew has quit [Ping timeout: 240 seconds]
cbot has quit [Ping timeout: 240 seconds]
hdon has joined #ocaml
hdon has quit [Ping timeout: 256 seconds]
cobreadmonster has joined #ocaml
shinnya has joined #ocaml
<discord5> <copy> I haven't added HashTrie (it's not really in the same category as the other ones)
<discord5> <Bluddy> right
<discord5> <copy> Technically Map isn't either, but I added it as it's the only thing available in the standard library
pierpal has joined #ocaml
pierpal has quit [Ping timeout: 240 seconds]
Autolycus has joined #ocaml
on_ion has quit [Read error: No route to host]
pierpal has joined #ocaml
fds_ has joined #ocaml
Autolycus has quit []
pierpal has quit [Ping timeout: 256 seconds]
cbot_ has quit [*.net *.split]
unyu has quit [*.net *.split]
mcspud has quit [*.net *.split]
xvilka_ has quit [*.net *.split]
dinosaure[s] has quit [*.net *.split]
shakalaka_ has quit [*.net *.split]
letoh has quit [*.net *.split]
wickedshell has quit [*.net *.split]
l1x has quit [*.net *.split]
clockish has quit [*.net *.split]
terrorjack has quit [*.net *.split]
ianconnolly_ has quit [*.net *.split]
gargawel has quit [*.net *.split]
bjs has quit [*.net *.split]
Geekingfrog has quit [*.net *.split]
oh_lawd has quit [*.net *.split]
rjungemann has quit [*.net *.split]
fds has quit [*.net *.split]
rbocquet has quit [*.net *.split]
unyu has joined #ocaml
malina has joined #ocaml
pierpal has joined #ocaml
pierpal has quit [Ping timeout: 260 seconds]
pierpal has joined #ocaml
pierpal has quit [Ping timeout: 260 seconds]
hdon has joined #ocaml
gtrak has quit [Ping timeout: 268 seconds]
hdon has quit [Ping timeout: 256 seconds]
gtrak has joined #ocaml
hdon has joined #ocaml
hdon has quit [Ping timeout: 244 seconds]
mnemem has quit [Ping timeout: 244 seconds]
gtrak has quit [Ping timeout: 244 seconds]
gtrak has joined #ocaml
Autolycus has joined #ocaml
mbuf has joined #ocaml
cbot has joined #ocaml
mnemem has joined #ocaml
pierpal has joined #ocaml
pierpal has quit [Ping timeout: 240 seconds]
mnemem has quit [Ping timeout: 244 seconds]
Autolycus has quit []
pierpal has joined #ocaml
mcspud has joined #ocaml
pierpal has quit [Ping timeout: 256 seconds]
larhat has joined #ocaml
tarptaeya has joined #ocaml
argent_smith has joined #ocaml
moolc has joined #ocaml
hdon has joined #ocaml
malina has quit [Ping timeout: 268 seconds]
hdon has quit [Ping timeout: 244 seconds]
pierpal has joined #ocaml
pierpal has quit [Ping timeout: 260 seconds]
mnemem has joined #ocaml
mnemem has quit [Client Quit]
cbot has quit [Quit: Leaving]
mnemem has joined #ocaml
cobreadmonster has quit [Quit: Connection closed for inactivity]
mnemem has quit [Client Quit]
mnemem has joined #ocaml
lokydor_ has quit [Remote host closed the connection]
lokydor has joined #ocaml
pierpal has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
moolc has quit [Quit: ERC (IRC client for Emacs 27.0.50)]
terrorjack has joined #ocaml
ianconnolly_ has joined #ocaml
letoh has joined #ocaml
dinosaure[s] has joined #ocaml
shakalaka_ has joined #ocaml
xvilka_ has joined #ocaml
rbocquet has joined #ocaml
wickedshell has joined #ocaml
l1x has joined #ocaml
clockish has joined #ocaml
bjs has joined #ocaml
gargawel has joined #ocaml
rjungemann has joined #ocaml
oh_lawd has joined #ocaml
Geekingfrog has joined #ocaml
terrorjack has quit [Max SendQ exceeded]
terrorjack has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
malina has joined #ocaml
mnemem has quit [Quit: WeeChat 2.0.1]
pierpal has joined #ocaml
mnemem has joined #ocaml
pierpal has quit [Remote host closed the connection]
tarptaeya has quit [Quit: Konversation terminated!]
TarVanimelde has joined #ocaml
hdon has joined #ocaml
hdon has quit [Ping timeout: 276 seconds]
zolk3ri has joined #ocaml
TarVanimelde has quit [Quit: TarVanimelde]
ziyourenxiang has joined #ocaml
Haudegen has joined #ocaml
mfp has joined #ocaml
pierpal has joined #ocaml
pierpal has quit [Ping timeout: 256 seconds]
pierpal has joined #ocaml
nicoo has quit [Write error: Connection reset by peer]
nicoo has joined #ocaml
malina has quit [Ping timeout: 276 seconds]
larhat has quit [Quit: Leaving.]
dariusf has joined #ocaml
dariusf has quit []
h11 has quit [Ping timeout: 244 seconds]
dariusf has joined #ocaml
h11 has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
pierpal has quit [Client Quit]
aggelos_ has joined #ocaml
pierpal has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
pierpal has quit [Client Quit]
pierpal has joined #ocaml
pierpal has quit [Ping timeout: 248 seconds]
jao has joined #ocaml
malina has joined #ocaml
hdon has joined #ocaml
jbrown has quit [Quit: Leaving]
hdon has quit [Ping timeout: 255 seconds]
jbrown has joined #ocaml
pierpal has joined #ocaml
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
dariusf has quit [Remote host closed the connection]
pierpal has quit [Ping timeout: 268 seconds]
dariusf has joined #ocaml
dariusf has quit [Remote host closed the connection]
dariusf has joined #ocaml
dariusf has quit [Ping timeout: 240 seconds]
nicoo has quit [Ping timeout: 250 seconds]
malina has quit [Ping timeout: 248 seconds]
nicoo has joined #ocaml
pierpal has joined #ocaml
NingaLeaf has joined #ocaml
caltelt has quit [Quit: Ping timeout (120 seconds)]
caltelt has joined #ocaml
silver has joined #ocaml
pierpal has quit [Ping timeout: 260 seconds]
sz0 has quit [Quit: Connection closed for inactivity]
neatonk has quit [Ping timeout: 240 seconds]
neatonk1 has joined #ocaml
mbuf has quit [Quit: Leaving]
neatonk1 is now known as neatonk
malina has joined #ocaml
<discord5> <Bluddy> OK makes sense. It would be nice to see a mutable vector compared just for reference.
pierpal has joined #ocaml
Haudegen has quit [Remote host closed the connection]
pierpal has quit [Ping timeout: 244 seconds]
pierpal has joined #ocaml
gtrak has quit [Ping timeout: 248 seconds]
_andre has joined #ocaml
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
hdon has joined #ocaml
hdon has quit [Ping timeout: 260 seconds]
jaar has joined #ocaml
spew has joined #ocaml
gtrak has joined #ocaml
zlsyx has joined #ocaml
Haudegen has joined #ocaml
sh0t has joined #ocaml
exarkun has quit [Read error: Connection reset by peer]
<companion_cube> thanks copy`
<companion_cube> for the record, funvec is a specialized kind of hashtrie that is complete on [0…n]
hdon has joined #ocaml
hdon has quit [Ping timeout: 244 seconds]
exarkun has joined #ocaml
jao has quit [Ping timeout: 244 seconds]
shinnya has quit [Ping timeout: 256 seconds]
jaar has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
jaar has joined #ocaml
moolc has joined #ocaml
mnemem has quit [Ping timeout: 276 seconds]
spion- has quit [Ping timeout: 268 seconds]
mnemem has joined #ocaml
mnemem has quit [Ping timeout: 248 seconds]
c4rc4s has joined #ocaml
zlsyx_ has joined #ocaml
zlsyx has quit [Ping timeout: 276 seconds]
zlsyx_ has quit [Ping timeout: 244 seconds]
zlsyx has joined #ocaml
zlsyx has quit [Read error: Connection reset by peer]
zlsyx has joined #ocaml
zlsyx has quit [Read error: Connection reset by peer]
zlsyx has joined #ocaml
al-damiri has joined #ocaml
larhat has joined #ocaml
al-damiri has quit [Max SendQ exceeded]
al-damiri has joined #ocaml
NingaLeaf has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
NingaLeaf has joined #ocaml
malina has quit [Ping timeout: 240 seconds]
steenuil has quit [Remote host closed the connection]
jao has joined #ocaml
Haudegen has quit [Remote host closed the connection]
zlsyx has quit [Quit: Leaving...]
Haudegen has joined #ocaml
<companion_cube> has `public_interfaces` been removed from dune? :/
<companion_cube> (cc rgr[m])
mnemem has joined #ocaml
roygbiv has joined #ocaml
NingaLeaf has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
jaar has quit [Quit: Leaving]
mnemem has quit [Ping timeout: 240 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
roygbiv has quit [Ping timeout: 260 seconds]
hdon has joined #ocaml
jnavila has joined #ocaml
kakadu has quit [Quit: Konversation terminated!]
hdon has quit [Changing host]
hdon has joined #ocaml
webshinra has quit [Quit: Leaving]
jjmeyer0 has joined #ocaml
jnavila has quit [Ping timeout: 240 seconds]
jao has quit [Remote host closed the connection]
jao has joined #ocaml
mnemem has joined #ocaml
moolc has quit [Quit: ERC (IRC client for Emacs 27.0.50)]
FreeBirdLjj has quit [Remote host closed the connection]
cbot has joined #ocaml
Haudegen has quit [Remote host closed the connection]
NingaLeaf has joined #ocaml
dedgrant_ has joined #ocaml
dedgrant has quit [Read error: Connection reset by peer]
zmt00 has quit [Read error: Connection reset by peer]
zmt00 has joined #ocaml
neatonk has quit [Quit: neatonk]
neatonk has joined #ocaml
jnavila has joined #ocaml
kakadu has joined #ocaml
mnemem has quit [Quit: WeeChat 2.0.1]
jack5638 has quit [Ping timeout: 244 seconds]
Haudegen has joined #ocaml
jack5638 has joined #ocaml
marsam has quit []
pierpa has joined #ocaml
NingaLeaf has quit [Quit: Textual IRC Client: www.textualapp.com]
jnavila has quit [Ping timeout: 276 seconds]
cbot_ has joined #ocaml
neatonk1 has joined #ocaml
cbot has quit [Ping timeout: 260 seconds]
_andre has quit [Quit: leaving]
neatonk has quit [Ping timeout: 245 seconds]
neatonk1 has quit [Ping timeout: 276 seconds]
bbarker has joined #ocaml
argent_smith has quit [Quit: Leaving.]
argent_smith has joined #ocaml
argent_smith has quit [Client Quit]
unyu has quit [Ping timeout: 260 seconds]
unyu has joined #ocaml
gtrak has quit [Ping timeout: 268 seconds]
cbot_ has quit [Ping timeout: 276 seconds]
FreeBirdLjj has joined #ocaml
sz0 has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 260 seconds]
pierpal has quit [Read error: Connection reset by peer]
kakadu has quit [Remote host closed the connection]
zolk3ri has quit [Quit: leaving]
sh0t has quit [Remote host closed the connection]
Haudegen has quit [Read error: Connection reset by peer]
larhat has quit [Quit: Leaving.]
spew has quit [Quit: Connection closed for inactivity]