#ocaml on 2018-10-25 — irc logs at freenode.irclog.whitequark.org

2018-10-19 11:39 adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.07.1 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.07/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml | Due to ongoing spam, you must register your nickname to talk on the channel

00:14 env__ has joined #ocaml

00:29 xuanrui has joined #ocaml

00:32 env__ has quit [Ping timeout: 246 seconds]

00:44 webshinra has quit [Remote host closed the connection]

00:53 JimmyRcom has joined #ocaml

00:57 aydio has quit [Quit: WeeChat 2.2]

01:02 JimmyRcom has quit [Ping timeout: 264 seconds]

01:05 JimmyRcom has joined #ocaml

01:21 env__ has joined #ocaml

01:25 silver_ has quit [Read error: Connection reset by peer]

01:36 struktured has joined #ocaml

01:45 _whitelogger has joined #ocaml

01:51 struktured has quit [Ping timeout: 268 seconds]

02:10 JimmyRcom has quit [Ping timeout: 245 seconds]

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

02:16 tormen has joined #ocaml

02:19 tormen_ has quit [Ping timeout: 245 seconds]

03:25 struktured has joined #ocaml

03:35 JimmyRcom has joined #ocaml

03:37 al-damiri has quit [Quit: Connection closed for inactivity]

03:46 env__ has quit [Ping timeout: 246 seconds]

03:52 env__ has joined #ocaml

04:00 jao has quit [Ping timeout: 246 seconds]

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

04:25 env__ has joined #ocaml

04:34 pepesza has quit [Ping timeout: 245 seconds]

04:39 pepesza has joined #ocaml

04:39 env__ has quit [Ping timeout: 272 seconds]

04:52 env__ has joined #ocaml

05:23 rdivyanshu has joined #ocaml

05:30 pierpal has quit [Ping timeout: 252 seconds]

05:41 _andre has quit [Quit: Lost terminal]

05:41 JimmyRcom has quit [Ping timeout: 245 seconds]

05:46 JimmyRcom has joined #ocaml

05:55 pierpal has joined #ocaml

05:57 pierpal has quit [Read error: Connection reset by peer]

05:58 Haudegen has joined #ocaml

05:59 pierpal has joined #ocaml

06:04 Haudegen has quit [Remote host closed the connection]

06:16 env__ has quit [Ping timeout: 240 seconds]

06:29 env__ has joined #ocaml

06:34 env__ has quit [Ping timeout: 268 seconds]

06:41 env__ has joined #ocaml

06:52 env__ has quit [Ping timeout: 252 seconds]

06:57 sagotch has joined #ocaml

07:02 rdivyanshu has quit [Remote host closed the connection]

07:03 rdivyanshu has joined #ocaml

07:05 emily has quit [Ping timeout: 252 seconds]

07:05 orbifx1 has joined #ocaml

07:07 rdivyanshu has quit [Ping timeout: 252 seconds]

07:08 rdivyanshu has joined #ocaml

07:14 sagax_ has joined #ocaml

07:15 orbifx1 has quit [Ping timeout: 252 seconds]

07:15 rdivyanshu has quit [Ping timeout: 252 seconds]

07:17 rdivyanshu has joined #ocaml

07:18 env__ has joined #ocaml

07:22 env__ has quit [Ping timeout: 246 seconds]

07:22 struktured has quit [Ping timeout: 252 seconds]

07:31 env__ has joined #ocaml

07:35 env__ has quit [Ping timeout: 246 seconds]

07:38 MadcapJake has quit [Ping timeout: 272 seconds]

07:41 MadcapJake has joined #ocaml

07:49 env__ has joined #ocaml

07:54 env__ has quit [Ping timeout: 252 seconds]

07:55 rdivyanshu has quit []

08:02 env__ has joined #ocaml

08:07 env__ has quit [Ping timeout: 245 seconds]

08:15 JimmyRcom has quit [Ping timeout: 252 seconds]

08:15 env__ has joined #ocaml

08:19 env__ has quit [Ping timeout: 252 seconds]

08:27 nullifidian has quit [Ping timeout: 244 seconds]

08:27 env__ has joined #ocaml

08:32 env__ has quit [Ping timeout: 246 seconds]

08:33 webshinra has joined #ocaml

08:38 env__ has joined #ocaml

08:42 env__ has quit [Ping timeout: 252 seconds]

08:46 env__ has joined #ocaml

08:50 env__ has quit [Ping timeout: 250 seconds]

08:54 env__ has joined #ocaml

08:58 env__ has quit [Ping timeout: 245 seconds]

09:04 nullifidian has joined #ocaml

09:07 env__ has joined #ocaml

09:12 env__ has quit [Ping timeout: 252 seconds]

09:17 env__ has joined #ocaml

09:19 carlosdagos has quit [Quit: Connection closed for inactivity]

09:21 env__ has quit [Ping timeout: 246 seconds]

09:26 env__ has joined #ocaml

09:31 env__ has quit [Ping timeout: 272 seconds]

09:34 lambda_ has joined #ocaml

09:34 ruffy has joined #ocaml

09:35 ruffy is now known as Guest50130

09:36 Guest50130 has quit [Client Quit]

09:37 ruffy_ has joined #ocaml

09:39 env__ has joined #ocaml

09:44 env__ has quit [Ping timeout: 252 seconds]

09:53 env__ has joined #ocaml

09:54 mfp has joined #ocaml

09:57 env__ has quit [Ping timeout: 240 seconds]

10:00 env__ has joined #ocaml

10:04 env__ has quit [Ping timeout: 246 seconds]

10:06 ggole has joined #ocaml

10:07 env__ has joined #ocaml

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

10:11 env__ has quit [Ping timeout: 245 seconds]

10:16 env__ has joined #ocaml

10:19 marble_visions has quit [Quit: bye]

10:20 env__ has quit [Ping timeout: 240 seconds]

10:20 marble_visions has joined #ocaml

10:23 notnotdan has joined #ocaml

10:23 <notnotdan> Hi

10:25 <zozozo> hello

10:27 ygrek has joined #ocaml

10:31 rwmjones|EDI has quit [Ping timeout: 250 seconds]

10:34 eagleflo_ is now known as eagleflo

10:39 env__ has joined #ocaml

10:42 ygrek has quit [Ping timeout: 264 seconds]

10:43 env__ has quit [Ping timeout: 246 seconds]

10:45 jbrown has quit [Ping timeout: 252 seconds]

10:51 env__ has joined #ocaml

10:55 env__ has quit [Ping timeout: 245 seconds]

11:03 env__ has joined #ocaml

11:07 env__ has quit [Ping timeout: 245 seconds]

11:14 env__ has joined #ocaml

11:18 env__ has quit [Ping timeout: 252 seconds]

11:25 silver has joined #ocaml

11:29 env__ has joined #ocaml

11:30 ShalokShalom has joined #ocaml

11:33 env__ has quit [Ping timeout: 244 seconds]

11:36 jbrown has joined #ocaml

11:43 env__ has joined #ocaml

11:45 jbrown has quit [Ping timeout: 264 seconds]

11:46 freyr69 has joined #ocaml

11:47 env__ has quit [Ping timeout: 240 seconds]

11:53 <notnotdan> So I have a question about concurrency libraries for OCaml. I am translating some code from async to Lwt.

11:53 remix2000 has joined #ocaml

11:53 <notnotdan> Am I correct in understanding that async includes networking capabilities by default, but for Lwt you have to use an external library, such as conduit?

11:58 env__ has joined #ocaml

11:59 lambda_ has quit [Ping timeout: 252 seconds]

12:02 env__ has quit [Ping timeout: 252 seconds]

12:09 JimmyRcom has joined #ocaml

12:12 <notnotdan> What I mean is that in async it's very easy to make a simple request: https://ocaml.janestreet.com/ocaml-core/latest/doc/async_extra/Async_extra/Tcp/#val-with_connection but with Lwt I had to produce quite some boilerplate, which took me a lot of time to figure out: https://gist.github.com/co-dan/b5b1019afc3363eaf2e8d987c185de07

12:12 <notnotdan> I am just wondereing if I am doing something wrong here

12:12 env__ has joined #ocaml

12:15 <engil> notnotdan: you need to use Lwt_unix

12:15 <engil> no need for conduit

12:16 env__ has quit [Ping timeout: 245 seconds]

12:27 env__ has joined #ocaml

12:29 <notnotdan> OK, I will take a look at that module

12:32 env__ has quit [Ping timeout: 268 seconds]

12:34 <notnotdan> engil: so, for resolution I need to use Lwt_unix.gethostbyname and then construct ADDR_INET out of it and then use Lwt_io functions like Lwt_io.with_connection?

12:41 env__ has joined #ocaml

12:42 pierpal has joined #ocaml

12:42 Guest99354 has joined #ocaml

12:45 env__ has quit [Ping timeout: 252 seconds]

12:46 jao has joined #ocaml

12:49 env__ has joined #ocaml

12:51 JimmyRcom has quit [Ping timeout: 252 seconds]

12:53 env__ has quit [Ping timeout: 252 seconds]

12:58 spew has joined #ocaml

13:00 env__ has joined #ocaml

13:04 env__ has quit [Ping timeout: 272 seconds]

13:06 struktured has joined #ocaml

13:09 env__ has joined #ocaml

13:14 env__ has quit [Ping timeout: 268 seconds]

13:14 maufred has quit [Quit: WeeChat 2.2]

13:14 maufred has joined #ocaml

13:16 env__ has joined #ocaml

13:18 averell has quit [Quit: .]

13:19 ygrek has joined #ocaml

13:20 env__ has quit [Ping timeout: 250 seconds]

13:23 rwmjones has joined #ocaml

13:27 averell has joined #ocaml

13:39 env__ has joined #ocaml

13:42 slamzy has joined #ocaml

13:44 env__ has quit [Ping timeout: 246 seconds]

13:49 struktured has quit [Quit: Konversation terminated!]

13:50 env__ has joined #ocaml

13:51 MadcapJake has quit [Quit: MadcapJake]

13:52 MadcapJake has joined #ocaml

13:55 env__ has quit [Ping timeout: 246 seconds]

13:55 MadcapJake has quit [Client Quit]

13:56 MadcapJake has joined #ocaml

13:57 env__ has joined #ocaml

14:01 env__ has quit [Ping timeout: 268 seconds]

14:03 slamzy has quit [Remote host closed the connection]

14:05 env__ has joined #ocaml

14:07 pierpal has quit [Ping timeout: 252 seconds]

14:09 env__ has quit [Ping timeout: 268 seconds]

14:12 _andre has joined #ocaml

14:16 env__ has joined #ocaml

14:21 env__ has quit [Ping timeout: 246 seconds]

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

14:34 xorpse_ is now known as xorpse

14:35 B78lhky7 has joined #ocaml

14:36 env__ has joined #ocaml

14:37 B78lhky7 has left #ocaml [#ocaml]

14:38 pvaibhav has joined #ocaml

14:38 pvaibhav has left #ocaml [#ocaml]

14:39 pvaibhav has joined #ocaml

14:40 <pvaibhav> hi all, what is the recommended way to compare / test equality of user-defined variant types, after opening Base or Containers (which hide the polymorphic = operator)? I couldn’t find clear simple answer by searching on google.

14:41 env__ has quit [Ping timeout: 240 seconds]

14:41 emily has joined #ocaml

14:41 <pvaibhav> e.g.: type planet = Sun | Moon | Earth; writing Sun = Sun or Sun = Moon doesn’t work

14:41 <companion_cube> writing a custom equality function

14:41 <companion_cube> short term: Pervasives.(=)

14:41 <companion_cube> long term: writing planet_equal by yourself or using ppx_deriving

14:43 <pvaibhav> companion_cube: thanks. writing a custom equality for variants with 20-30 constructors (e.g. constellation names) is cumbersome. So ppx_deriving is considered good practice in ocaml community?

14:43 <pvaibhav> asking because at some point I also want to target e.g. javascript, so wondering what is the best/most portable way

14:43 <thizanne> ppx deriving will simply generate that custom equality for you

14:44 <thizanne> it will work well with javascript generation

14:44 <companion_cube> ppx deriving is not really related to whatever you target , it comes much earlier in the compilation toolchain :)

14:44 <pvaibhav> i see. that sounds good

14:45 env__ has joined #ocaml

14:49 env__ has quit [Ping timeout: 245 seconds]

14:52 env__ has joined #ocaml

14:53 <ggole> chaotic neutral option: Pervasives.(==)

14:54 <ggole> (Don't do that, it only works for this case by accident.)

14:54 sagax_ has quit [Quit: Konversation terminated!]

14:56 env__ has quit [Ping timeout: 245 seconds]

15:02 env__ has joined #ocaml

15:05 al-damiri has joined #ocaml

15:07 env__ has quit [Ping timeout: 246 seconds]

15:08 <lyxia> I would argue that's actually evil.

15:13 pierpal has joined #ocaml

15:20 frefity has joined #ocaml

15:23 <pvaibhav> thanks everyone, I installed ppx_deriving, added to my .merlin and even code completion for the auto-generated function works perfectly in VScode 😁

15:24 pierpal has quit [Quit: Poof]

15:24 pierpal has joined #ocaml

15:28 env__ has joined #ocaml

15:33 env__ has quit [Ping timeout: 240 seconds]

15:45 aydio has joined #ocaml

16:00 aydio has quit [Quit: WeeChat 2.2]

16:06 aydio has joined #ocaml

16:07 err0ne has quit [Disconnected by services]

16:08 err0ne has joined #ocaml

16:12 sagotch has quit [Quit: Leaving.]

16:26 aydio has quit [Quit: WeeChat 2.2]

16:27 pierpal has quit [Ping timeout: 240 seconds]

16:31 pierpal has joined #ocaml

16:32 aydio has joined #ocaml

16:42 erkin has joined #ocaml

16:56 bartholin has joined #ocaml

16:59 <Leonidas> pvaibhav: isn't your .merlin file generated by dune?

16:59 <pvaibhav> no I’m not using any build system (yet)… just utop (+ocamlbuild)

17:00 <Leonidas> well, that is also a build system

17:00 <Leonidas> ocamlbuild, not utop

17:00 <pvaibhav> yes :) but I only ever run ocamlbuild so that merlin will find my other source files

17:01 <pvaibhav> I’m only experimenting with some math algorithms .. project has only 2 files

17:04 ygrek has quit [Remote host closed the connection]

17:06 fraxamo has joined #ocaml

17:10 <pvaibhav> Leonidas: thanks for the tip, using Dune was no more work than writing .merlin myself.

17:18 pierpal has quit [Read error: Connection reset by peer]

17:19 <Leonidas> pvaibhav: also has the advantage that the merlin file now stays up to date with what your compiler is going to use

17:19 Guest99354 has quit [Remote host closed the connection]

17:20 Haudegen has joined #ocaml

17:20 <pvaibhav> yes. only problem is it’s now hardcoding all the paths into the .merlin file, so I can’t check it into the repo and have to rely on dune to regenerate it on a fresh clone

17:21 <Leonidas> yeah, never check in .merlin files. There is also no purpose to checking them in

17:21 <Leonidas> I think there was some discussion of avoiding merlin files for configuration altogether, so merlin would get the information from some other place but I don't know where that effort went

17:28 <pvaibhav> i think autogenerating is totally fine. In the C++ world the build tool generates a “compile_commands.json” file with similar info

17:29 env__ has joined #ocaml

17:30 pvaibhav has left #ocaml [#ocaml]

17:31 pvaibhav has joined #ocaml

17:32 apostolis has joined #ocaml

17:33 <apostolis> hello, is there a way to turn a string into format4? Scanf.from_string produces format6.

17:35 <ggole> format4 is just a specialisation of format6

17:35 <ggole> type ('a, 'b, 'c, 'd) format4 = ('a, 'b, 'c, 'c, 'c, 'd) format6

17:36 <apostolis> yes, I was expecting that from_string would return format6 that is compatible with format4.

17:38 env__ has quit [Ping timeout: 252 seconds]

17:39 <ggole> You're using Scanf.format_from_string, right?

17:40 <apostolis> yes

17:40 <ggole> It takes a second argument that indicates the type. You can just use a format4 for that.

17:40 <ggole> eg, Scanf.format_from_string "%d" ("%d" : _ format4)

17:40 <apostolis> I am probably doing something stupid. Let me check.

17:41 <apostolis> I have to put it into Logs.info.

17:42 xuanrui has quit [Remote host closed the connection]

17:52 webshinra has quit [Remote host closed the connection]

17:54 pvaibhav has quit [Ping timeout: 240 seconds]

17:55 slamzy has joined #ocaml

17:58 Haudegen has quit [Remote host closed the connection]

18:09 pvaibhav has joined #ocaml

18:09 pvaibhav has quit [Client Quit]

18:10 <apostolis> Yep. thanks ggole

18:10 * ggole nods

18:11 kakadu_ has joined #ocaml

18:24 env__ has joined #ocaml

18:50 ggole has quit [Quit: ggole]

18:51 fraxamo has quit [Quit: Leaving]

18:52 pierpal has joined #ocaml

19:04 apostolis has quit [Quit: WeeChat 1.6]

19:25 benizac has left #ocaml [#ocaml]

19:32 zolk3ri has joined #ocaml

19:34 pierpal has quit [Ping timeout: 240 seconds]

19:48 zolk3ri has quit [Quit: Lost terminal]

19:55 gareppa has joined #ocaml

19:57 gareppa has quit [Remote host closed the connection]

19:59 gareppa has joined #ocaml

20:01 gareppa has quit [Remote host closed the connection]

20:03 GreyFaceNoSpace has joined #ocaml

20:54 gareppa has joined #ocaml

21:13 oni-on-ion has quit [Ping timeout: 250 seconds]

21:14 spew has quit [Quit: going home]

21:21 gareppa has quit [Quit: Leaving]

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

21:40 gareppa has joined #ocaml

21:42 gareppa has quit [Client Quit]

21:54 kakadu_ has quit [Remote host closed the connection]

22:04 nullifidian_ has joined #ocaml

22:08 nullifidian has quit [Ping timeout: 260 seconds]

22:13 orbifx1 has joined #ocaml

22:15 kjak has joined #ocaml

22:18 env__ has quit [Ping timeout: 246 seconds]

22:32 orbifx1 has quit [Ping timeout: 252 seconds]

22:34 aydio has quit [Quit: WeeChat 2.2]

22:50 aydio has joined #ocaml

23:03 env__ has joined #ocaml

23:06 so has quit [Ping timeout: 246 seconds]

23:06 carlosdagos has joined #ocaml

23:10 pierpa has joined #ocaml

23:10 so has joined #ocaml

23:34 erkin has quit [Remote host closed the connection]

23:36 aydio has quit [Ping timeout: 264 seconds]