#ocaml on 2025-01-03 — 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:05 accordve1om has joined #ocaml

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

00:14 accordve1om has joined #ocaml

00:19 accordve1om 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:35 accordvenom has joined #ocaml

00:39 <discocaml_> <deepspacejohn> That question was also answered in the quoted discussion

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

00:43 <discocaml_> <functionalprogramming> ah, you are right

00:44 accordvenom has joined #ocaml

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

00:55 accordvenom has joined #ocaml

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

01:04 accordvenom has joined #ocaml

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

01:15 accordvenom has joined #ocaml

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

01:25 accordve1om has joined #ocaml

01:31 pandeyan has quit [Quit: ZNC 1.8.2 - https://znc.in]

01:37 anpad has joined #ocaml

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

01:44 accordvenom has joined #ocaml

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

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

01:55 accordve1om has joined #ocaml

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

02:05 accordvenom has joined #ocaml

02:12 chrisz has quit [Ping timeout: 260 seconds]

02:13 chrisz has joined #ocaml

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

02:19 accordvenom has joined #ocaml

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

02:35 accordve1om has joined #ocaml

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

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:05 accordvenom has joined #ocaml

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

03:10 accordvenom has joined #ocaml

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

03:24 accordvenom has joined #ocaml

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

03:35 accordve1om has joined #ocaml

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

03:45 accordvenom has joined #ocaml

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

03:59 accordvenom has joined #ocaml

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

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

04:15 accordve1om has joined #ocaml

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

04:25 accordvenom has joined #ocaml

04:37 <discocaml_> <functionalprogramming> for those of you recommending use of caqti for SQL, do you use the unmaintained ppx_rapper as well?

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

04:54 accordvenom has joined #ocaml

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

05:05 accordve1om has joined #ocaml

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

05:15 accordvenom has joined #ocaml

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

05:20 accordvenom has joined #ocaml

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

05:44 accordve1om has joined #ocaml

05:45 ygrek has joined #ocaml

05:45 ygrek has quit [Remote host closed the connection]

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

05:54 accordvenom has joined #ocaml

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

06:05 accordvenom has joined #ocaml

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

06:14 accordvenom has joined #ocaml

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

06:25 accordvenom has joined #ocaml

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

06:34 accordvenom has joined #ocaml

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

06:45 accordvenom has joined #ocaml

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

07:05 accordvenom has joined #ocaml

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

07:19 accordvenom has joined #ocaml

07:24 <discocaml_> <anmonteiro> yes. i maintain a fork

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

07:35 accordvenom has joined #ocaml

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

07:40 YuGiOhJCJ has joined #ocaml

07:44 accordvenom has joined #ocaml

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

07:55 accordvenom has joined #ocaml

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

07:59 dh` has quit [Quit: brb]

08:01 <discocaml_> <rezwanarefin01> Same. I additionnally needed a fork of pg_query for ppx_rapper to install. 😓

08:05 accordve1om has joined #ocaml

08:06 dh` has joined #ocaml

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

08:14 accordvenom has joined #ocaml

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

08:25 accordve1om has joined #ocaml

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

08:34 accordve1om has joined #ocaml

08:36 bartholin has joined #ocaml

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

08:45 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:04 accordvenom has joined #ocaml

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

09:15 accordve1om has joined #ocaml

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

09:24 accordve1om has joined #ocaml

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

09:44 accordvenom has joined #ocaml

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

09:55 accordvenom has joined #ocaml

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

10:00 accordvenom has joined #ocaml

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

10:14 accordvenom has joined #ocaml

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

10:25 accordvenom has joined #ocaml

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

10:35 accordvenom has joined #ocaml

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

10:40 Tuplanolla has joined #ocaml

10:44 accordve1om has joined #ocaml

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

10:55 accordve1om has joined #ocaml

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

11:04 accordve1om has joined #ocaml

11:24 <discocaml_> <marisakirisame> hi, i have a .c file which include some simd functions i want to ffi to dune.

11:24 <discocaml_> <marisakirisame> my understanding is i need to:

11:24 <discocaml_> <marisakirisame> 0 - https://dune.readthedocs.io/en/stable/foreign-code.html#foreign-build-sandboxing to build and copy the libraries

11:24 <discocaml_> <marisakirisame> 1 - use dune ctypes to generate the stubs

11:24 <discocaml_> <marisakirisame>

11:24 <discocaml_> <marisakirisame> am i correct? is there a way to do it in one step? (just tell dune the source dir, the build flags, and let it do all the work)

11:26 Serpent7776 has joined #ocaml

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

11:34 accordvenom has joined #ocaml

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

11:45 accordve1om has joined #ocaml

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

11:55 accordve1om has joined #ocaml

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

12:00 accordvenom has joined #ocaml

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

12:14 accordvenom has joined #ocaml

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

12:25 accordvenom has joined #ocaml

12:28 Haudegen has joined #ocaml

12:31 YuGiOhJCJ has quit [Quit: YuGiOhJCJ]

12:39 YuGiOhJCJ has joined #ocaml

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

12:44 accordve1om has joined #ocaml

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

12:59 accordve1om has joined #ocaml

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

13:12 ygrek has joined #ocaml

13:15 accordve1om has joined #ocaml

13:15 YuGiOhJCJ has quit [Quit: YuGiOhJCJ]

13:17 alfiee has quit [Ping timeout: 276 seconds]

13:18 alfiee has joined #ocaml

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

13:25 accordve1om has joined #ocaml

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

13:34 accordvenom has joined #ocaml

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

13:44 olle has joined #ocaml

13:45 accordve1om has joined #ocaml

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

13:54 accordvenom has joined #ocaml

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

14:00 gentauro has quit [Read error: Connection reset by peer]

14:05 accordve1om has joined #ocaml

14:06 gentauro has joined #ocaml

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

14:15 accordvenom has joined #ocaml

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

14:24 accordvenom has joined #ocaml

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

14:35 Serpent7776 has quit [Ping timeout: 244 seconds]

14:35 accordvenom has joined #ocaml

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

14:44 accordve1om has joined #ocaml

14:46 ygrek has quit [Remote host closed the connection]

14:58 ygrek has joined #ocaml

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

14:59 accordvenom has joined #ocaml

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

15:15 accordve1om has joined #ocaml

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

15:25 accordvenom has joined #ocaml

15:37 olle has quit [Ping timeout: 248 seconds]

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

15:39 accordvenom has joined #ocaml

15:49 <discocaml_> <contificate> foreign_stubs within a library stanza

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

15:49 <discocaml_> <contificate> don't need ctypes if you write relevant wrappers/stubs

15:55 accordve1om has joined #ocaml

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

16:04 accordvenom has joined #ocaml

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

16:15 accordve1om has joined #ocaml

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

16:25 accordve1om has joined #ocaml

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

16:30 accordvenom has joined #ocaml

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

16:39 accordvenom has joined #ocaml

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

16:55 accordve1om has joined #ocaml

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

17:05 accordve1om has joined #ocaml

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

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

17:35 accordvenom has joined #ocaml

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

17:54 accordvenom has joined #ocaml

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

18:05 accordvenom has joined #ocaml

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

18:14 accordvenom has joined #ocaml

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

18:25 accordvenom has joined #ocaml

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

18:34 accordvenom has joined #ocaml

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

18:39 Anarchos has joined #ocaml

18:45 accordvenom has joined #ocaml

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

18:55 accordve1om has joined #ocaml

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

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

19:10 mstevens has joined #ocaml

19:14 accordvenom has joined #ocaml

19:16 Serpent7776 has joined #ocaml

19:17 infinity0 has quit [Ping timeout: 260 seconds]

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

19:21 Anarchos has joined #ocaml

19:25 accordve1om has joined #ocaml

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

19:35 accordvenom has joined #ocaml

19:37 infinity0 has joined #ocaml

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

19:44 accordvenom has joined #ocaml

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

19:55 accordvenom has joined #ocaml

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

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

20:04 accordvenom has joined #ocaml

20:07 Anarchos has joined #ocaml

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

20:15 accordve1om has joined #ocaml

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

20:24 accordve1om has joined #ocaml

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

20:35 accordve1om has joined #ocaml

20:39 accordve1om 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:54 accordve1om has joined #ocaml

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

21:05 accordve1om has joined #ocaml

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

21:15 accordve1om has joined #ocaml

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

21:20 accordvenom has joined #ocaml

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

21:31 Everything has joined #ocaml

21:34 accordvenom has joined #ocaml

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

21:44 rgrinberg has joined #ocaml

21:45 accordvenom has joined #ocaml

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

21:54 accordvenom has joined #ocaml

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

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

22:05 accordvenom has joined #ocaml

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

22:09 accordvenom 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:20 accordvenom has joined #ocaml

22:26 Serpent7776 has quit [Ping timeout: 265 seconds]

22:37 rgrinberg has joined #ocaml

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

22:42 bartholin has quit [Quit: Leaving]

22:44 accordvenom has joined #ocaml

22:45 ygrek has quit [Remote host closed the connection]

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

22:55 accordvenom has joined #ocaml

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

23:03 <discocaml_> <aguluman> I ain't gonna lie.

23:03 <discocaml_> <aguluman> I like the dune build system.

23:03 <discocaml_> <aguluman> Its lean, and all .ml files can be read irrespective of folder.

23:03 <discocaml_> <aguluman>

23:03 <discocaml_> <aguluman> I have worked in dotnet and npm.

23:03 <discocaml_> <aguluman> I have to give it up for dune.

23:04 accordvenom has joined #ocaml

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

23:15 accordvenom has joined #ocaml

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

23:24 kaustuv has joined #ocaml

23:25 accordve1om has joined #ocaml

23:44 kaustuv has quit [Quit: ERC 5.6.1-git (IRC client for GNU Emacs 29.4)]

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

23:52 Everything has quit [Quit: leaving]

23:54 accordvenom has joined #ocaml

23:57 rgrinberg has quit [Ping timeout: 265 seconds]

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