#ocaml on 2019-10-16 — irc logs at freenode.irclog.whitequark.org

2019-09-26 12:04 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

00:01 toppler has quit [Ping timeout: 240 seconds]

00:04 keep_learning has quit [Ping timeout: 240 seconds]

00:08 toppler has joined #ocaml

00:18 toppler has quit [Ping timeout: 240 seconds]

00:26 toppler has joined #ocaml

00:31 zmt01 has quit [Quit: Leaving]

00:33 pmetzger has quit []

00:35 toppler has quit [Ping timeout: 240 seconds]

00:36 zmt00 has joined #ocaml

00:44 toppler has joined #ocaml

00:47 AtumT has quit [Quit: AtumT]

00:54 q9929t has joined #ocaml

00:54 olle has quit [Ping timeout: 265 seconds]

00:55 toppler has quit [Ping timeout: 268 seconds]

00:55 olle has joined #ocaml

01:01 q9929t has quit [Quit: q9929t]

01:02 toppler has joined #ocaml

01:14 toppler has quit [Ping timeout: 240 seconds]

01:22 toppler has joined #ocaml

01:33 toppler has quit [Ping timeout: 268 seconds]

01:39 toppler has joined #ocaml

01:50 toppler has quit [Ping timeout: 240 seconds]

01:55 jao- has quit [Remote host closed the connection]

01:57 toppler has joined #ocaml

02:00 jao has joined #ocaml

02:08 toppler has quit [Ping timeout: 268 seconds]

02:08 tormen_ has joined #ocaml

02:11 tormen has quit [Ping timeout: 240 seconds]

02:13 toppler has joined #ocaml

02:14 mfp has quit [Ping timeout: 246 seconds]

02:20 jao has quit [Remote host closed the connection]

02:23 toppler has quit [Ping timeout: 268 seconds]

02:29 toppler has joined #ocaml

02:38 toppler has quit [Ping timeout: 240 seconds]

02:44 toppler has joined #ocaml

02:54 jao has joined #ocaml

02:55 nullcone has joined #ocaml

02:57 toppler has quit [Ping timeout: 265 seconds]

03:04 toppler has joined #ocaml

03:07 jao has quit [Remote host closed the connection]

03:13 jao has joined #ocaml

03:15 toppler has quit [Ping timeout: 276 seconds]

03:20 toppler has joined #ocaml

03:32 jp has joined #ocaml

03:32 toppler has quit [Ping timeout: 268 seconds]

03:39 toppler has joined #ocaml

03:51 toppler has quit [Ping timeout: 268 seconds]

03:58 toppler has joined #ocaml

04:10 toppler has quit [Ping timeout: 265 seconds]

04:15 toppler has joined #ocaml

04:26 warriors_ has joined #ocaml

04:26 gravicappa has joined #ocaml

04:27 toppler has quit [Ping timeout: 265 seconds]

04:33 toppler has joined #ocaml

04:35 barockobamo has joined #ocaml

04:35 warriors_ has quit []

04:35 warriors_ has joined #ocaml

04:37 warriors_ has quit [Client Quit]

04:38 Traviss__ has joined #ocaml

04:38 warriors has joined #ocaml

04:40 jao has quit [Remote host closed the connection]

04:42 traviss has quit [Ping timeout: 265 seconds]

04:44 toppler has quit [Ping timeout: 265 seconds]

04:50 toppler has joined #ocaml

05:03 toppler has quit [Ping timeout: 265 seconds]

05:04 warriors has quit []

05:09 toppler has joined #ocaml

05:18 narimiran has joined #ocaml

05:20 toppler has quit [Ping timeout: 240 seconds]

05:26 toppler has joined #ocaml

05:43 Haudegen has joined #ocaml

05:44 mbuf has joined #ocaml

05:51 toppler has quit [Ping timeout: 265 seconds]

05:57 toppler has joined #ocaml

06:08 flodin has joined #ocaml

06:09 toppler has quit [Ping timeout: 265 seconds]

06:15 toppler has joined #ocaml

06:17 jp has quit [Remote host closed the connection]

06:18 jp has joined #ocaml

06:23 jp has quit [Ping timeout: 265 seconds]

06:25 barockobamo has quit [Remote host closed the connection]

06:26 ruffy has joined #ocaml

06:27 ruffy is now known as Guest66590

06:27 toppler has quit [Ping timeout: 265 seconds]

06:31 Guest66590 has quit [Client Quit]

06:31 ruffy has joined #ocaml

06:32 ruffy is now known as Guest70632

06:32 Guest70632 has quit [Client Quit]

06:33 ruffy_ has joined #ocaml

06:33 toppler has joined #ocaml

06:38 pino|work has joined #ocaml

06:41 ruffy_ has quit [Quit: WeeChat 2.5]

06:42 ruffy_ has joined #ocaml

06:46 toppler has quit [Ping timeout: 240 seconds]

06:53 toppler has joined #ocaml

06:55 Serpent7776 has joined #ocaml

07:04 toppler has quit [Ping timeout: 240 seconds]

07:09 barockobamo has joined #ocaml

07:11 toppler has joined #ocaml

07:12 <Drup> just include it, and don't export it again the signature

07:22 toppler has quit [Ping timeout: 245 seconds]

07:30 toppler has joined #ocaml

07:39 KeyJoo has joined #ocaml

07:41 toppler has quit [Ping timeout: 268 seconds]

07:46 toppler has joined #ocaml

07:49 bartholin has quit [Remote host closed the connection]

07:50 jp has joined #ocaml

07:51 toppler has quit [Ping timeout: 265 seconds]

07:56 jaar has joined #ocaml

07:57 toppler has joined #ocaml

07:58 <adrien> well, I do that because I want to expose the stuff from LowLevel in HighLevel

08:02 orbifx2 has joined #ocaml

08:04 jp has quit [Ping timeout: 268 seconds]

08:04 <adrien> hmm, I got a bit further by duplicating the signature of LowLevel in HighLevel

08:04 <adrien> and maybe I can trim LowLevel down so that duplication is minimal

08:06 <adrien> (and I'm running out of time because I'm doing that commuting in the subway of course)

08:08 toppler has quit [Ping timeout: 240 seconds]

08:14 bitwinery has quit [Quit: Leaving]

08:15 toppler has joined #ocaml

08:20 ollehar has joined #ocaml

08:21 gravicappa has quit [Ping timeout: 268 seconds]

08:27 toppler has quit [Ping timeout: 265 seconds]

08:34 toppler has joined #ocaml

08:35 Traviss__ has quit [Quit: Leaving]

08:43 freyr69 has joined #ocaml

08:46 toppler has quit [Ping timeout: 240 seconds]

08:54 toppler has joined #ocaml

09:00 jp has joined #ocaml

09:03 _Serpent7776_ has joined #ocaml

09:06 toppler has quit [Ping timeout: 268 seconds]

09:07 Serpent7776 has quit [Ping timeout: 276 seconds]

09:09 jp has quit [Ping timeout: 265 seconds]

09:14 toppler has joined #ocaml

09:19 orbifx2 has quit [Ping timeout: 276 seconds]

09:20 orbifx2 has joined #ocaml

09:25 toppler has quit [Ping timeout: 240 seconds]

09:27 picolino has joined #ocaml

09:32 toppler has joined #ocaml

09:33 nullcone has quit [Quit: Connection closed for inactivity]

09:36 mfp has joined #ocaml

09:43 toppler has quit [Ping timeout: 265 seconds]

09:49 orbifx2 has quit [Ping timeout: 240 seconds]

09:50 toppler has joined #ocaml

09:55 _Serpent7776_ has quit [Remote host closed the connection]

09:55 serpent has joined #ocaml

09:58 serpent is now known as Serpent7776

10:02 toppler has quit [Ping timeout: 240 seconds]

10:06 jp has joined #ocaml

10:10 toppler has joined #ocaml

10:10 jp has quit [Ping timeout: 250 seconds]

10:22 toppler has quit [Ping timeout: 240 seconds]

10:29 toppler has joined #ocaml

10:32 KeyJoo has quit [Quit: KeyJoo]

10:38 jaar has quit [Ping timeout: 246 seconds]

10:42 toppler has quit [Ping timeout: 240 seconds]

10:43 jp has joined #ocaml

10:49 toppler has joined #ocaml

10:49 webshinra has quit [Remote host closed the connection]

10:51 jp has quit [Ping timeout: 240 seconds]

10:55 webshinra has joined #ocaml

10:57 jaar has joined #ocaml

10:58 picolino has quit [Remote host closed the connection]

11:02 toppler has quit [Ping timeout: 268 seconds]

11:09 toppler has joined #ocaml

11:10 FreeBirdLjj has joined #ocaml

11:20 FreeBirdLjj has quit [Ping timeout: 268 seconds]

11:20 FreeBirdLjj has joined #ocaml

11:21 toppler has quit [Ping timeout: 265 seconds]

11:21 picolino has joined #ocaml

11:22 FreeBirdLjj has quit [Remote host closed the connection]

11:23 FreeBirdLjj has joined #ocaml

11:28 toppler has joined #ocaml

11:29 FreeBirdLjj has quit [Ping timeout: 268 seconds]

11:32 nullifidian has quit [Read error: Connection reset by peer]

11:32 nullifidian has joined #ocaml

11:40 toppler has quit [Ping timeout: 240 seconds]

11:41 picolino has quit [Ping timeout: 240 seconds]

11:43 klntsky has quit [Remote host closed the connection]

11:48 toppler has joined #ocaml

11:49 jp__ has joined #ocaml

11:53 jp__ has quit [Ping timeout: 246 seconds]

11:59 toppler has quit [Ping timeout: 268 seconds]

12:02 Haudegen has quit [Quit: Bin weg.]

12:06 toppler has joined #ocaml

12:18 toppler has quit [Ping timeout: 246 seconds]

12:23 jp__ has joined #ocaml

12:25 toppler has joined #ocaml

12:28 FreeBirdLjj has joined #ocaml

12:29 gravicappa has joined #ocaml

12:31 jp__ has quit [Ping timeout: 268 seconds]

12:33 FreeBirdLjj has quit [Ping timeout: 240 seconds]

12:34 klntsky has joined #ocaml

12:36 toppler has quit [Ping timeout: 265 seconds]

12:43 toppler has joined #ocaml

12:54 toppler has quit [Ping timeout: 246 seconds]

12:56 Haudegen has joined #ocaml

13:02 toppler has joined #ocaml

13:06 FreeBirdLjj has joined #ocaml

13:10 FreeBirdLjj has quit [Ping timeout: 250 seconds]

13:12 toppler has quit [Ping timeout: 240 seconds]

13:20 toppler has joined #ocaml

13:32 toppler has quit [Ping timeout: 265 seconds]

13:37 jack5638 has quit [Ping timeout: 240 seconds]

13:37 jack5638 has joined #ocaml

13:39 toppler has joined #ocaml

13:41 jp has joined #ocaml

13:44 jp has quit [Remote host closed the connection]

13:45 jp has joined #ocaml

13:46 jao has joined #ocaml

13:50 toppler has quit [Ping timeout: 240 seconds]

13:50 jp has quit [Ping timeout: 276 seconds]

13:51 barockobamo has quit [Remote host closed the connection]

13:57 jp has joined #ocaml

13:58 toppler has joined #ocaml

14:00 barockobamo has joined #ocaml

14:01 jp has quit [Remote host closed the connection]

14:09 toppler has quit [Ping timeout: 240 seconds]

14:11 FreeBirdLjj has joined #ocaml

14:11 orbifx2 has joined #ocaml

14:12 kakadu has joined #ocaml

14:14 jao has quit [Ping timeout: 240 seconds]

14:16 toppler has joined #ocaml

14:26 toppler has quit [Ping timeout: 240 seconds]

14:31 warriors has joined #ocaml

14:33 emias has quit [Ping timeout: 250 seconds]

14:35 toppler has joined #ocaml

14:36 jp has joined #ocaml

14:37 gareppa has joined #ocaml

14:44 toppler has quit [Ping timeout: 240 seconds]

14:47 jp has quit [Ping timeout: 240 seconds]

14:48 smazga has joined #ocaml

14:49 emias has joined #ocaml

14:51 toppler has joined #ocaml

15:02 toppler has quit [Ping timeout: 265 seconds]

15:04 Serpent7776 has quit [Quit: Leaving]

15:04 dogui has quit [Ping timeout: 244 seconds]

15:06 dogui has joined #ocaml

15:08 toppler has joined #ocaml

15:11 jp has joined #ocaml

15:12 dogui has quit [Remote host closed the connection]

15:13 dogui has joined #ocaml

15:14 FreeBirdLjj has quit [Remote host closed the connection]

15:15 narimiran has quit [Ping timeout: 265 seconds]

15:15 FreeBirdLjj has joined #ocaml

15:16 FreeBirdLjj has quit [Remote host closed the connection]

15:17 FreeBirdLjj has joined #ocaml

15:18 toppler has quit [Ping timeout: 240 seconds]

15:20 jp has quit [Remote host closed the connection]

15:20 jp has joined #ocaml

15:20 dogui has quit [Remote host closed the connection]

15:20 dogui has joined #ocaml

15:25 toppler has joined #ocaml

15:26 dogui has quit [Ping timeout: 265 seconds]

15:27 dogui has joined #ocaml

15:36 toppler has quit [Ping timeout: 240 seconds]

15:41 bartholin has joined #ocaml

15:45 toppler has joined #ocaml

15:45 prophet has quit [Quit: Connection closed for inactivity]

15:53 Haudegen has quit [Quit: Bin weg.]

15:55 toppler has quit [Ping timeout: 245 seconds]

15:55 ollehar has quit [Ping timeout: 240 seconds]

16:00 freyr69 has quit [Remote host closed the connection]

16:04 toppler has joined #ocaml

16:08 dogui has quit [Ping timeout: 240 seconds]

16:08 dogui has joined #ocaml

16:11 barockobamo has quit [Remote host closed the connection]

16:14 dogui has quit [Ping timeout: 276 seconds]

16:15 dogui has joined #ocaml

16:15 toppler has quit [Ping timeout: 276 seconds]

16:17 orbifx2 has quit [Read error: Connection reset by peer]

16:17 orbifx3 has joined #ocaml

16:20 jp has quit [Read error: Connection reset by peer]

16:20 tane has joined #ocaml

16:21 jp has joined #ocaml

16:23 toppler has joined #ocaml

16:26 jp has quit [Ping timeout: 268 seconds]

16:34 ziyourenxiang_ has quit [Ping timeout: 240 seconds]

16:35 toppler has quit [Ping timeout: 265 seconds]

16:41 FreeBirdLjj has quit [Remote host closed the connection]

16:41 FreeBirdLjj has joined #ocaml

16:41 toppler has joined #ocaml

16:46 FreeBirdLjj has quit [Ping timeout: 268 seconds]

16:47 jp has joined #ocaml

16:52 jp has quit [Ping timeout: 240 seconds]

16:53 Serpent7776 has joined #ocaml

17:03 jp has joined #ocaml

17:05 Haudegen has joined #ocaml

17:06 toppler has quit [Ping timeout: 245 seconds]

17:14 toppler has joined #ocaml

17:15 <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`

17:15 <cemerick> have I just overlooked it?

17:18 <companion_cube> there's CCResult.map_l, but indeed, no traverse

17:18 <companion_cube> i should add the simpler variant

17:22 <thizanne> what should happen if the list is empty ?

17:22 <companion_cube> Ok []

17:22 <companion_cube> clearly

17:22 <companion_cube> cemerick: I'm implementing it

17:23 <companion_cube> take a look at master

17:23 <thizanne> oh I read the type wrong

17:26 toppler has quit [Ping timeout: 240 seconds]

17:31 AtumT has joined #ocaml

17:33 toppler has joined #ocaml

17:39 jaar has quit [Ping timeout: 268 seconds]

17:42 <cemerick> companion_cube: aaaaaaaach, `map_l id`, I should've seen that

17:42 <cemerick> *facepalm*

17:44 toppler has quit [Ping timeout: 265 seconds]

17:44 <cemerick> is there any utility in re-implementing, vs just `let flatten_l = map_l id`?

17:45 * cemerick places offerings for the cross-module optimization gods

17:50 gareppa has quit [Quit: Leaving]

17:51 toppler has joined #ocaml

17:54 <companion_cube> cemerick: optimizations? convenience? :D

17:59 mbuf has quit [Quit: Leaving]

18:00 narimiran has joined #ocaml

18:04 toppler has quit [Ping timeout: 268 seconds]

18:04 dmiles has quit [Read error: Connection reset by peer]

18:10 kakadu_ has joined #ocaml

18:11 dmiles has joined #ocaml

18:12 toppler has joined #ocaml

18:18 orbifx3 has quit [Ping timeout: 268 seconds]

18:23 toppler has quit [Ping timeout: 240 seconds]

18:26 test2001element has joined #ocaml

18:30 test2001element has quit [Read error: Connection reset by peer]

18:31 toppler has joined #ocaml

18:31 test2001element has joined #ocaml

18:36 dogui has quit [Ping timeout: 276 seconds]

18:36 dogui has joined #ocaml

18:44 toppler has quit [Ping timeout: 268 seconds]

18:51 toppler has joined #ocaml

18:56 test2001element has quit [Quit: ERC (IRC client for Emacs 26.1)]

19:01 jnavila has joined #ocaml

19:01 assemblyman has joined #ocaml

19:04 toppler has quit [Ping timeout: 265 seconds]

19:12 toppler has joined #ocaml

19:12 infinity0 has joined #ocaml

19:25 toppler has quit [Ping timeout: 276 seconds]

19:31 nullcone has joined #ocaml

19:31 toppler has joined #ocaml

19:32 nicoo has quit [Remote host closed the connection]

19:33 nicoo has joined #ocaml

19:39 spew has joined #ocaml

19:42 gravicappa has quit [Ping timeout: 240 seconds]

19:43 toppler has quit [Ping timeout: 265 seconds]

19:45 Haudegen has quit [Quit: Bin weg.]

19:48 narimiran has quit [Ping timeout: 240 seconds]

19:50 toppler has joined #ocaml

20:02 toppler has quit [Ping timeout: 268 seconds]

20:08 toppler has joined #ocaml

20:19 bitwinery has joined #ocaml

20:20 bitwinery has quit [Remote host closed the connection]

20:20 bitwinery has joined #ocaml

20:21 toppler has quit [Ping timeout: 276 seconds]

20:24 pino|work has quit [Quit: bye]

20:26 assemblyman has quit [Quit: ™]

20:28 toppler has joined #ocaml

20:40 toppler has quit [Ping timeout: 240 seconds]

20:47 toppler has joined #ocaml

20:59 toppler has quit [Ping timeout: 265 seconds]

21:05 jnavila has quit [Remote host closed the connection]

21:06 toppler has joined #ocaml

21:18 toppler has quit [Ping timeout: 240 seconds]

21:24 nicoo has quit [Ping timeout: 260 seconds]

21:26 toppler has joined #ocaml

21:29 tane has quit [Quit: Leaving]

21:31 nicoo has joined #ocaml

21:38 toppler has quit [Ping timeout: 268 seconds]

21:44 toppler has joined #ocaml

21:45 vicfred has joined #ocaml

21:49 jp has quit [Remote host closed the connection]

21:50 jp has joined #ocaml

21:55 toppler has quit [Ping timeout: 268 seconds]

21:58 Serpent7776 has quit [Quit: leaving]

21:58 jp has quit []

22:03 toppler has joined #ocaml

22:10 <Leonidas> cemerick: It is called Result.all in Core ;)

22:10 <Leonidas> - : ('a, 'e) result list -> ('a list, 'e) result = <fun>

22:12 <Leonidas> We use that a lot in conjunction with Deferreds, kinda useful to wait on all deferred results.

22:14 toppler has quit [Ping timeout: 250 seconds]

22:20 toppler has joined #ocaml

22:30 toppler has quit [Ping timeout: 268 seconds]

22:37 toppler has joined #ocaml

22:38 nullcone has quit [Quit: Connection closed for inactivity]

22:47 <cemerick> Leonidas: noted 😁

22:48 <cemerick> Early on in my OCamling, I tinkered with the JS libs, but sort of got lost

22:49 <cemerick> I'm guessing I'd be just fine if I picked them up now

22:50 toppler has quit [Ping timeout: 265 seconds]

22:52 kakadu_ has quit [Remote host closed the connection]

22:58 toppler has joined #ocaml

23:03 smazga has quit [Quit: leaving]

23:09 toppler has quit [Ping timeout: 268 seconds]

23:18 toppler has joined #ocaml

23:28 toppler has quit [Ping timeout: 276 seconds]

23:35 toppler has joined #ocaml

23:41 AtumT has quit [Quit: AtumT]

23:44 Skaterhaym has joined #ocaml

23:46 bitwinery has quit [Ping timeout: 240 seconds]

23:47 toppler has quit [Ping timeout: 240 seconds]

23:55 toppler has joined #ocaml

23:56 ziyourenxiang_ has joined #ocaml