#ocaml on 2025-08-16 — irc logs at libera.catirclogs.org

2025-07-07 16:51 companion_cube changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 5.3.0 released: https://ocaml.org/releases/5.3.0 | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/

00:04 <darklambda> exit

00:04 darklambda has quit [Quit: leaving]

00:21 Anarchos has quit [Quit: Vision[]: i've been blurred!]

00:24 <discocaml> <Kali> classic shell window-irc window mixup

00:27 <discocaml> <yawaramin> ZZ

02:31 collide2954 has joined #ocaml

02:46 casastortaAway has quit [Ping timeout: 260 seconds]

02:59 <discocaml> <yawaramin> OCaml website is down

03:05 wingsorc has quit [Quit: Leaving]

03:05 Haudegen has quit [Quit: Bin weg.]

03:49 casastortaAway has joined #ocaml

04:31 hazelmeow has quit [Server closed connection]

04:31 hazelmeow has joined #ocaml

04:45 casastorta has quit [Ping timeout: 245 seconds]

04:48 euphores has joined #ocaml

04:58 euphores has quit [Quit: Leaving.]

04:59 YuGiOhJCJ has joined #ocaml

05:17 euphores has joined #ocaml

05:43 casastorta has joined #ocaml

06:00 myrkraverk has joined #ocaml

06:03 myrkraverk_ has quit [Ping timeout: 255 seconds]

06:19 marijanp has joined #ocaml

06:36 bartholin has joined #ocaml

06:38 myrkraverk_ has joined #ocaml

06:41 myrkraverk has quit [Ping timeout: 244 seconds]

06:54 myrkraverk has joined #ocaml

06:57 myrkraverk_ has quit [Ping timeout: 244 seconds]

07:19 myrkraverk_ has joined #ocaml

07:21 Anarchos has joined #ocaml

07:22 myrkraverk has quit [Ping timeout: 244 seconds]

07:33 Serpent7776 has joined #ocaml

07:33 Tuplanolla has joined #ocaml

07:36 myrkraverk has joined #ocaml

07:39 myrkraverk_ has quit [Ping timeout: 252 seconds]

07:50 myrkraverk_ has joined #ocaml

07:53 myrkraverk has quit [Ping timeout: 272 seconds]

07:57 myrkraverk has joined #ocaml

08:00 myrkraverk_ has quit [Ping timeout: 252 seconds]

08:11 olle has joined #ocaml

08:15 Serpent7776 has quit [Ping timeout: 244 seconds]

08:20 myrkraverk_ has joined #ocaml

08:23 myrkraverk has quit [Ping timeout: 252 seconds]

08:28 myrkraverk has joined #ocaml

08:30 myrkraverk_ has quit [Ping timeout: 244 seconds]

08:40 olle has quit [Ping timeout: 245 seconds]

08:52 myrkraverk_ has joined #ocaml

08:55 myrkraverk has quit [Ping timeout: 260 seconds]

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

09:09 myrkraverk has joined #ocaml

09:12 myrkraverk_ has quit [Ping timeout: 244 seconds]

09:16 <discocaml> <froyo> I'm so used to ^D these days

09:26 Anarchos has quit [Quit: Vision[]: i've been blurred!]

09:33 vbramselaar has joined #ocaml

09:42 Anarchos has joined #ocaml

09:42 marijanp has left #ocaml [#ocaml]

09:46 marijanp has joined #ocaml

09:49 myrkraverk_ has joined #ocaml

09:51 myrkraverk has quit [Ping timeout: 244 seconds]

10:01 marijanp has left #ocaml [#ocaml]

10:04 marijanp has joined #ocaml

10:10 marijanp has left #ocaml [#ocaml]

10:11 myrkraverk has joined #ocaml

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

10:27 myrkraverk_ has joined #ocaml

10:30 myrkraverk has quit [Ping timeout: 244 seconds]

10:44 myrkraverk has joined #ocaml

10:47 myrkraverk_ has quit [Ping timeout: 252 seconds]

10:56 Serpent7776 has joined #ocaml

11:16 tremon has joined #ocaml

11:18 toastal has quit [Ping timeout: 276 seconds]

11:24 olle has joined #ocaml

11:37 toastal has joined #ocaml

11:42 marijanp has joined #ocaml

11:52 gareppa has joined #ocaml

11:59 Haudegen has joined #ocaml

12:03 oisota has quit [Quit: Ping timeout (120 seconds)]

12:03 oisota has joined #ocaml

12:07 YuGiOhJCJ has quit [Quit: YuGiOhJCJ]

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

13:32 gareppa has quit [Quit: WeeChat 4.5.1]

13:33 gareppa has joined #ocaml

13:42 olle has quit [Ping timeout: 272 seconds]

14:07 <discocaml> <yawaramin> it's up

14:27 myrkraverk_ has joined #ocaml

14:29 myrkraverk has quit [Ping timeout: 260 seconds]

14:56 myrkraverk has joined #ocaml

14:59 myrkraverk_ has quit [Ping timeout: 244 seconds]

15:09 <discocaml> <zarakshr> is merlin support for toplevel directives coming anytime soon?

15:09 myrkraverk_ has joined #ocaml

15:10 <discocaml> <zarakshr> at least on vim, I get a syntax error on using `#use "topfind"` `#require "..."`

15:10 <discocaml> <zarakshr> I imagine this is something that is planned because the work around I found involved `+I compiler-libs` and using `Findlib` manually

15:11 myrkraverk has quit [Ping timeout: 244 seconds]

15:12 <discocaml> <yawaramin> see #editor-support

15:13 <discocaml> <shalokshalom> I wonder, if "data classes a la carte" is a popular pattern for OCaml programmers?

15:13 <discocaml> <shalokshalom> I am assuming, you could implement that easily with the module system.

15:13 <discocaml> <shalokshalom> https://www.cambridge.org/core/services/aop-cambridge-core/content/view/14416CB20C4637164EA9F77097909409/S0956796808006758a.pdf/data-types-a-la-carte.pdf

15:38 shwouchk has quit [Quit: WeeChat 4.5.2]

15:59 humasect has joined #ocaml

16:23 olle has joined #ocaml

16:48 gareppa has quit [Quit: WeeChat 4.5.1]

17:07 myrkraverk has joined #ocaml

17:10 myrkraverk_ has quit [Ping timeout: 252 seconds]

17:23 casastortaAway has quit [Quit: ZNC 1.10.1 - https://znc.in]

17:23 casastorta has quit [Ping timeout: 255 seconds]

17:26 myrkraverk_ has joined #ocaml

17:26 pippijn has quit [Server closed connection]

17:27 pippijn has joined #ocaml

17:28 casastorta has joined #ocaml

17:28 myrkraverk has quit [Ping timeout: 244 seconds]

17:30 casastorta has quit [Client Quit]

17:34 casastorta has joined #ocaml

17:36 casastortaAway has joined #ocaml

17:51 myrkraverk has joined #ocaml

17:54 myrkraverk_ has quit [Ping timeout: 272 seconds]

18:00 grobe0ba has quit [Remote host closed the connection]

18:00 grobe0ba has joined #ocaml

18:05 agentcasey has quit [Ping timeout: 248 seconds]

18:08 Anarchos has joined #ocaml

18:09 casastorta has quit [Quit: ZNC 1.10.1 - https://znc.in]

18:09 casastortaAway has quit [Quit: ZNC 1.10.1 - https://znc.in]

18:12 Serpent7776 has quit [Ping timeout: 245 seconds]

18:12 casastorta has joined #ocaml

18:14 casastorta has quit [Client Quit]

18:15 casastorta has joined #ocaml

18:16 casastorta has quit [Client Quit]

18:19 myrkraverk_ has joined #ocaml

18:22 myrkraverk has quit [Ping timeout: 252 seconds]

18:36 agentcasey has joined #ocaml

18:50 myrkraverk has joined #ocaml

18:52 myrkraverk_ has quit [Ping timeout: 260 seconds]

19:20 humasect has quit [Quit: Leaving...]

19:22 myrkraverk_ has joined #ocaml

19:25 myrkraverk has quit [Ping timeout: 244 seconds]

19:44 marijanp has left #ocaml [Disconnected: Hibernating too long]

19:44 Serpent7776 has joined #ocaml

19:46 amadaluzia has joined #ocaml

19:50 amadaluzia has quit [Ping timeout: 244 seconds]

19:59 <discocaml> <gooby_diatonic> When adding dune as a dependency, should I mark it as `(dune :build)` ? I mostly saw people putting it without the flag but in reality I don't think it's used outside build

20:10 amadaluzia has joined #ocaml

20:20 amadaluzia has quit [Ping timeout: 252 seconds]

20:28 amadaluzia has joined #ocaml

20:35 amadaluzia has quit [Ping timeout: 248 seconds]

20:36 amadaluzia has joined #ocaml

20:55 <discocaml> <yawaramin> you don't need to add it explicitly, dune will take care of it automatically

20:58 myrkraverk has joined #ocaml

20:59 <Anarchos> i just realize i discover caml 30years ago !

21:01 myrkraverk_ has quit [Ping timeout: 272 seconds]

21:10 sdlnxgk has joined #ocaml

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

21:16 Anarchos has quit [Quit: Vision[]: i've been blurred!]

21:19 myrkraverk_ has joined #ocaml

21:22 myrkraverk has quit [Ping timeout: 272 seconds]

21:30 euphores has quit [Quit: Leaving.]

21:32 amadaluzia has quit [Ping timeout: 244 seconds]

21:35 euphores has joined #ocaml

21:37 myrkraverk has joined #ocaml

21:40 myrkraverk_ has quit [Ping timeout: 244 seconds]

21:42 Serpent7776 has quit [Ping timeout: 244 seconds]

21:43 euphores has quit [Ping timeout: 244 seconds]

21:58 myrkraverk_ has joined #ocaml

22:01 myrkraverk has quit [Ping timeout: 244 seconds]

22:17 bartholin has quit [Remote host closed the connection]

22:27 myrkraverk has joined #ocaml

22:30 myrkraverk_ has quit [Ping timeout: 252 seconds]

22:58 tremon has quit [Quit: getting boxed in]

23:12 <vbramselaar> I discovered it last week

23:16 inline has quit [Quit: Leaving]

23:18 myrkraverk_ has joined #ocaml

23:21 myrkraverk has quit [Ping timeout: 252 seconds]

23:26 inline has joined #ocaml

23:27 ripsquid has quit [Remote host closed the connection]

23:28 ripsquid has joined #ocaml

23:31 ripsquid has quit [Remote host closed the connection]

23:31 ripsquid has joined #ocaml

23:34 myrkraverk has joined #ocaml

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

23:34 ripsquid has joined #ocaml

23:36 ripsquid has quit [Remote host closed the connection]

23:36 ripsquid has joined #ocaml

23:37 myrkraverk_ has quit [Ping timeout: 244 seconds]

23:37 ripsquid has quit [Remote host closed the connection]

23:37 ripsquid has joined #ocaml

23:41 polykernel_ has joined #ocaml

23:45 polykernel has quit [Ping timeout: 260 seconds]

23:45 polykernel_ is now known as polykernel

23:47 <discocaml> <diligentclerk> I've been bitten a number of times by bugs in Rocq that I want to contribute back to the existing codebase and help improve it. The developers are thinly stretched and I have a couple bug reports that have gone unanswered for half a year or so. But Rocq is a huge, mature project, it's intimidating. Has anyone tried using AI to help summarize OCaml files/projects and get a survey of the different components, types, etc.? Is it possible to

23:52 ripsquid has quit [Remote host closed the connection]

23:59 myrkraverk_ has joined #ocaml