#ocaml on 2025-08-18 — 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:01 Haudegen has quit [Quit: Bin weg.]

00:01 welterde has joined #ocaml

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

00:34 Duns_Scrotus has quit [Server closed connection]

00:34 Duns_Scrotus has joined #ocaml

01:14 tremon has quit [Remote host closed the connection]

03:10 mange has joined #ocaml

03:55 _whitelogger has joined #ocaml

04:17 <discocaml> <stuckin414141> is there an english translation for Le Langage Caml/

04:17 <discocaml> <stuckin414141> is there an english translation for Le Langage Caml?

04:46 euphores has joined #ocaml

04:54 toastal has quit [Quit: Gateway shutdown]

05:38 agentcasey has quit [Quit: ZNC 1.9.0+deb2build3 - https://znc.in]

05:38 agentcasey has joined #ocaml

06:22 kurfen has joined #ocaml

06:24 kurfen_ has joined #ocaml

06:26 kurfen has quit [Ping timeout: 260 seconds]

06:31 bartholin has joined #ocaml

06:32 toastal has joined #ocaml

06:47 germ_ has quit [Read error: Connection reset by peer]

06:49 YuGiOhJCJ has joined #ocaml

06:50 germ_ has joined #ocaml

06:58 LainIwakura has joined #ocaml

07:08 LainIwakura has quit [Ping timeout: 250 seconds]

07:28 semarie has quit [Quit: quit]

07:38 Serpent7776 has joined #ocaml

07:44 LainIwakura has joined #ocaml

08:03 semarie has joined #ocaml

08:08 LainIwakura has quit [Quit: Client closed]

08:13 semarie has quit [Quit: quit]

08:18 semarie has joined #ocaml

08:29 Haudegen has joined #ocaml

08:43 olle has joined #ocaml

08:44 olle has quit [Remote host closed the connection]

08:44 <discocaml> <froyo> yes afaik implicit parameters are a use-case of effects and those parameters can be modules: https://tpaste.us/bQJL

08:45 <discocaml> <froyo> or is this example i wrote more like dynamic scoping? where the handler determines the Console module returned

08:46 LainIwakura has joined #ocaml

09:00 olle has joined #ocaml

09:13 <discocaml> <froyo> well in any case you still end up getting an ambient value which you didn't explicitly pass through but specified at some point

09:14 <discocaml> <froyo> implicits seem like just that but with the handlers installed automatically via some type directed search mechanism and the instances present without `ask()`ing for them

09:16 Exa has quit [Quit: see ya!]

09:18 Exa has joined #ocaml

09:27 LainIwakura has quit [Quit: Client closed]

09:38 bartholin has quit [Remote host closed the connection]

09:40 <discocaml> <froyo> has flix always been on the jvm? for some reason I don't remember that being the case when i first looked at it

09:53 luc4 has joined #ocaml

11:04 ol0ck has joined #ocaml

11:17 toastal has quit [Ping timeout: 252 seconds]

11:33 toastal has joined #ocaml

12:31 YuGiOhJCJ has quit [Quit: YuGiOhJCJ]

12:44 sleepydog has quit [Server closed connection]

12:44 sleepydog has joined #ocaml

12:47 Haudegen has quit [Quit: Bin weg.]

13:00 johnridesabike has joined #ocaml

13:06 inline has quit [Quit: Leaving]

13:29 mange has quit [Remote host closed the connection]

13:33 inline has joined #ocaml

14:00 Haudegen has joined #ocaml

14:17 olle has quit [Ping timeout: 252 seconds]

14:32 luc4 has quit [Quit: Konversation terminated!]

14:39 hsw has quit [Quit: Leaving]

15:06 arya_elfren has quit [Server closed connection]

15:06 arya_elfren has joined #ocaml

15:50 polykernel_ has joined #ocaml

15:52 polykernel has quit [Ping timeout: 245 seconds]

15:52 polykernel_ is now known as polykernel

15:58 Haudegen has quit [Quit: Bin weg.]

16:03 luc4 has joined #ocaml

16:24 shwouchk has joined #ocaml

16:37 probablyrobert has joined #ocaml

16:44 amadaluzia has joined #ocaml

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

17:10 Serpent7776 has quit [Ping timeout: 248 seconds]

17:14 Haudegen has joined #ocaml

17:22 toastal has joined #ocaml

17:22 shwouchk has quit [Quit: WeeChat 4.5.2]

17:23 shwouchk has joined #ocaml

17:47 immutable has quit [Server closed connection]

17:47 immutable has joined #ocaml

18:07 <discocaml> <polyml> yes, that's why I didn't consider it when it first came out

18:09 Tuplanolla has joined #ocaml

18:15 <discocaml> <shalokshalom> https://web.archive.org/web/20191217222738/https://flix.dev/#/

18:16 <discocaml> <shalokshalom> At least since 2019

18:16 euphores has quit [Quit: Leaving.]

18:16 luc4 has quit [Quit: Konversation terminated!]

18:18 <discocaml> <shalokshalom> I confused it with Felix, maybe I was not the only one.

18:21 <discocaml> <shalokshalom> And funnily enough, seems Felix to be written in OCaml and Python. It needs both to compile, at least.

18:22 euphores has joined #ocaml

18:23 <discocaml> <shalokshalom> And funnily enough, is Felix partly written in OCaml.

18:23 <discocaml> <shalokshalom>

18:23 <discocaml> <shalokshalom> https://github.com/search?q=repo%3Afelix-lang%2Ffelix++language%3AOCaml&type=code

18:23 <discocaml> <shalokshalom> And funnily enough, is Felix partly written in OCaml.

18:23 <discocaml> <shalokshalom>

18:23 <discocaml> <shalokshalom> https://github.com/search?q=repo%3Afelix-lang%2Ffelix++language%3AOCaml&type=code

18:23 <discocaml> <shalokshalom> And funnily enough, is Felix partly written in OCaml.

18:23 <discocaml> <shalokshalom>

18:23 <discocaml> <shalokshalom> https://github.com/search?q=repo%3Afelix-lang%2Ffelix++language%3AOCaml&type=code

19:02 bartholin has joined #ocaml

19:18 euphores has quit [Quit: Leaving.]

19:23 euphores has joined #ocaml

19:41 Serpent7776 has joined #ocaml

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

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

20:12 bartholin has joined #ocaml

20:13 euphores has joined #ocaml

20:14 xenu_ has joined #ocaml

20:16 Tuplanolla1 has joined #ocaml

20:19 xenu has quit [Ping timeout: 252 seconds]

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

20:20 semarie has quit [*.net *.split]

20:20 cross has quit [*.net *.split]

20:20 j0lol has quit [*.net *.split]

20:20 tronexte has quit [*.net *.split]

20:20 steenuil has quit [*.net *.split]

20:20 ocabot has quit [*.net *.split]

20:20 companion_cube has quit [*.net *.split]

20:20 Armael has quit [*.net *.split]

20:20 pie_ has quit [*.net *.split]

20:20 germ has quit [*.net *.split]

20:22 bartholin has quit [Read error: Connection reset by peer]

20:24 semarie has joined #ocaml

20:24 cross has joined #ocaml

20:24 j0lol has joined #ocaml

20:24 tronexte has joined #ocaml

20:24 steenuil has joined #ocaml

20:24 ocabot has joined #ocaml

20:24 Armael has joined #ocaml

20:24 pie_ has joined #ocaml

20:24 companion_cube has joined #ocaml

20:24 germ has joined #ocaml

20:37 cross has quit [Max SendQ exceeded]

20:37 tronexte has quit [Max SendQ exceeded]

20:38 tronexte has joined #ocaml

20:43 bartholin has joined #ocaml

20:43 cross has joined #ocaml

21:05 amadaluzia has quit [Quit: ZNC 1.9.1 - https://znc.in]

21:06 bartholin has quit [Quit: Leaving]

21:27 luc4 has joined #ocaml

21:29 johnridesabike has quit [Quit: johnridesabike]

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

22:20 Serpent7776 has quit [Ping timeout: 244 seconds]

22:45 andrzejku has quit [Ping timeout: 245 seconds]

22:45 andrzejku has joined #ocaml

22:45 malte has quit [Ping timeout: 245 seconds]

22:47 malte has joined #ocaml

22:47 exfalsoquodlibet has quit [Ping timeout: 245 seconds]

22:48 exfalsoquodlibet has joined #ocaml

22:49 xvilka has quit [Ping timeout: 245 seconds]

22:49 greenonions has quit [Ping timeout: 245 seconds]

22:49 greenonions has joined #ocaml

22:51 xvilka has joined #ocaml