#ocaml on 2019-11-20 — 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:03 smazga has quit [Quit: leaving]

00:05 Anarchos has joined #ocaml

00:05 Haudegen has quit [Ping timeout: 276 seconds]

00:14 zfnmxt has quit [Quit: Bye!]

00:20 zfnmxt has joined #ocaml

00:25 kjak has quit [Quit: leaving]

01:06 ravenousmoose has joined #ocaml

01:07 Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]

01:10 ravenousmoose has quit [Ping timeout: 252 seconds]

01:28 kleisli has quit [Ping timeout: 252 seconds]

01:29 kleisli has joined #ocaml

01:52 silver has quit [Quit: rakede]

02:00 philtor has joined #ocaml

02:00 philt has joined #ocaml

02:00 philt has quit [Client Quit]

02:16 kleisli has quit [Ping timeout: 276 seconds]

02:25 kjak has joined #ocaml

02:28 ravenousmoose has joined #ocaml

02:32 kleisli has joined #ocaml

02:32 ravenousmoose has quit [Ping timeout: 252 seconds]

03:00 theblatte has quit [Ping timeout: 240 seconds]

03:17 tormen has joined #ocaml

03:19 ravenousmoose has joined #ocaml

03:21 tormen_ has quit [Ping timeout: 276 seconds]

03:23 ravenousmoose has quit [Ping timeout: 250 seconds]

04:19 zmt00 has joined #ocaml

04:22 zmt01 has quit [Ping timeout: 250 seconds]

04:22 mfp has quit [Ping timeout: 240 seconds]

04:32 gravicappa has joined #ocaml

04:51 ravenousmoose has joined #ocaml

04:55 ravenousmoose has quit [Ping timeout: 250 seconds]

04:56 oni-on-ion has quit [Remote host closed the connection]

04:56 oni-on-ion has joined #ocaml

05:21 ravenousmoose has joined #ocaml

05:26 ravenousmoose has quit [Ping timeout: 252 seconds]

05:42 ravenousmoose has joined #ocaml

05:46 ravenousmoose has quit [Ping timeout: 250 seconds]

05:48 ygrek__ has quit [Ping timeout: 250 seconds]

05:52 kgop has quit [Ping timeout: 240 seconds]

05:52 gravicappa has quit [Ping timeout: 250 seconds]

05:52 ravenousmoose has joined #ocaml

05:53 brettgilio has quit [Quit: Quit]

05:53 brettgilio has joined #ocaml

05:56 ravenousmoose has quit [Ping timeout: 245 seconds]

06:13 ravenousmoose has joined #ocaml

06:14 jnavila has joined #ocaml

06:17 ravenousmoose has quit [Ping timeout: 252 seconds]

06:30 bitwinery has quit [Quit: Leaving]

06:32 theblatte has joined #ocaml

06:34 ravenousmoose has joined #ocaml

06:37 narimiran has joined #ocaml

06:41 jnavila has quit [Ping timeout: 246 seconds]

06:52 gravicappa has joined #ocaml

06:56 theblatte has quit [Ping timeout: 250 seconds]

07:08 theblatte has joined #ocaml

07:29 CcxWrk has joined #ocaml

07:33 ravenousmoose has quit [Ping timeout: 250 seconds]

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

07:41 dborisog has joined #ocaml

07:54 oni-on-ion has quit [Remote host closed the connection]

07:59 nicootje has joined #ocaml

08:00 Haudegen has joined #ocaml

08:00 nicooo has quit [Ping timeout: 260 seconds]

08:10 gravicappa has quit [Ping timeout: 240 seconds]

08:10 barockobamo has joined #ocaml

08:21 ravenousmoose has joined #ocaml

08:25 tmhoang has quit [Remote host closed the connection]

08:25 ravenousmoose has quit [Ping timeout: 245 seconds]

08:26 tmhoang has joined #ocaml

08:27 oxford has quit [Ping timeout: 260 seconds]

08:35 tmhoang has quit [Quit: Alpine Linux, the security-oriented, lightweight Linux distribution]

08:46 dborisog has quit [Remote host closed the connection]

08:51 dborisog has joined #ocaml

08:53 dborisog has quit [Remote host closed the connection]

09:00 oxford has joined #ocaml

09:22 dborisog has joined #ocaml

09:28 adrien_web has joined #ocaml

09:31 dhil has joined #ocaml

09:32 jaar has joined #ocaml

09:35 jaar has quit [Remote host closed the connection]

09:36 jaar has joined #ocaml

10:00 FreeBirdLjj has joined #ocaml

10:02 ravenousmoose has joined #ocaml

10:02 infinity0 has quit [Remote host closed the connection]

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

10:07 ravenousmoose has quit [Ping timeout: 250 seconds]

10:20 sagax has joined #ocaml

10:20 mfp has joined #ocaml

11:05 jaar has quit [Ping timeout: 276 seconds]

11:23 jaar has joined #ocaml

11:33 ggole has joined #ocaml

11:38 ollehar has joined #ocaml

11:41 <Nikkel> companion_cube: Is there a list of projects that are using your qcheck?

11:54 freyr69 has joined #ocaml

11:55 ravenousmoose has joined #ocaml

11:55 ravenousmoose has quit [Client Quit]

12:01 Anarchos has joined #ocaml

12:28 <Anarchos> how to ignore a file in a dune configuration file ?

12:29 <Nikkel> companion_cube: bvn\

12:29 <Nikkel> nvm

12:29 <Nikkel> Is it possible to expand modules from functors?

12:32 adrien_web has quit [Remote host closed the connection]

12:41 gravicappa has joined #ocaml

12:41 nicootje is now known as nicoo

12:44 adrien_web has joined #ocaml

12:45 infinity0 has joined #ocaml

12:46 ravenousmoose has joined #ocaml

12:50 ravenousmoose has quit [Ping timeout: 252 seconds]

13:00 <Nikkel> as in module MyIntSet = struct Set.Make(int) and let five = 5 end

13:01 <def`> module MyIntSet = struct include Set.Make(Int) let five = 5 end

13:02 <Nikkel> Oh, that's super simple. Thank you very much

13:04 Haudegen has quit [Quit: Bin weg.]

13:05 infinity0_ has joined #ocaml

13:05 infinity0_ has quit [Changing host]

13:05 infinity0 has quit [Killed (card.freenode.net (Nickname regained by services))]

13:05 infinity0 has joined #ocaml

13:35 dhil has quit [Ping timeout: 250 seconds]

13:38 <Anarchos> how to tell dune to use dypgen to process .dyp files to get the corresponding .ml ?

13:41 sarna has left #ocaml [#ocaml]

13:43 <Nikkel> Is there a nice way to transform a Set from one type to another? like map : ('a -> 'b) -> t with elt = 'a -> t with elt = 'b ?

13:46 <Nikkel> it's not a problem to go through Set.elements first, but eh

13:47 ravenousmoose has joined #ocaml

13:51 ravenousmoose has quit [Ping timeout: 245 seconds]

13:52 <Leonidas> xvilka: I am very amazed how you think that moving unmaintained projects to ocaml-community will suddenly revive them. I find it hard to share that belief.

13:52 <Leonidas> moving all kinds of dead projects OTOH seems to me like a sure way to absolutely kill ocaml-community

13:56 <thizanne> Nikkel: not really, mainly because you do have to build the result set from scratch

13:57 <thizanne> using fold would probably be nicer than going through Set.elements, but it won't get any better

13:57 <thizanne> (in the Stdlib at least)

13:57 q9929t has joined #ocaml

14:12 spew has joined #ocaml

14:13 Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]

14:14 Haudegen has joined #ocaml

14:15 emias has quit [Ping timeout: 240 seconds]

14:19 <companion_cube> Leonidas: what project are y'all referring to?

14:20 dhil has joined #ocaml

14:25 <Leonidas> companion_cube: https://github.com/ocaml-community/meta/issues/34

14:25 <companion_cube> uh I see

14:26 <companion_cube> it's not even an OCaml project? :D

14:26 <Leonidas> It is also a 100% typescript codebase

14:26 <companion_cube> who would maintain that? I know I wouldn't

14:26 <companion_cube> I'd rather redo a LSP with OCaml (and merlin has it anyway)

14:27 <Leonidas> companion_cube: nobody, that's why it is up for adoption on the ocaml-community dumping ground

14:28 <Leonidas> I am sort of annoyed that biniou and easy-format are there, they are only there because I haven't managed to exorcise yojson of them.

14:29 emias has joined #ocaml

14:29 <companion_cube> ahah so true

14:29 <companion_cube> I thought you had a branch without them though?

14:31 <Leonidas> companion_cube: https://github.com/ocaml-community/yojson/pull/74 yeah, I just never have time or motivation at the same time to work on this.

14:33 <companion_cube> oh there's a PR, too?

14:33 <companion_cube> I mean, removing biniou and having Buffer.t instead would be a great addition to yojson 2.0

14:35 <Leonidas> I totally agree. I'll try to find some time to finish it up.

14:35 <companion_cube> as for easy-format, have you started on it? It'd be nice as well, Format these days is amazing

14:37 <companion_cube> quick, let's do yojson5 to support json5! :D

14:39 brettgilio has quit [Ping timeout: 245 seconds]

14:42 <Leonidas> companion_cube: biniou depends on easy-format too, so removing it from Yojson won't cause it do disappear

14:42 barockobamo2 has joined #ocaml

14:43 <Leonidas> unless you want to replace it in biniou as well

14:43 <companion_cube> I mean, we should get rid of both

14:43 <companion_cube> for all I care biniou can then disappear

14:43 <Leonidas> yes

14:45 barockobamo has quit [Ping timeout: 240 seconds]

14:45 vicfred has quit [Quit: Leaving]

14:50 freyr69 has quit [Remote host closed the connection]

15:03 barockobamo3 has joined #ocaml

15:05 barockobamo2 has quit [Ping timeout: 240 seconds]

15:08 ravenousmoose has joined #ocaml

15:13 ravenousmoose has quit [Ping timeout: 245 seconds]

15:14 narimiran_ has joined #ocaml

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

15:15 zolk3ri has quit [Remote host closed the connection]

15:22 oni-on-ion has joined #ocaml

15:39 klntsky has quit [Ping timeout: 260 seconds]

15:39 oxford has quit [Ping timeout: 260 seconds]

15:40 nicoo has quit [Ping timeout: 260 seconds]

15:40 andreas303 has quit [Ping timeout: 260 seconds]

15:42 brettgilio has joined #ocaml

15:43 klntsky has joined #ocaml

15:43 oxford has joined #ocaml

15:44 nicoo has joined #ocaml

15:45 andreas303 has joined #ocaml

16:03 ziyourenxiang has quit [Ping timeout: 240 seconds]

16:08 narimiran_ is now known as narimiran

16:17 nicoo has quit [Remote host closed the connection]

16:18 nicoo has joined #ocaml

16:20 ravenousmoose has joined #ocaml

16:22 ggole has quit [Quit: Leaving]

16:24 ravenousmoose has quit [Ping timeout: 250 seconds]

16:31 adrien_web has quit [Remote host closed the connection]

16:33 smazga has joined #ocaml

16:47 narimiran has quit [Ping timeout: 240 seconds]

16:59 dhil has quit [Ping timeout: 240 seconds]

17:00 Haudegen has quit [Quit: Bin weg.]

17:11 q9929t has quit [Quit: q9929t]

17:12 oni-on-ion has quit [Remote host closed the connection]

17:13 <companion_cube> https://github.com/ocaml/RFCs 💞

17:17 brettgilio has quit [Ping timeout: 250 seconds]

17:18 silver has joined #ocaml

17:21 ravenousmoose has joined #ocaml

17:24 dhil has joined #ocaml

17:25 ravenousmoose has quit [Ping timeout: 252 seconds]

17:31 ollehar has quit [Ping timeout: 265 seconds]

17:31 ravenousmoose has joined #ocaml

17:35 ravenousmoose has quit [Ping timeout: 245 seconds]

17:45 dborisog has quit [Ping timeout: 240 seconds]

17:52 ravenousmoose has joined #ocaml

17:52 <companion_cube> https://travis-ci.org/ocaml-jupyter/jupyter-kernel/jobs/614645663 why does `curl` that often fail to dl packages?!

17:56 ravenousmoose has quit [Ping timeout: 250 seconds]

18:00 Haudegen has joined #ocaml

18:13 vicfred has joined #ocaml

18:19 barockobamo3 has quit [Remote host closed the connection]

18:22 vicfred has quit [Quit: Leaving]

18:32 silver has quit [Quit: rakede]

18:42 rgherdt has joined #ocaml

18:48 zolk3ri has joined #ocaml

18:49 dhil has quit [Ping timeout: 250 seconds]

18:57 ravenousmoose has joined #ocaml

18:58 vicfred has joined #ocaml

18:58 vicfred has quit [Remote host closed the connection]

18:58 vicfred has joined #ocaml

18:59 vicfred has quit [Remote host closed the connection]

19:07 vicfred has joined #ocaml

19:23 kakadu_ has joined #ocaml

19:41 brettgilio has joined #ocaml

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

19:52 jaar has quit [Ping timeout: 276 seconds]

20:00 bronsen has quit [Quit: WeeChat 2.5]

20:00 bronsen has joined #ocaml

20:10 jco has joined #ocaml

20:26 ygrek__ has joined #ocaml

20:28 bartholin has joined #ocaml

20:34 bitwinery has joined #ocaml

20:46 jco has quit [Quit: WeeChat 2.6]

20:53 jnavila has joined #ocaml

21:02 <Leonidas> companion_cube: yes, I randomly stumbled over this today and was like "hey, are we starting to copy Rust"? Niiice.

21:15 Jesin has quit [Quit: Leaving]

21:45 bitwinery has quit [Quit: Leaving]

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

21:52 nicoo has joined #ocaml

21:52 ravenousmoose has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

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

22:02 smazga has quit [Ping timeout: 240 seconds]

22:05 nicoo has quit [Ping timeout: 260 seconds]

22:05 zolk3ri has quit [Ping timeout: 260 seconds]

22:06 zolk3ri has joined #ocaml

22:07 runawayfive has quit [Ping timeout: 264 seconds]

22:07 rgherdt_ has joined #ocaml

22:07 rgherdt has quit [Read error: Connection reset by peer]

22:08 runawayfive has joined #ocaml

22:08 nicoo has joined #ocaml

22:20 Jesin has joined #ocaml

22:28 infinity0 has quit [Remote host closed the connection]

22:30 infinity0 has joined #ocaml

22:34 Guest89846 has joined #ocaml

22:38 smazga has joined #ocaml

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

22:48 smazga has quit [Ping timeout: 240 seconds]

22:49 infinity0 has quit [Remote host closed the connection]

22:51 infinity0 has joined #ocaml

22:52 ygrek__ has quit [Ping timeout: 276 seconds]

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

22:55 infinity0 has joined #ocaml

23:08 oni-on-ion has joined #ocaml

23:08 smazga has joined #ocaml

23:16 smazga has quit [Ping timeout: 240 seconds]

23:32 sagax has quit [Ping timeout: 240 seconds]

23:33 ziyourenxiang has joined #ocaml

23:40 Haudegen has quit [Ping timeout: 276 seconds]

23:53 rgherdt has joined #ocaml

23:53 rgherdt_ has quit [Read error: Connection reset by peer]