#ocaml on 2025-02-10 — 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 tri has joined #ocaml

00:02 alfiee has quit [Ping timeout: 246 seconds]

00:16 tri has quit [Remote host closed the connection]

00:47 alfiee has joined #ocaml

00:51 alfiee has quit [Ping timeout: 245 seconds]

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

00:56 tri has joined #ocaml

01:01 tri has quit [Ping timeout: 268 seconds]

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

01:06 Mister_Magister has quit [Quit: bye]

01:08 Mister_Magister has joined #ocaml

01:23 tri has joined #ocaml

01:35 alfiee has joined #ocaml

01:39 alfiee has quit [Ping timeout: 252 seconds]

01:57 Haudegen has quit [Quit: Bin weg.]

02:24 alfiee has joined #ocaml

02:28 alfiee has quit [Ping timeout: 260 seconds]

03:12 alfiee has joined #ocaml

03:16 alfiee has quit [Ping timeout: 265 seconds]

03:19 tri has quit [Remote host closed the connection]

03:26 tri has joined #ocaml

03:37 tri has quit [Ping timeout: 252 seconds]

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

03:44 terrorjack has joined #ocaml

03:44 tri has joined #ocaml

04:01 alfiee has joined #ocaml

04:03 quernd has quit [Quit: Ping timeout (120 seconds)]

04:03 quernd has joined #ocaml

04:05 alfiee has quit [Ping timeout: 260 seconds]

04:28 tri has quit [Remote host closed the connection]

04:37 tri has joined #ocaml

04:49 alfiee has joined #ocaml

04:53 alfiee has quit [Ping timeout: 248 seconds]

04:55 Inline has quit [Ping timeout: 252 seconds]

04:57 Inline has joined #ocaml

05:23 hsw_ has quit [Quit: Leaving]

05:23 hsw has joined #ocaml

05:30 nirvdrum74 has joined #ocaml

05:30 nirvdrum7 has quit [Read error: Connection reset by peer]

05:30 nirvdrum74 is now known as nirvdrum7

05:33 hsw has quit [Quit: Leaving]

05:33 agentcasey has quit [Quit: ZNC 1.10.x-git-27-bfd731cf - https://znc.in]

05:33 hsw has joined #ocaml

05:34 agentcasey has joined #ocaml

05:37 alfiee has joined #ocaml

05:37 hsw has quit [Client Quit]

05:37 hsw has joined #ocaml

05:38 hsw has quit [Remote host closed the connection]

05:38 hsw has joined #ocaml

05:41 alfiee has quit [Ping timeout: 252 seconds]

05:42 hsw has quit [Client Quit]

05:42 hsw has joined #ocaml

05:56 Inline has quit [Quit: Leaving]

05:58 Inline has joined #ocaml

06:02 tri has quit [Remote host closed the connection]

06:02 tri has joined #ocaml

06:07 tri has quit [Ping timeout: 268 seconds]

06:25 alfiee has joined #ocaml

06:30 alfiee has quit [Ping timeout: 252 seconds]

06:50 quernd has quit [Read error: Connection reset by peer]

06:50 quernd1 has joined #ocaml

06:50 tri has joined #ocaml

06:55 tri has quit [Ping timeout: 268 seconds]

07:13 alfiee has joined #ocaml

07:18 alfiee has quit [Ping timeout: 248 seconds]

07:56 Inline has quit [Ping timeout: 248 seconds]

08:01 alfiee has joined #ocaml

08:05 alfiee has quit [Ping timeout: 244 seconds]

08:06 Serpent7776 has joined #ocaml

08:49 alfiee has joined #ocaml

08:50 rgrinberg has joined #ocaml

08:50 rgrinberg has quit [Client Quit]

08:54 alfiee has quit [Ping timeout: 260 seconds]

08:57 tri has joined #ocaml

08:59 myrkraverk_ has joined #ocaml

09:02 tri has quit [Ping timeout: 252 seconds]

09:02 bartholin has joined #ocaml

09:02 myrkraverk has quit [Ping timeout: 252 seconds]

09:03 dhil has joined #ocaml

09:10 Haudegen has joined #ocaml

09:17 olle has joined #ocaml

09:35 bartholin has quit [Quit: Leaving]

09:38 alfiee has joined #ocaml

09:42 alfiee has quit [Ping timeout: 252 seconds]

10:26 alfiee has joined #ocaml

10:26 <discocaml> <lukstafi> Via the annoucement of `ocamlmig`, I discovered https://ocaml.org/p/ppx_partial/latest, abstraction syntax like they have in Scala -- cool, no? But no other project is using it.

10:30 alfiee has quit [Ping timeout: 252 seconds]

11:09 myrkraverk has joined #ocaml

11:12 myrkraverk_ has quit [Ping timeout: 252 seconds]

11:14 alfiee has joined #ocaml

11:18 alfiee has quit [Ping timeout: 244 seconds]

11:27 myrkraverk_ has joined #ocaml

11:30 myrkraverk has quit [Ping timeout: 268 seconds]

11:40 tri has joined #ocaml

11:44 tri has quit [Ping timeout: 246 seconds]

11:46 rgrinberg has joined #ocaml

12:03 alfiee has joined #ocaml

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

12:08 alfiee has quit [Ping timeout: 276 seconds]

12:27 mange has quit [Quit: Zzz...]

12:36 tri has joined #ocaml

12:40 tri has quit [Ping timeout: 265 seconds]

12:47 <discocaml> <gooby_diatonic> It's cool but it's probably a whole global program transformation for something small, so it's probably not that useful in practice

12:48 <discocaml> <gooby_diatonic> If it were added to the language itself on the other hand, that would be much cooler

12:52 alfiee has joined #ocaml

12:56 alfiee has quit [Ping timeout: 260 seconds]

13:39 alfiee has joined #ocaml

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

13:44 alfiee has quit [Ping timeout: 245 seconds]

14:00 tri has joined #ocaml

14:04 tri has quit [Ping timeout: 244 seconds]

14:28 alfiee has joined #ocaml

14:33 alfiee has quit [Ping timeout: 252 seconds]

14:47 Haudegen has joined #ocaml

14:52 Inline has joined #ocaml

15:01 Inline has quit [Quit: Leaving]

15:06 Inline has joined #ocaml

15:18 alfiee has joined #ocaml

15:22 alfiee has quit [Ping timeout: 246 seconds]

15:49 tri has joined #ocaml

15:54 tri has quit [Ping timeout: 276 seconds]

16:07 alfiee has joined #ocaml

16:11 alfiee has quit [Ping timeout: 252 seconds]

16:37 <discocaml> <passerby0296> Guys, is there a way to rewrite this function without using “failwith”?

16:37 <discocaml> <passerby0296>

16:37 <discocaml> <passerby0296> let rec build_app_l = function

16:37 <discocaml> <passerby0296> | [] -> failwith "Error while building application"

16:37 <discocaml> <passerby0296> | [ h ] -> h

16:37 <discocaml> <passerby0296> | h1 :: h2 :: tl -> build_app_l (EApplication (h1, h2) :: tl)

16:37 <discocaml> <passerby0296> ;;

16:37 <discocaml> <passerby0296>

16:37 <discocaml> <passerby0296> I have over 5k lines of code and I really don’t want to wrap all of them in monads just because of this function

16:40 <olle> result type?

16:40 <olle> or wrap another function around it that returns result type

16:41 <olle> or just build_app_l_opt

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

16:51 Inline has quit [Quit: Leaving]

16:54 olle has quit [Ping timeout: 252 seconds]

16:55 alfiee has joined #ocaml

16:58 Inline has joined #ocaml

16:59 alfiee has quit [Ping timeout: 244 seconds]

17:02 JuanDaugherty has joined #ocaml

17:03 tri has joined #ocaml

17:08 tri has quit [Ping timeout: 252 seconds]

17:21 <discocaml> <noahtheduke> i wrote some additional documentation for ocaml stdlib and i'd like to generate the files locally to check they look good. is there a way to do that locally?

17:34 dhil has quit [Ping timeout: 244 seconds]

17:35 Inline has quit [Quit: Leaving]

17:39 JuanDaugherty has quit [Quit: praxis.meansofproduction.biz (juan@acm.org)]

17:43 alfiee has joined #ocaml

17:44 Inline has joined #ocaml

17:47 alfiee has quit [Ping timeout: 246 seconds]

17:51 euphores has quit [Quit: Leaving.]

17:55 <discocaml> <yawaramin> yes, see the instructions here https://github.com/ocaml/ocaml/tree/trunk/manual

17:59 malte has quit [Remote host closed the connection]

18:00 euphores has joined #ocaml

18:03 <discocaml> <noahtheduke> ah thank you

18:12 Haudegen has joined #ocaml

18:30 Inline has quit [Quit: Leaving]

18:31 alfiee has joined #ocaml

18:31 Inline has joined #ocaml

18:36 alfiee has quit [Ping timeout: 260 seconds]

18:44 Inline_ has joined #ocaml

18:48 Inline has quit [Ping timeout: 260 seconds]

18:49 rgrinberg has joined #ocaml

19:05 tri has joined #ocaml

19:10 tri has quit [Ping timeout: 248 seconds]

19:19 rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

19:20 alfiee has joined #ocaml

19:24 alfiee has quit [Ping timeout: 260 seconds]

19:33 <discocaml> <octachron> For the stdlib, the manpage documentation is always built inside `api_docgen/ocamldoc/build/man`. If man pages are not your preferred documentation format, you can build the html one with `make -C api_docgen ocamldoc-html`

19:46 rgrinberg has joined #ocaml

20:08 alfiee has joined #ocaml

20:12 alfiee has quit [Ping timeout: 252 seconds]

20:15 Inline_ is now known as Inline

20:46 malte has joined #ocaml

20:54 tri has joined #ocaml

20:59 tri has quit [Ping timeout: 248 seconds]

20:59 alfiee has joined #ocaml

21:03 alfiee has quit [Ping timeout: 265 seconds]

21:04 rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

21:47 mange has joined #ocaml

21:48 alfiee has joined #ocaml

21:52 alfiee has quit [Ping timeout: 252 seconds]

21:53 bartholin has joined #ocaml

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

22:37 alfiee has joined #ocaml

22:42 alfiee has quit [Ping timeout: 260 seconds]

22:42 Tuplanolla has joined #ocaml

22:43 rgrinberg has joined #ocaml

22:46 tri has joined #ocaml

22:46 rgrinberg has quit [Read error: Connection reset by peer]

22:46 rgrinberg has joined #ocaml

22:50 tri has quit [Ping timeout: 252 seconds]

23:14 bartholin has quit [Quit: Leaving]

23:14 myrkraverk__ has joined #ocaml

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

23:26 alfiee has joined #ocaml

23:31 alfiee has quit [Ping timeout: 252 seconds]

23:42 Inline has quit [Quit: Leaving]

23:43 Inline has joined #ocaml

23:45 Inline has quit [Client Quit]

23:53 Inline has joined #ocaml