#ocaml on 2025-07-06 — irc logs at libera.catirclogs.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:14 <discocaml> <uberpyro181> Can anyone confirm if OCaml's implementation of first-class polymorphism in record types is based on these [TACS97](<https://link.springer.com/chapter/10.1007/BFb0014546>) and [IC99](<https://www.sciencedirect.com/science/article/pii/S0890540199928304>) papers?

00:14 <discocaml> <uberpyro181> i.e., this system where the nominal data definition doubles as an annotation for the quanitier, and then there's no additional annotations required beyond that

00:16 <discocaml> <uberpyro181> i.e., this system where the nominal data definition doubles as an annotation for the quantifier, and then there's no additional annotations required beyond that

00:23 Frostillicus has joined #ocaml

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

01:38 Frostillicus has quit [Ping timeout: 252 seconds]

01:45 Frostillicus has joined #ocaml

02:31 Frostillicus has quit [Ping timeout: 245 seconds]

02:32 Frostillicus has joined #ocaml

02:42 infinity0 has quit [Ping timeout: 272 seconds]

03:02 infinity0 has joined #ocaml

03:08 Frostillicus has quit [Ping timeout: 245 seconds]

03:21 Frostillicus has joined #ocaml

04:05 Frostillicus has quit [Ping timeout: 276 seconds]

04:40 humasect has joined #ocaml

05:02 habnabit_ has quit [Read error: Connection reset by peer]

05:05 habnabit_ has joined #ocaml

05:07 habnabit_ has quit [Client Quit]

05:11 habnabit_ has joined #ocaml

05:48 leonardus has quit [Ping timeout: 245 seconds]

05:50 euphores has quit [Quit: Leaving.]

05:51 leonardus has joined #ocaml

05:52 jbowen has quit [Ping timeout: 245 seconds]

05:55 jbowen has joined #ocaml

06:00 euphores has joined #ocaml

06:07 humasect has quit [Quit: Leaving...]

06:48 habnabit_ has quit [Remote host closed the connection]

06:54 habnabit_ has joined #ocaml

07:03 chiselfuse has quit [Ping timeout: 244 seconds]

07:10 habnabit_ has quit [Read error: Connection reset by peer]

07:15 habnabit_ has joined #ocaml

07:31 humasect has joined #ocaml

08:09 bartholin has joined #ocaml

08:37 Serpent7776 has joined #ocaml

09:00 Tuplanolla has joined #ocaml

09:32 Frostillicus has joined #ocaml

09:58 Frostillicus has quit [Remote host closed the connection]

09:58 Frostillicus has joined #ocaml

10:24 Serpent7776 has quit [Ping timeout: 245 seconds]

10:36 Serpent7776 has joined #ocaml

10:44 Haudegen has joined #ocaml

10:53 humasect has quit [Quit: Leaving...]

11:20 chiselfuse has joined #ocaml

11:45 Serpent7776 has quit [Ping timeout: 260 seconds]

11:56 Frostillicus has quit [Ping timeout: 252 seconds]

12:02 Serpent7776 has joined #ocaml

12:03 Frostillicus has joined #ocaml

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

12:10 Serpent7776 has joined #ocaml

12:46 Frostillicus has quit [Ping timeout: 245 seconds]

12:50 Frostillicus has joined #ocaml

13:01 YuGiOhJCJ has joined #ocaml

13:21 Frostillicus has quit [Ping timeout: 245 seconds]

13:46 Frostillicus has joined #ocaml

13:48 chrisz has quit [Quit: leaving]

13:52 Frostillicus has quit [Read error: Connection reset by peer]

13:53 Frostillicus has joined #ocaml

14:42 Serpent7776 has quit [Ping timeout: 276 seconds]

14:50 YuGiOhJCJ has quit [Quit: YuGiOhJCJ]

15:06 Frostillicus has quit [Ping timeout: 252 seconds]

15:15 Frostillicus has joined #ocaml

15:32 Frostillicus has quit [Ping timeout: 245 seconds]

15:40 Frostillicus has joined #ocaml

15:51 chrisz has joined #ocaml

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

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

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

15:53 sadiq has joined #ocaml

15:53 cedb_ has joined #ocaml

15:53 Frostillicus has quit [Ping timeout: 245 seconds]

15:53 Frostillicus has joined #ocaml

15:53 switchy has joined #ocaml

15:54 lthms has quit [Ping timeout: 245 seconds]

15:55 lthms has joined #ocaml

16:28 Serpent7776 has joined #ocaml

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

17:23 euphores has joined #ocaml

18:15 <discocaml> <octachron> Yes, with some simplifications if my memory is correct.

19:19 Frostillicus has quit [Ping timeout: 252 seconds]

19:39 Frostillicus has joined #ocaml

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

19:53 Frostillicus has joined #ocaml

20:51 Frostillicus has quit [Read error: Connection reset by peer]

20:53 Frostillicus has joined #ocaml

21:00 Frostillicus has quit [Read error: Connection reset by peer]

21:32 bartholin has quit [Quit: Leaving]

22:05 Frostillicus has joined #ocaml

22:11 Serpent7776 has quit [Quit: leaving]

22:12 Frostillicus has quit [Ping timeout: 245 seconds]