#ocaml on 2025-01-02 — irc logs at libera.irclog.whitequark.org

2024-05-29 14:49 companion_cube changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 5.2.0 released: https://ocaml.org/releases/5.2.0 | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/

00:00 accordvenom has joined #ocaml

00:09 accordvenom has quit [Read error: Connection reset by peer]

00:09 accordvenom has joined #ocaml

00:19 accordvenom has quit [Read error: Connection reset by peer]

00:25 accordve1om has joined #ocaml

00:29 accordve1om has quit [Read error: Connection reset by peer]

00:29 rgrinberg has quit [Quit: My Unrecognized Mac has gone to sleep. ZZZzzz…]

00:35 accordvenom has joined #ocaml

00:36 agentcasey has quit [Ping timeout: 252 seconds]

00:39 accordvenom has quit [Read error: Connection reset by peer]

00:44 accordve1om has joined #ocaml

00:49 accordve1om has quit [Read error: Connection reset by peer]

00:49 accordvenom has joined #ocaml

01:08 agentcasey has joined #ocaml

01:09 accordvenom has quit [Read error: Connection reset by peer]

01:14 accordvenom has joined #ocaml

01:21 myrkraverk has quit [Read error: Connection reset by peer]

01:22 myrkraverk has joined #ocaml

01:23 myrkraverk_ has joined #ocaml

01:27 myrkraverk has quit [Ping timeout: 265 seconds]

01:29 accordvenom has quit [Read error: Connection reset by peer]

01:34 accordvenom has joined #ocaml

01:39 accordvenom has quit [Read error: Connection reset by peer]

01:42 Tuplanolla has quit [Quit: Leaving.]

01:45 accordve1om has joined #ocaml

01:49 accordve1om has quit [Read error: Connection reset by peer]

01:55 accordve1om has joined #ocaml

02:02 myrkraverk__ has joined #ocaml

02:03 myrkraverk_ has quit [Read error: Connection reset by peer]

02:03 myrkraverk_ has joined #ocaml

02:03 myrkraverk__ has quit [Read error: Connection reset by peer]

02:09 accordve1om has quit [Read error: Connection reset by peer]

02:15 accordvenom has joined #ocaml

02:29 accordvenom has quit [Read error: Connection reset by peer]

02:29 accordvenom has joined #ocaml

02:39 accordvenom has quit [Read error: Connection reset by peer]

02:42 chrisz has quit [Ping timeout: 265 seconds]

02:43 chrisz has joined #ocaml

02:45 accordvenom has joined #ocaml

02:49 accordvenom has quit [Read error: Connection reset by peer]

02:54 accordvenom has joined #ocaml

02:59 accordvenom has quit [Read error: Connection reset by peer]

03:03 ygrek has quit [Remote host closed the connection]

03:05 accordvenom has joined #ocaml

03:09 accordvenom has quit [Read error: Connection reset by peer]

03:15 accordve1om has joined #ocaml

03:29 accordve1om has quit [Read error: Connection reset by peer]

03:34 accordvenom has joined #ocaml

03:39 accordvenom has quit [Read error: Connection reset by peer]

03:45 accordve1om has joined #ocaml

03:49 accordve1om has quit [Read error: Connection reset by peer]

03:55 accordvenom has joined #ocaml

04:02 qrpnxz has quit [Ping timeout: 246 seconds]

04:03 mbuf has joined #ocaml

04:25 qrpnxz has joined #ocaml

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

04:25 qrpnxz is now known as Guest8602

04:29 accordvenom has quit [Read error: Connection reset by peer]

04:35 accordvenom has joined #ocaml

04:38 agentcasey has quit [Ping timeout: 252 seconds]

04:49 accordvenom has quit [Read error: Connection reset by peer]

04:49 accordvenom has joined #ocaml

04:58 <discocaml_> <functionalprogramming> Is creating a lot of `Lwt.return`'s for the purpose of nice chaining within the "Lwt monad" bad for performance?

04:59 <discocaml_> <.korven.> shouldn't be, you're just writing monadic code 🤔

04:59 accordvenom has quit [Read error: Connection reset by peer]

04:59 agentcasey has joined #ocaml

05:02 <discocaml_> <functionalprogramming> Yeah.. just wondering if that creates closures etc.

05:02 <discocaml_> <functionalprogramming> not sure how Lwt works under the hood

05:05 accordvenom has joined #ocaml

05:08 <discocaml_> <functionalprogramming> https://discuss.ocaml.org/t/how-to-structure-result-lwt-code-to-avoid-nesting-hell/8013/7

05:08 <discocaml_> <functionalprogramming> i am running into this exact issue lol

05:09 accordvenom has quit [Read error: Connection reset by peer]

05:13 agentcasey has quit [Ping timeout: 252 seconds]

05:14 accordve1om has joined #ocaml

05:17 <discocaml_> <yawaramin> hopefully Eio will fix this once and for all

05:29 accordve1om has quit [Read error: Connection reset by peer]

05:29 accordve1om has joined #ocaml

05:39 accordve1om has quit [Read error: Connection reset by peer]

05:45 accordve1om has joined #ocaml

05:49 accordve1om has quit [Read error: Connection reset by peer]

05:55 accordve1om has joined #ocaml

05:59 accordve1om has quit [Read error: Connection reset by peer]

06:04 accordvenom has joined #ocaml

06:06 YuGiOhJCJ has quit [Quit: YuGiOhJCJ]

06:09 accordvenom has quit [Read error: Connection reset by peer]

06:15 accordve1om has joined #ocaml

06:29 accordve1om has quit [Read error: Connection reset by peer]

06:35 accordve1om has joined #ocaml

06:39 accordve1om has quit [Read error: Connection reset by peer]

06:44 accordvenom has joined #ocaml

06:49 accordvenom has quit [Read error: Connection reset by peer]

06:55 accordvenom has joined #ocaml

06:59 accordvenom has quit [Read error: Connection reset by peer]

07:04 accordvenom has joined #ocaml

07:09 accordvenom has quit [Read error: Connection reset by peer]

07:15 accordvenom has joined #ocaml

07:15 <discocaml_> <.korven.> i hope so too, although it can be alot sometimes 🫠

07:19 accordvenom has quit [Read error: Connection reset by peer]

07:25 accordvenom has joined #ocaml

07:26 agentcasey has joined #ocaml

07:49 accordvenom has quit [Read error: Connection reset by peer]

07:50 <discocaml_> <darrenldl> vaguely recall lwt.return just marks the result ready and put it in the mailbox array/whatever, so shouldnt be expensive

07:54 accordvenom has joined #ocaml

07:59 accordvenom has quit [Read error: Connection reset by peer]

08:04 nirvdrum has quit [Quit: The Lounge - https://thelounge.chat]

08:05 accordvenom has joined #ocaml

08:09 accordvenom has quit [Read error: Connection reset by peer]

08:15 accordve1om has joined #ocaml

08:19 accordve1om has quit [Read error: Connection reset by peer]

08:24 accordvenom has joined #ocaml

08:29 accordvenom has quit [Read error: Connection reset by peer]

08:35 accordve1om has joined #ocaml

08:35 Guest8602 has quit [Quit: WeeChat 3.8]

08:39 accordve1om has quit [Read error: Connection reset by peer]

08:44 accordve1om has joined #ocaml

08:49 accordve1om has quit [Read error: Connection reset by peer]

08:55 accordve1om has joined #ocaml

08:59 accordve1om has quit [Read error: Connection reset by peer]

09:02 bartholin has joined #ocaml

09:05 accordvenom has joined #ocaml

09:09 accordvenom has quit [Read error: Connection reset by peer]

09:10 accordvenom has joined #ocaml

09:19 accordvenom has quit [Read error: Connection reset by peer]

09:24 accordvenom has joined #ocaml

09:29 accordvenom has quit [Read error: Connection reset by peer]

09:35 accordvenom has joined #ocaml

09:39 accordvenom has quit [Read error: Connection reset by peer]

09:40 pi3ce has joined #ocaml

09:44 accordvenom has joined #ocaml

09:49 accordvenom has quit [Read error: Connection reset by peer]

09:55 accordvenom has joined #ocaml

09:56 Tuplanolla has joined #ocaml

09:59 accordvenom has quit [Read error: Connection reset by peer]

10:05 accordve1om has joined #ocaml

10:09 accordve1om has quit [Read error: Connection reset by peer]

10:09 rgrinberg has joined #ocaml

10:10 accordvenom has joined #ocaml

10:14 rgrinberg has quit [Ping timeout: 272 seconds]

10:22 steenuil has quit [Remote host closed the connection]

10:23 steenuil has joined #ocaml

10:39 accordvenom has quit [Read error: Connection reset by peer]

10:44 rgrinberg has joined #ocaml

10:44 accordvenom has joined #ocaml

10:54 zenmov has joined #ocaml

10:59 accordvenom has quit [Read error: Connection reset by peer]

10:59 accordvenom has joined #ocaml

11:09 accordvenom has quit [Read error: Connection reset by peer]

11:15 accordvenom has joined #ocaml

11:19 accordvenom has quit [Read error: Connection reset by peer]

11:20 accordvenom has joined #ocaml

11:26 patrick_ is now known as patrick

11:29 accordvenom has quit [Read error: Connection reset by peer]

11:35 accordvenom has joined #ocaml

11:42 Haudegen has joined #ocaml

11:42 Serpent7776 has joined #ocaml

11:46 rgrinberg has quit [Ping timeout: 272 seconds]

11:49 accordvenom has quit [Read error: Connection reset by peer]

11:54 accordvenom has joined #ocaml

11:59 accordvenom has quit [Read error: Connection reset by peer]

12:05 accordvenom has joined #ocaml

12:09 olle has joined #ocaml

12:19 accordvenom has quit [Read error: Connection reset by peer]

12:25 accordvenom has joined #ocaml

12:39 accordvenom has quit [Read error: Connection reset by peer]

12:44 accordvenom has joined #ocaml

12:49 accordvenom has quit [Read error: Connection reset by peer]

12:55 accordvenom has joined #ocaml

12:59 accordvenom has quit [Read error: Connection reset by peer]

13:04 accordvenom has joined #ocaml

13:09 accordvenom has quit [Read error: Connection reset by peer]

13:15 accordvenom has joined #ocaml

13:19 accordvenom has quit [Read error: Connection reset by peer]

13:25 accordvenom has joined #ocaml

13:25 chiselfuse has quit [Remote host closed the connection]

13:26 chiselfuse has joined #ocaml

13:29 accordvenom has quit [Read error: Connection reset by peer]

13:30 accordvenom has joined #ocaml

13:39 accordvenom has quit [Read error: Connection reset by peer]

13:44 accordvenom has joined #ocaml

13:49 accordvenom has quit [Read error: Connection reset by peer]

13:55 accordve1om has joined #ocaml

13:56 alexherbo2 has joined #ocaml

13:58 olle has quit [Ping timeout: 260 seconds]

13:59 accordve1om has quit [Read error: Connection reset by peer]

14:04 accordvenom has joined #ocaml

14:09 accordvenom has quit [Read error: Connection reset by peer]

14:10 zenmov has quit [Ping timeout: 252 seconds]

14:12 zenmov has joined #ocaml

14:15 accordve1om has joined #ocaml

14:19 accordve1om has quit [Read error: Connection reset by peer]

14:25 accordvenom has joined #ocaml

14:36 <Tuplanolla> Okay, I switched the `odig` theme to `odig.gruvbox.dark` and reported the accessibility issue.

14:37 patrick has quit [Changing host]

14:37 patrick_ has joined #ocaml

14:39 accordvenom has quit [Read error: Connection reset by peer]

14:44 mbuf has quit [Quit: Leaving]

14:44 accordvenom has joined #ocaml

14:49 accordvenom has quit [Read error: Connection reset by peer]

14:55 accordve1om has joined #ocaml

14:59 accordve1om has quit [Read error: Connection reset by peer]

15:05 accordvenom has joined #ocaml

15:26 <discocaml_> <yawaramin> i don't see it https://github.com/ocaml/odoc/issues

15:26 <Tuplanolla> Oh, it went here. https://github.com/b0-system/odig/issues

15:28 alexherbo2 has quit [Remote host closed the connection]

15:28 <discocaml_> <yawaramin> oh that's funny. the odoc dark theme also has contrast issues

15:29 accordvenom has quit [Read error: Connection reset by peer]

15:34 accordvenom has joined #ocaml

15:39 accordvenom has quit [Read error: Connection reset by peer]

15:44 alexherbo2 has joined #ocaml

15:45 accordve1om has joined #ocaml

15:47 <Tuplanolla> By looking at the directories, it seems that `odig` uses `odoc` themes directly. Perhaps I filed the issue in the wrong place. I don't know. Hopefully the feedback will find its way.

15:49 accordve1om has quit [Read error: Connection reset by peer]

15:55 accordvenom has joined #ocaml

15:59 accordvenom has quit [Read error: Connection reset by peer]

16:04 accordvenom has joined #ocaml

16:04 alexherbo2 has quit [Remote host closed the connection]

16:09 accordvenom has quit [Read error: Connection reset by peer]

16:15 accordvenom has joined #ocaml

16:19 accordvenom has quit [Read error: Connection reset by peer]

16:19 alexherbo2 has joined #ocaml

16:20 accordvenom has joined #ocaml

16:29 accordvenom has quit [Read error: Connection reset by peer]

16:34 accordvenom has joined #ocaml

16:39 accordvenom has quit [Read error: Connection reset by peer]

16:45 accordve1om has joined #ocaml

16:49 accordve1om has quit [Read error: Connection reset by peer]

16:51 alexherbo2 has quit [Remote host closed the connection]

16:51 alexherbo2 has joined #ocaml

16:55 accordvenom has joined #ocaml

17:01 ygrek has joined #ocaml

17:09 accordvenom has quit [Read error: Connection reset by peer]

17:09 accordvenom has joined #ocaml

17:19 accordvenom has quit [Read error: Connection reset by peer]

17:19 Serpent7776 has quit [Ping timeout: 276 seconds]

17:25 accordve1om has joined #ocaml

17:25 alexherbo2 has quit [Remote host closed the connection]

17:29 accordve1om has quit [Read error: Connection reset by peer]

17:35 accordvenom has joined #ocaml

17:59 accordvenom has quit [Read error: Connection reset by peer]

18:04 accordvenom has joined #ocaml

18:09 accordvenom has quit [Read error: Connection reset by peer]

18:15 accordve1om has joined #ocaml

18:19 accordve1om has quit [Read error: Connection reset by peer]

18:25 accordve1om has joined #ocaml

18:29 accordve1om has quit [Read error: Connection reset by peer]

18:29 zenmov has quit [Ping timeout: 252 seconds]

18:34 accordve1om has joined #ocaml

18:39 accordve1om has quit [Read error: Connection reset by peer]

18:45 accordve1om has joined #ocaml

18:49 accordve1om has quit [Read error: Connection reset by peer]

18:55 accordve1om has joined #ocaml

19:01 Anarchos has joined #ocaml

19:09 accordve1om has quit [Read error: Connection reset by peer]

19:14 accordvenom has joined #ocaml

19:19 accordvenom has quit [Read error: Connection reset by peer]

19:25 accordve1om has joined #ocaml

19:27 Serpent7776 has joined #ocaml

19:29 accordve1om has quit [Read error: Connection reset by peer]

19:35 accordve1om has joined #ocaml

19:39 accordve1om has quit [Read error: Connection reset by peer]

19:40 accordve1om has joined #ocaml

19:49 accordve1om has quit [Read error: Connection reset by peer]

19:54 Anarchos has quit [Quit: Vision[]: i've been blurred!]

19:54 accordve1om has joined #ocaml

19:57 Anarchos has joined #ocaml

19:59 accordve1om has quit [Read error: Connection reset by peer]

20:01 Anarchos has quit [Client Quit]

20:05 accordve1om has joined #ocaml

20:09 accordve1om has quit [Read error: Connection reset by peer]

20:10 Anarchos has joined #ocaml

20:15 accordve1om has joined #ocaml

20:29 accordve1om has quit [Read error: Connection reset by peer]

20:31 Anarchos has quit [Quit: Vision[]: i've been blurred!]

20:34 accordvenom has joined #ocaml

20:39 accordvenom has quit [Read error: Connection reset by peer]

20:45 accordve1om has joined #ocaml

20:49 accordve1om has quit [Read error: Connection reset by peer]

20:55 accordve1om has joined #ocaml

21:09 accordve1om has quit [Read error: Connection reset by peer]

21:14 accordvenom has joined #ocaml

21:14 Anarchos has joined #ocaml

21:19 accordvenom has quit [Read error: Connection reset by peer]

21:25 accordvenom has joined #ocaml

21:29 accordvenom has quit [Read error: Connection reset by peer]

21:29 rgrinberg has joined #ocaml

21:30 dh` has quit [Read error: Connection reset by peer]

21:32 dh` has joined #ocaml

21:34 accordvenom has joined #ocaml

21:39 accordvenom has quit [Read error: Connection reset by peer]

21:45 accordvenom has joined #ocaml

21:49 accordvenom has quit [Read error: Connection reset by peer]

21:55 accordve1om has joined #ocaml

22:09 accordve1om has quit [Read error: Connection reset by peer]

22:14 accordvenom has joined #ocaml

22:19 accordvenom has quit [Read error: Connection reset by peer]

22:22 Serpent7776 has quit [Ping timeout: 252 seconds]

22:25 accordve1om has joined #ocaml

22:29 accordve1om has quit [Read error: Connection reset by peer]

22:30 Anarchos has quit [Quit: Vision[]: i've been blurred!]

22:35 accordvenom has joined #ocaml

22:49 accordvenom has quit [Read error: Connection reset by peer]

22:49 accordvenom has joined #ocaml

22:59 accordvenom has quit [Read error: Connection reset by peer]

23:00 ygrek has quit [Remote host closed the connection]

23:00 bartholin has quit [Quit: Leaving]

23:05 accordvenom has joined #ocaml

23:07 rgrinberg has quit [Quit: My Unrecognized Mac has gone to sleep. ZZZzzz…]

23:09 accordvenom has quit [Read error: Connection reset by peer]

23:14 accordve1om has joined #ocaml

23:17 chiselfuse has quit [Remote host closed the connection]

23:18 chiselfuse has joined #ocaml

23:19 accordve1om has quit [Read error: Connection reset by peer]

23:19 accordvenom has joined #ocaml

23:21 rgrinberg has joined #ocaml

23:29 accordvenom has quit [Read error: Connection reset by peer]

23:35 accordve1om has joined #ocaml

23:37 <discocaml_> <functionalprogramming> do u also need `dune-project` at a minimum

23:37 rgrinberg has quit [Quit: My Unrecognized Mac has gone to sleep. ZZZzzz…]

23:39 accordve1om has quit [Read error: Connection reset by peer]

23:44 <discocaml_> <yawaramin> see https://dune.build/

23:45 accordvenom has joined #ocaml

23:49 accordvenom has quit [Read error: Connection reset by peer]

23:54 accordvenom has joined #ocaml

23:59 accordvenom has quit [Read error: Connection reset by peer]