adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.09 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.09/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
toppler has quit [Ping timeout: 240 seconds]
keep_learning has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
zmt01 has quit [Quit: Leaving]
pmetzger has quit []
toppler has quit [Ping timeout: 240 seconds]
zmt00 has joined #ocaml
toppler has joined #ocaml
AtumT has quit [Quit: AtumT]
q9929t has joined #ocaml
olle has quit [Ping timeout: 265 seconds]
toppler has quit [Ping timeout: 268 seconds]
olle has joined #ocaml
q9929t has quit [Quit: q9929t]
toppler has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
toppler has quit [Ping timeout: 268 seconds]
toppler has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
jao- has quit [Remote host closed the connection]
toppler has joined #ocaml
jao has joined #ocaml
toppler has quit [Ping timeout: 268 seconds]
tormen_ has joined #ocaml
tormen has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
mfp has quit [Ping timeout: 246 seconds]
jao has quit [Remote host closed the connection]
toppler has quit [Ping timeout: 268 seconds]
toppler has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
jao has joined #ocaml
nullcone has joined #ocaml
toppler has quit [Ping timeout: 265 seconds]
toppler has joined #ocaml
jao has quit [Remote host closed the connection]
jao has joined #ocaml
toppler has quit [Ping timeout: 276 seconds]
toppler has joined #ocaml
jp has joined #ocaml
toppler has quit [Ping timeout: 268 seconds]
toppler has joined #ocaml
toppler has quit [Ping timeout: 268 seconds]
toppler has joined #ocaml
toppler has quit [Ping timeout: 265 seconds]
toppler has joined #ocaml
warriors_ has joined #ocaml
gravicappa has joined #ocaml
toppler has quit [Ping timeout: 265 seconds]
toppler has joined #ocaml
barockobamo has joined #ocaml
warriors_ has quit []
warriors_ has joined #ocaml
warriors_ has quit [Client Quit]
Traviss__ has joined #ocaml
warriors has joined #ocaml
jao has quit [Remote host closed the connection]
traviss has quit [Ping timeout: 265 seconds]
toppler has quit [Ping timeout: 265 seconds]
toppler has joined #ocaml
toppler has quit [Ping timeout: 265 seconds]
warriors has quit []
toppler has joined #ocaml
narimiran has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
Haudegen has joined #ocaml
mbuf has joined #ocaml
toppler has quit [Ping timeout: 265 seconds]
toppler has joined #ocaml
flodin has joined #ocaml
toppler has quit [Ping timeout: 265 seconds]
toppler has joined #ocaml
jp has quit [Remote host closed the connection]
jp has joined #ocaml
jp has quit [Ping timeout: 265 seconds]
barockobamo has quit [Remote host closed the connection]
ruffy has joined #ocaml
ruffy is now known as Guest66590
toppler has quit [Ping timeout: 265 seconds]
Guest66590 has quit [Client Quit]
ruffy has joined #ocaml
ruffy is now known as Guest70632
Guest70632 has quit [Client Quit]
ruffy_ has joined #ocaml
toppler has joined #ocaml
pino|work has joined #ocaml
ruffy_ has quit [Quit: WeeChat 2.5]
ruffy_ has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
Serpent7776 has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
barockobamo has joined #ocaml
toppler has joined #ocaml
<Drup> just include it, and don't export it again the signature
toppler has quit [Ping timeout: 245 seconds]
toppler has joined #ocaml
KeyJoo has joined #ocaml
toppler has quit [Ping timeout: 268 seconds]
toppler has joined #ocaml
bartholin has quit [Remote host closed the connection]
jp has joined #ocaml
toppler has quit [Ping timeout: 265 seconds]
jaar has joined #ocaml
toppler has joined #ocaml
<adrien> well, I do that because I want to expose the stuff from LowLevel in HighLevel
orbifx2 has joined #ocaml
jp has quit [Ping timeout: 268 seconds]
<adrien> hmm, I got a bit further by duplicating the signature of LowLevel in HighLevel
<adrien> and maybe I can trim LowLevel down so that duplication is minimal
<adrien> (and I'm running out of time because I'm doing that commuting in the subway of course)
toppler has quit [Ping timeout: 240 seconds]
bitwinery has quit [Quit: Leaving]
toppler has joined #ocaml
ollehar has joined #ocaml
gravicappa has quit [Ping timeout: 268 seconds]
toppler has quit [Ping timeout: 265 seconds]
toppler has joined #ocaml
Traviss__ has quit [Quit: Leaving]
freyr69 has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
jp has joined #ocaml
_Serpent7776_ has joined #ocaml
toppler has quit [Ping timeout: 268 seconds]
Serpent7776 has quit [Ping timeout: 276 seconds]
jp has quit [Ping timeout: 265 seconds]
toppler has joined #ocaml
orbifx2 has quit [Ping timeout: 276 seconds]
orbifx2 has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
picolino has joined #ocaml
toppler has joined #ocaml
nullcone has quit [Quit: Connection closed for inactivity]
mfp has joined #ocaml
toppler has quit [Ping timeout: 265 seconds]
orbifx2 has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
_Serpent7776_ has quit [Remote host closed the connection]
serpent has joined #ocaml
serpent is now known as Serpent7776
toppler has quit [Ping timeout: 240 seconds]
jp has joined #ocaml
toppler has joined #ocaml
jp has quit [Ping timeout: 250 seconds]
toppler has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
KeyJoo has quit [Quit: KeyJoo]
jaar has quit [Ping timeout: 246 seconds]
toppler has quit [Ping timeout: 240 seconds]
jp has joined #ocaml
toppler has joined #ocaml
webshinra has quit [Remote host closed the connection]
jp has quit [Ping timeout: 240 seconds]
webshinra has joined #ocaml
jaar has joined #ocaml
picolino has quit [Remote host closed the connection]
toppler has quit [Ping timeout: 268 seconds]
toppler has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 268 seconds]
FreeBirdLjj has joined #ocaml
toppler has quit [Ping timeout: 265 seconds]
picolino has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
toppler has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 268 seconds]
nullifidian has quit [Read error: Connection reset by peer]
nullifidian has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
picolino has quit [Ping timeout: 240 seconds]
klntsky has quit [Remote host closed the connection]
toppler has joined #ocaml
jp__ has joined #ocaml
jp__ has quit [Ping timeout: 246 seconds]
toppler has quit [Ping timeout: 268 seconds]
Haudegen has quit [Quit: Bin weg.]
toppler has joined #ocaml
toppler has quit [Ping timeout: 246 seconds]
jp__ has joined #ocaml
toppler has joined #ocaml
FreeBirdLjj has joined #ocaml
gravicappa has joined #ocaml
jp__ has quit [Ping timeout: 268 seconds]
FreeBirdLjj has quit [Ping timeout: 240 seconds]
klntsky has joined #ocaml
toppler has quit [Ping timeout: 265 seconds]
toppler has joined #ocaml
toppler has quit [Ping timeout: 246 seconds]
Haudegen has joined #ocaml
toppler has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 250 seconds]
toppler has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
toppler has quit [Ping timeout: 265 seconds]
jack5638 has quit [Ping timeout: 240 seconds]
jack5638 has joined #ocaml
toppler has joined #ocaml
jp has joined #ocaml
jp has quit [Remote host closed the connection]
jp has joined #ocaml
jao has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
jp has quit [Ping timeout: 276 seconds]
barockobamo has quit [Remote host closed the connection]
jp has joined #ocaml
toppler has joined #ocaml
barockobamo has joined #ocaml
jp has quit [Remote host closed the connection]
toppler has quit [Ping timeout: 240 seconds]
FreeBirdLjj has joined #ocaml
orbifx2 has joined #ocaml
kakadu has joined #ocaml
jao has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
warriors has joined #ocaml
emias has quit [Ping timeout: 250 seconds]
toppler has joined #ocaml
jp has joined #ocaml
gareppa has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
jp has quit [Ping timeout: 240 seconds]
smazga has joined #ocaml
emias has joined #ocaml
toppler has joined #ocaml
toppler has quit [Ping timeout: 265 seconds]
Serpent7776 has quit [Quit: Leaving]
dogui has quit [Ping timeout: 244 seconds]
dogui has joined #ocaml
toppler has joined #ocaml
jp has joined #ocaml
dogui has quit [Remote host closed the connection]
dogui has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
narimiran has quit [Ping timeout: 265 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
jp has quit [Remote host closed the connection]
jp has joined #ocaml
dogui has quit [Remote host closed the connection]
dogui has joined #ocaml
toppler has joined #ocaml
dogui has quit [Ping timeout: 265 seconds]
dogui has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
bartholin has joined #ocaml
toppler has joined #ocaml
prophet has quit [Quit: Connection closed for inactivity]
Haudegen has quit [Quit: Bin weg.]
toppler has quit [Ping timeout: 245 seconds]
ollehar has quit [Ping timeout: 240 seconds]
freyr69 has quit [Remote host closed the connection]
toppler has joined #ocaml
dogui has quit [Ping timeout: 240 seconds]
dogui has joined #ocaml
barockobamo has quit [Remote host closed the connection]
dogui has quit [Ping timeout: 276 seconds]
dogui has joined #ocaml
toppler has quit [Ping timeout: 276 seconds]
orbifx2 has quit [Read error: Connection reset by peer]
orbifx3 has joined #ocaml
jp has quit [Read error: Connection reset by peer]
tane has joined #ocaml
jp has joined #ocaml
toppler has joined #ocaml
jp has quit [Ping timeout: 268 seconds]
ziyourenxiang_ has quit [Ping timeout: 240 seconds]
toppler has quit [Ping timeout: 265 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
toppler has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 268 seconds]
jp has joined #ocaml
jp has quit [Ping timeout: 240 seconds]
Serpent7776 has joined #ocaml
jp has joined #ocaml
Haudegen has joined #ocaml
toppler has quit [Ping timeout: 245 seconds]
toppler has joined #ocaml
<cemerick> I'd expect to find a function like this in stdlib or containers Result, but not seeing it: `('a, 'err) result list -> ('a list, 'err) result`
<cemerick> have I just overlooked it?
<companion_cube> there's CCResult.map_l, but indeed, no traverse
<companion_cube> i should add the simpler variant
<thizanne> what should happen if the list is empty ?
<companion_cube> Ok []
<companion_cube> clearly
<companion_cube> cemerick: I'm implementing it
<companion_cube> take a look at master
<thizanne> oh I read the type wrong
toppler has quit [Ping timeout: 240 seconds]
AtumT has joined #ocaml
toppler has joined #ocaml
jaar has quit [Ping timeout: 268 seconds]
<cemerick> companion_cube: aaaaaaaach, `map_l id`, I should've seen that
<cemerick> *facepalm*
toppler has quit [Ping timeout: 265 seconds]
<cemerick> is there any utility in re-implementing, vs just `let flatten_l = map_l id`?
* cemerick places offerings for the cross-module optimization gods
gareppa has quit [Quit: Leaving]
toppler has joined #ocaml
<companion_cube> cemerick: optimizations? convenience? :D
mbuf has quit [Quit: Leaving]
narimiran has joined #ocaml
toppler has quit [Ping timeout: 268 seconds]
dmiles has quit [Read error: Connection reset by peer]
kakadu_ has joined #ocaml
dmiles has joined #ocaml
toppler has joined #ocaml
orbifx3 has quit [Ping timeout: 268 seconds]
toppler has quit [Ping timeout: 240 seconds]
test2001element has joined #ocaml
test2001element has quit [Read error: Connection reset by peer]
toppler has joined #ocaml
test2001element has joined #ocaml
dogui has quit [Ping timeout: 276 seconds]
dogui has joined #ocaml
toppler has quit [Ping timeout: 268 seconds]
toppler has joined #ocaml
test2001element has quit [Quit: ERC (IRC client for Emacs 26.1)]
jnavila has joined #ocaml
assemblyman has joined #ocaml
toppler has quit [Ping timeout: 265 seconds]
toppler has joined #ocaml
infinity0 has joined #ocaml
toppler has quit [Ping timeout: 276 seconds]
nullcone has joined #ocaml
toppler has joined #ocaml
nicoo has quit [Remote host closed the connection]
nicoo has joined #ocaml
spew has joined #ocaml
gravicappa has quit [Ping timeout: 240 seconds]
toppler has quit [Ping timeout: 265 seconds]
Haudegen has quit [Quit: Bin weg.]
narimiran has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
toppler has quit [Ping timeout: 268 seconds]
toppler has joined #ocaml
bitwinery has joined #ocaml
bitwinery has quit [Remote host closed the connection]
bitwinery has joined #ocaml
toppler has quit [Ping timeout: 276 seconds]
pino|work has quit [Quit: bye]
assemblyman has quit [Quit: ™]
toppler has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
toppler has quit [Ping timeout: 265 seconds]
jnavila has quit [Remote host closed the connection]
toppler has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
nicoo has quit [Ping timeout: 260 seconds]
toppler has joined #ocaml
tane has quit [Quit: Leaving]
nicoo has joined #ocaml
toppler has quit [Ping timeout: 268 seconds]
toppler has joined #ocaml
vicfred has joined #ocaml
jp has quit [Remote host closed the connection]
jp has joined #ocaml
toppler has quit [Ping timeout: 268 seconds]
Serpent7776 has quit [Quit: leaving]
jp has quit []
toppler has joined #ocaml
<Leonidas> cemerick: It is called Result.all in Core ;)
<Leonidas> - : ('a, 'e) result list -> ('a list, 'e) result = <fun>
<Leonidas> We use that a lot in conjunction with Deferreds, kinda useful to wait on all deferred results.
toppler has quit [Ping timeout: 250 seconds]
toppler has joined #ocaml
toppler has quit [Ping timeout: 268 seconds]
toppler has joined #ocaml
nullcone has quit [Quit: Connection closed for inactivity]
<cemerick> Leonidas: noted 😁
<cemerick> Early on in my OCamling, I tinkered with the JS libs, but sort of got lost
<cemerick> I'm guessing I'd be just fine if I picked them up now
toppler has quit [Ping timeout: 265 seconds]
kakadu_ has quit [Remote host closed the connection]
toppler has joined #ocaml
smazga has quit [Quit: leaving]
toppler has quit [Ping timeout: 268 seconds]
toppler has joined #ocaml
toppler has quit [Ping timeout: 276 seconds]
toppler has joined #ocaml
AtumT has quit [Quit: AtumT]
Skaterhaym has joined #ocaml
bitwinery has quit [Ping timeout: 240 seconds]
toppler has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
ziyourenxiang_ has joined #ocaml