SpiceGuid has quit [Quit: ChatZilla 0.9.93 [SeaMonkey 2.49.4/20180713174829]]
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
silver has quit [Read error: Connection reset by peer]
ygrek has joined #ocaml
mfp has quit [Ping timeout: 257 seconds]
Haudegen has quit [Remote host closed the connection]
ziyourenxiang has joined #ocaml
ziyourenxiang has quit [Ping timeout: 255 seconds]
iovec has joined #ocaml
keep_learning_M has joined #ocaml
keep_learning has joined #ocaml
keep_learning has quit [Client Quit]
emersion has quit [Ping timeout: 246 seconds]
emersion has joined #ocaml
keep_learning has joined #ocaml
ziyourenxiang has joined #ocaml
ygrek has quit [Ping timeout: 268 seconds]
tormen has joined #ocaml
gravicappa has joined #ocaml
tormen_ has quit [Ping timeout: 246 seconds]
AnAverageHuman has joined #ocaml
kvda has joined #ocaml
marvin2 has quit [Ping timeout: 246 seconds]
rwmjones_ has joined #ocaml
AnAverageHuman has quit [Ping timeout: 256 seconds]
rwmjones has quit [Ping timeout: 250 seconds]
JimmyRcom has quit [Ping timeout: 245 seconds]
ggole has joined #ocaml
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
pierpal has quit [Ping timeout: 246 seconds]
pierpal has joined #ocaml
kvda has joined #ocaml
freyr69 has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
JeanMax has joined #ocaml
dmiles has quit [Ping timeout: 255 seconds]
ziyourenxiang has quit [Ping timeout: 255 seconds]
mbrock has quit [Read error: Connection reset by peer]
dmiles has joined #ocaml
mfp has joined #ocaml
cantstanya has quit [Remote host closed the connection]
cantstanya has joined #ocaml
asymptotically has joined #ocaml
marvin2 has joined #ocaml
freyr69 has quit [Ping timeout: 246 seconds]
dhil has joined #ocaml
JeanMax has quit [Ping timeout: 268 seconds]
mal`` has quit [Quit: Leaving]
JeanMax has joined #ocaml
ygrek has joined #ocaml
mal`` has joined #ocaml
freyr69 has joined #ocaml
picolino has quit [Ping timeout: 245 seconds]
picolino has joined #ocaml
jmiven has quit [Quit: co'o]
jmiven has joined #ocaml
picolino has quit [Ping timeout: 245 seconds]
picolino has joined #ocaml
picolino has quit [Ping timeout: 244 seconds]
Haudegen has joined #ocaml
picolino has joined #ocaml
freyr69 has quit [Ping timeout: 245 seconds]
silver has joined #ocaml
bartholin has joined #ocaml
kvda has joined #ocaml
ygrek has quit [Ping timeout: 255 seconds]
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
dhil has quit [Ping timeout: 272 seconds]
troydm has quit [Ping timeout: 246 seconds]
zolk3ri has joined #ocaml
Haudegen has quit [Remote host closed the connection]
breitenj has quit [Ping timeout: 252 seconds]
ygrek has joined #ocaml
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
q9929t has joined #ocaml
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
pippijn has quit [Ping timeout: 272 seconds]
pippijn has joined #ocaml
JeanMax has quit [Ping timeout: 255 seconds]
q9929t has quit [Remote host closed the connection]
q9929t has joined #ocaml
Haudegen has joined #ocaml
spew has joined #ocaml
FreeBirdLjj has joined #ocaml
breitenj has joined #ocaml
JeanMax has joined #ocaml
<cemerick>
anyone aware of a persistent finger tree impl floating around besides the one in batteries?
<Leonidas>
what's wrong with the one in batteries?
<companion_cube>
you want the banana, but it comes with the whole gorilla? :D
<Drup>
it's LGPL, you can copy it
govg has quit [Ping timeout: 245 seconds]
<theblatte>
<licensing flamewar>
tane has joined #ocaml
dhil has joined #ocaml
q9929t has quit [Quit: q9929t]
mildtaste has quit [Remote host closed the connection]
<Drup>
those are slightly out of fashion nowadays ^^'
ehirdoy has joined #ocaml
<companion_cube>
yeah, because people are mostly moving away from GPL :p
jbrown has quit [Ping timeout: 258 seconds]
aristos has joined #ocaml
ehirdoy has quit [Ping timeout: 256 seconds]
<theblatte>
companion_cube: thanks for trying to help start the flamewar, that Friday is a bit slow
<companion_cube>
I know right?
<companion_cube>
has batteries moved to dune yet? :p
<theblatte>
lol
<companion_cube>
hey it would help them have module aliases
webshinra has quit [Remote host closed the connection]
webshinra has joined #ocaml
<rks`>
why would they want that?
<companion_cube>
1/ why would they not want that 2/ diminish the bloat impact of `open Batteries`
omarramo has joined #ocaml
SpiceGuid has joined #ocaml
FreeBirdLjj has quit [Read error: Connection reset by peer]
<omarramo>
hey guys, I want to debug my program using an external module and i need to print a datastructure represented by a deeply nested recursive variant type
<omarramo>
is there an easy way to just conver that to a string
<omarramo>
or do I have to write my own function for that type
FreeBirdLjj has joined #ocaml
dhil has quit [Ping timeout: 246 seconds]
<companion_cube>
you can write your own, or use ppx_deriving.show
<omarramo>
companion_cube: is there a way to use ppx_deriving for external modules whose source file I can't edit?
<companion_cube>
in combination with ppx_import, possibly
FreeBirdLjj has quit [Remote host closed the connection]
<companion_cube>
type foo = [%import Foo.t] [@@deriving show]
FreeBirdLjj has joined #ocaml
<ggole>
You can use the type t = Foo.t = <definition here> [@@deriving show] trick
<ggole>
The ppx readme mentions it.
<companion_cube>
ah yeha, that's what ppximport does anyway
<ggole>
Yeah
<ggole>
import can be worthwhile if the type definition is huge though
<ggole>
Or if you expect it to have to change
jbrown has joined #ocaml
<companion_cube>
or if you're doing it for 20 types and can't be bothered
aristos has quit [Quit: Leaving]
SpiceGuid has quit [Ping timeout: 255 seconds]
<cemerick>
companion_cube: right, the bloat is one thing (my executable size went up by more than 2x), but beyond that, the batteries impl has an…idiosyncratic API
<companion_cube>
hmmmm, really? what's special in this?
<cemerick>
it's not clear to me why it's within a stdlib in the first place, aside perhaps from making it more convenient for its own implementation
<companion_cube>
ahhhh finger trees, not zig zag trees
<companion_cube>
that's a bit more special yeah
<companion_cube>
I'm not sure of how useful this is in OCaml, tbh
<cemerick>
zig zag? You mean splay trees?
<companion_cube>
right
<companion_cube>
(duh)
<companion_cube>
I knew it wasn't the right name, just not what was the right name 😅
<cemerick>
The win for finger trees is cheap amortized append and nth, etc