#ocaml on 2023-09-10 — irc logs at libera.irclog.whitequark.org

2023-02-19 03:13 companion_cube changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 5.0 released(!!1!): https://ocaml.org/releases/5.0.0.html | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/

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

00:22 hrberg has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]

00:51 waleee has quit [Ping timeout: 246 seconds]

02:17 chrisz has quit [Ping timeout: 250 seconds]

02:19 chrisz has joined #ocaml

02:44 farn has quit [Server closed connection]

02:44 farn has joined #ocaml

04:10 deadmarshal_ has quit [Remote host closed the connection]

04:44 deadmarshal_ has joined #ocaml

05:16 bartholin has joined #ocaml

05:18 steenuil has quit [Server closed connection]

05:18 steenuil has joined #ocaml

06:22 rgrinberg has joined #ocaml

06:40 yziquel has joined #ocaml

06:45 dme2_ has quit [Server closed connection]

06:46 dme2 has joined #ocaml

07:12 yziquel has quit [Quit: Client closed]

07:15 Tuplanolla has joined #ocaml

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

07:42 azimut has quit [Ping timeout: 246 seconds]

07:52 amk has quit [Ping timeout: 245 seconds]

07:55 yziquel has joined #ocaml

08:02 amk has joined #ocaml

08:12 rgrinberg has joined #ocaml

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

08:25 yziquel has quit [Ping timeout: 245 seconds]

08:38 yziquel has joined #ocaml

09:13 companion_cube has quit [Server closed connection]

09:13 companion_cube has joined #ocaml

09:16 Serpent7776 has joined #ocaml

09:48 rgrinberg has joined #ocaml

09:55 uncomfy has joined #ocaml

09:56 yziquel has quit [Quit: Client closed]

10:41 uncomfy has quit [Ping timeout: 252 seconds]

10:44 uncomfy has joined #ocaml

10:44 omegatron has quit [Remote host closed the connection]

10:44 uncomfy has quit [Remote host closed the connection]

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

10:53 rgrinberg has joined #ocaml

10:55 rgrinberg has quit [Client Quit]

11:30 yziquel has joined #ocaml

11:32 azimut has joined #ocaml

11:38 yziquel has quit [Quit: Client closed]

11:47 random-jellyfish has joined #ocaml

11:53 yziquel has joined #ocaml

12:14 yosik has joined #ocaml

12:15 yosik has quit [Changing host]

12:15 yosik has joined #ocaml

12:20 bibi_ has joined #ocaml

12:54 rgrinberg has joined #ocaml

13:21 Serpent7776 has quit [Ping timeout: 255 seconds]

13:23 Serpent7776 has joined #ocaml

14:03 bibi__ has joined #ocaml

14:05 bibi_ has quit [Ping timeout: 248 seconds]

14:17 Hammdist has joined #ocaml

14:18 <Hammdist> any examples available for the use of https://v2.ocaml.org/api/compilerlibref/

14:22 dmbaturin has quit [Server closed connection]

14:22 dmbaturin has joined #ocaml

14:28 yosik has quit [Ping timeout: 248 seconds]

14:37 dnh has joined #ocaml

15:18 <discocaml> <andreypopp> Depends on what you want to do. If ast/parsetree manipulation then ppxlib has good docs.

15:54 <discocaml> <sim642> Is the memory representation, etc of extensible variant types documented anywhere?

15:54 <discocaml> <sim642> The FFI section of the manual doesn't seem to, nor does RWO's corresponding section.

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

15:55 bibi__ has quit [Quit: Konversation terminated!]

15:56 bibi_ has joined #ocaml

16:02 hrberg has joined #ocaml

16:25 bibi_ has quit [Ping timeout: 255 seconds]

16:29 random-jellyfish has quit [Quit: Client closed]

16:31 <discocaml> <leviroth> I'm not sure it's actually different from regular variants

16:32 yziquel has joined #ocaml

16:33 <discocaml> <leviroth> Sorry never mind, a quick peek via Obj.magic makes it clear that it is different

16:39 <discocaml> <sim642> The implementation of Obj reveals they're somehow implemented with objects (or at least abusing Object_tag)

16:39 <discocaml> <octachron> https://stackoverflow.com/questions/54730373/when-should-extensible-variant-types-be-used-in-ocaml

16:40 <discocaml> <octachron> (which is more about the memory representation than the use case for extensible variants contrarily to what the title indicate)

16:42 random-jellyfish has joined #ocaml

16:56 Hammdist has quit [Quit: Client closed]

16:56 <discocaml> <sim642> Thanks! Indeed that's hard to find based on the title.

16:56 <discocaml> <sim642> It doesn't explain the content of the extension constructor slot object but that's visible from Obj implementation or Translcore

17:05 yziquel has quit [Quit: Client closed]

17:13 yziquel has joined #ocaml

17:15 random-jellyfish has quit [Quit: Client closed]

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

17:22 rgrinberg has joined #ocaml

17:29 Serpent7776 has quit [Ping timeout: 258 seconds]

17:31 Serpent7776 has joined #ocaml

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

17:39 azimut has quit [Remote host closed the connection]

17:41 rgrinberg has joined #ocaml

17:44 azimut has joined #ocaml

17:49 Hammdist has joined #ocaml

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

18:33 rgrinberg has joined #ocaml

18:35 random-jellyfish has joined #ocaml

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

18:41 dhil has joined #ocaml

18:41 dh` has joined #ocaml

18:42 waleee has joined #ocaml

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

20:08 rgrinberg has joined #ocaml

20:43 yziquel has quit [Ping timeout: 245 seconds]

20:47 infinity0 has quit [Ping timeout: 245 seconds]

20:49 infinity0 has joined #ocaml

21:01 waleee has quit [Ping timeout: 240 seconds]

21:03 waleee has joined #ocaml

21:07 bartholin has quit [Quit: Leaving]

21:08 chrisz has quit [Ping timeout: 248 seconds]

21:14 chrisz has joined #ocaml

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

21:41 infinity0 has quit [Remote host closed the connection]

21:43 infinity0 has joined #ocaml

21:53 infinity0_ has joined #ocaml

21:53 infinity0 has quit [Killed (platinum.libera.chat (Nickname regained by services))]

21:53 infinity0_ is now known as infinity0

21:55 Serpent7776 has quit [Ping timeout: 255 seconds]

22:00 rgrinberg has joined #ocaml

22:03 nmd has joined #ocaml

22:03 <nmd> Hello! Can I ask Ocaml questions in this room?

22:04 <nmd> Or I guess more specifically a dune question

22:07 nmd has quit [Quit: leaving]

22:17 <technomancy> nmd: that's what it's for =)

22:17 <technomancy> oops, they ran away

22:22 Tuplanolla has quit [Quit: Leaving.]

22:25 <discocaml> <logoooo> "Ask first, get corrected later" seems to be a good strategy

22:30 dnh has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

22:39 <companion_cube> Say something outrageously false first, wait for corrections

22:46 dh` has quit [Ping timeout: 240 seconds]

22:51 <discocaml> <Kali> true...

22:52 <discocaml> <Et7f3 (@me on reply)> This is true and doesn't need correction

22:58 yziquel has joined #ocaml

23:09 waleee has quit [Ping timeout: 258 seconds]

23:09 waleee has joined #ocaml

23:27 random-jellyfish has quit [Quit: Client closed]

23:31 dhil has quit [Ping timeout: 245 seconds]

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

23:48 rgrinberg has joined #ocaml