#ocaml on 2022-11-15 — irc logs at libera.irclog.whitequark.org

2022-03-30 13:11 companion_cube changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 4.14.0 released: https://ocaml.org/releases/4.14.0.html | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/

00:04 Techcable has quit [Ping timeout: 260 seconds]

00:10 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

00:17 Tuplanolla has quit [Quit: Leaving.]

02:22 keyboard has quit [Ping timeout: 260 seconds]

02:22 azimut has joined #ocaml

02:39 waleee has quit [Ping timeout: 260 seconds]

02:45 waleee has joined #ocaml

02:50 John_Ivan__ has joined #ocaml

02:55 John_Ivan_ has quit [Ping timeout: 260 seconds]

03:05 hsw_ has joined #ocaml

03:06 hsw has quit [Ping timeout: 256 seconds]

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

03:07 azimut has joined #ocaml

03:09 chrisz has quit [Ping timeout: 260 seconds]

03:11 chrisz has joined #ocaml

03:26 infinity0 has quit [Ping timeout: 252 seconds]

03:30 gwizon has joined #ocaml

03:42 terrorjack has quit [Quit: The Lounge - https://thelounge.chat]

03:44 terrorjack has joined #ocaml

04:51 mbuf has joined #ocaml

04:58 Techcable has joined #ocaml

05:21 waleee has quit [Ping timeout: 260 seconds]

05:55 rgrinberg has joined #ocaml

06:14 bgs has joined #ocaml

06:18 wingsorc has quit [Ping timeout: 240 seconds]

06:41 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

06:44 pieguy128 has quit [Quit: ZNC 1.8.2 - https://znc.in]

06:44 pieguy128 has joined #ocaml

07:00 calvnce has joined #ocaml

07:05 jao has quit [Ping timeout: 268 seconds]

07:09 bartholin has joined #ocaml

07:11 Serpent7776 has joined #ocaml

07:13 mro has joined #ocaml

07:18 bgs has quit [Remote host closed the connection]

08:13 xd1le has joined #ocaml

08:17 spip has joined #ocaml

08:17 bobo_ has quit [Ping timeout: 256 seconds]

08:19 bartholin has quit [Quit: Leaving]

08:44 Haudegen has joined #ocaml

09:15 maiste has joined #ocaml

09:16 maiste has quit [Client Quit]

09:20 mro has quit [Remote host closed the connection]

09:20 mro has joined #ocaml

09:21 dnh has joined #ocaml

09:26 olle has joined #ocaml

10:21 mro has quit [Remote host closed the connection]

10:46 Serpent7776 has quit [Quit: WeeChat 1.9.1]

10:46 Serpent7776 has joined #ocaml

10:53 neiluj has joined #ocaml

10:54 <neiluj> Hi! do you know if there is a mock library of domainslib for ocaml4 (same api for multicore ocaml, but sequential computation)?

10:55 kakadu has joined #ocaml

10:56 <sadiq> not that I'm aware of

10:57 <neiluj> all right thanks!

11:45 calvnce has quit [Quit: Client closed]

11:50 <neiluj> aha! looks like someone worked on it! https://github.com/ocaml-multicore/domainslib/compare/master...4.x

11:59 keyboard has joined #ocaml

12:06 Techcable has quit [Read error: Connection reset by peer]

12:06 infinity0 has joined #ocaml

12:14 keyboard has quit [Ping timeout: 240 seconds]

12:18 Techcable has joined #ocaml

12:18 Techcable has quit [Remote host closed the connection]

12:20 Techcable has joined #ocaml

12:20 dnh has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

12:27 Techcable has quit [Read error: Connection reset by peer]

12:49 dnh has joined #ocaml

13:00 neiluj has quit [Ping timeout: 256 seconds]

13:11 neiluj has joined #ocaml

13:12 Techcable has joined #ocaml

13:15 xgqt has quit [Ping timeout: 260 seconds]

13:16 xgqt has joined #ocaml

13:31 jao has joined #ocaml

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

14:01 mro has joined #ocaml

14:05 mro has quit [Ping timeout: 260 seconds]

14:06 John_Ivan__ has quit [Ping timeout: 268 seconds]

14:20 gwizon has quit [Quit: Lost terminal]

14:21 gwizon has joined #ocaml

14:36 Haudegen has joined #ocaml

14:37 rgrinberg has joined #ocaml

14:39 <neiluj> when would you choose to refactor a bunch of functions with a functor instead of putting some functions as argument

14:39 <neiluj> ?

14:40 <olle> neiluj: when you need a new type?

14:40 <olle> functor allows you to inject type defs

14:41 <neiluj> thanks olle! then I don't need a functor

14:42 azimut has quit [Ping timeout: 255 seconds]

14:42 <neiluj> plus I guess functor instantiation has a cost

14:42 <olle> a record can also have functions, I guess

14:43 <olle> Not sure how common that is

14:45 azimut has joined #ocaml

14:46 <neiluj> yeah, trying to write relatively clean code :)

14:46 <neiluj> yeah, worked on a project which managed dependency injection with records of functions

14:48 <olle> oh, there you go

14:48 <olle> "clean code" eh

14:50 dnh has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

14:50 dnh has joined #ocaml

14:55 sagax has quit [Ping timeout: 246 seconds]

15:01 gwizon has quit [Quit: Lost terminal]

15:03 troydm has quit [Ping timeout: 260 seconds]

15:21 azimut has quit [Remote host closed the connection]

15:24 azimut has joined #ocaml

15:26 gwizon has joined #ocaml

15:26 xd1le has quit [Quit: xd1le]

15:28 gwizon has quit [Client Quit]

15:28 gwizon has joined #ocaml

15:29 gwizon_ has joined #ocaml

15:29 gwizon has quit [Client Quit]

15:29 gwizon_ has quit [Client Quit]

15:31 gwizon has joined #ocaml

15:33 gwizon_ has joined #ocaml

15:34 gwizon_ has quit [Client Quit]

15:34 gwizon has quit [Client Quit]

15:35 gwizon has joined #ocaml

15:35 gwizon has quit [Client Quit]

15:36 gwizon has joined #ocaml

15:37 <qwr> afaik functor instantation should happen at compile time? so its cost should be static

15:37 <companion_cube> it can still create a record at runtime

15:39 <neiluj> what kind of record?

15:40 <companion_cube> a block with a field for each value in the functor's output

15:54 <octachron> functor are ordinary functions in term of semantics. Flambda does try a little harder to inline them however.

15:57 <neiluj> is it okay to duplicate a bit of similar code but work with completely different types?

15:58 <neiluj> or should strive to refactor as much as possible?

16:09 Serpent7776 has quit [Quit: WeeChat 1.9.1]

16:16 Serpent7776 has joined #ocaml

16:24 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

16:32 kakadu has quit [Quit: Konversation terminated!]

16:43 Haudegen has quit [Quit: Bin weg.]

16:50 keyboard has joined #ocaml

16:58 bartholin has joined #ocaml

17:11 <neiluj> anyways, if a code works, it works

17:11 hackinghorn has quit [Ping timeout: 240 seconds]

17:14 Tuplanolla has joined #ocaml

17:14 neiluj has quit [Quit: WeeChat 3.6]

17:16 emp has quit [Ping timeout: 246 seconds]

17:24 hackinghorn has joined #ocaml

17:25 mbuf has quit [Quit: Leaving]

17:30 keyboard has quit [Quit: keyboard]

17:44 emp has joined #ocaml

17:49 Haudegen has joined #ocaml

18:02 emp has quit [Ping timeout: 256 seconds]

18:05 bartholin has quit [Quit: Leaving]

18:09 troydm has joined #ocaml

18:11 dmbaturin has quit [Remote host closed the connection]

18:15 emp has joined #ocaml

18:17 dmbaturin has joined #ocaml

18:19 Serpent7776 has quit [Ping timeout: 240 seconds]

18:27 troydm has quit [Ping timeout: 256 seconds]

18:49 mro has joined #ocaml

18:53 mro has quit [Ping timeout: 268 seconds]

19:05 mro has joined #ocaml

19:06 mro has quit [Remote host closed the connection]

19:12 rgrinberg has joined #ocaml

19:21 dmbaturin has quit [Remote host closed the connection]

19:32 mro has joined #ocaml

19:34 mro has quit [Remote host closed the connection]

19:51 dmbaturin has joined #ocaml

19:58 waleee has joined #ocaml

19:58 wingsorc has joined #ocaml

20:16 bobo_ has joined #ocaml

20:16 spip has quit [Ping timeout: 256 seconds]

20:17 bgs has joined #ocaml

20:19 random-jellyfish has joined #ocaml

20:22 Haudegen has quit [Quit: Bin weg.]

20:56 troydm has joined #ocaml

20:57 mro has joined #ocaml

21:01 mro has quit [Remote host closed the connection]

21:02 mro has joined #ocaml

21:04 waleee has quit [Ping timeout: 260 seconds]

21:06 waleee has joined #ocaml

21:11 mro has quit [Read error: Connection reset by peer]

21:11 mro has joined #ocaml

21:50 rf has joined #ocaml

21:51 <rf> Hey folks, do you guys know how to convert a list of Yojson assocs to a json object?

21:56 <rf> Something like Yojson.Safe.t list -> Yojson.Safe.t

21:57 bartholin has joined #ocaml

22:09 <rf> Figured it out. Just had to step back and realize I can make string * Yojson.Safe.t a `Assoc

22:26 bgs has quit [Remote host closed the connection]

22:29 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

22:52 olle has quit [Ping timeout: 268 seconds]

22:53 random-jellyfish has quit [Quit: Client closed]

22:54 bartholin has quit [Quit: Leaving]

22:54 mro has quit [Quit: Leaving...]

23:07 rgrinberg has joined #ocaml