#ocaml on 2019-10-18 — irc logs at freenode.irclog.whitequark.org

2019-09-26 12:04 adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.09 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.09/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml

00:03 toppler has quit [Ping timeout: 240 seconds]

00:14 toppler has joined #ocaml

00:16 sophiag has quit [Ping timeout: 268 seconds]

00:16 jmiven has quit [Quit: bye]

00:28 toppler has quit [Ping timeout: 265 seconds]

00:30 warriors has quit [Quit: Connection closed for inactivity]

00:38 toppler has joined #ocaml

00:40 AtumT has quit [Quit: AtumT]

00:51 olle has quit [Ping timeout: 276 seconds]

00:52 toppler has quit [Ping timeout: 265 seconds]

00:53 olle has joined #ocaml

00:59 nullifidian_ has joined #ocaml

01:01 toppler has joined #ocaml

01:03 nullifidian has quit [Ping timeout: 265 seconds]

01:16 toppler has quit [Ping timeout: 240 seconds]

01:25 toppler has joined #ocaml

01:42 toppler has quit [Ping timeout: 265 seconds]

01:45 Haudegen has joined #ocaml

01:46 vicfred has joined #ocaml

01:51 toppler has joined #ocaml

02:06 tormen_ has joined #ocaml

02:08 toppler has quit [Ping timeout: 265 seconds]

02:10 tormen has quit [Ping timeout: 268 seconds]

02:11 vicfred has quit [Quit: Leaving]

02:14 analogue has joined #ocaml

02:17 toppler has joined #ocaml

02:19 jmiven has joined #ocaml

02:22 warriors has joined #ocaml

02:30 analogue has quit [Quit: Leaving]

02:34 toppler has quit [Ping timeout: 240 seconds]

02:44 toppler has joined #ocaml

02:54 jmiven has quit [Quit: bye]

02:59 mfp has quit [Ping timeout: 245 seconds]

03:00 toppler has quit [Ping timeout: 246 seconds]

03:10 toppler has joined #ocaml

03:16 jmiven has joined #ocaml

03:29 toppler has quit [Ping timeout: 265 seconds]

03:37 nullifidian_ is now known as nullifidian

03:38 toppler has joined #ocaml

03:56 toppler has quit [Ping timeout: 265 seconds]

04:00 _whitelogger has joined #ocaml

04:01 jao has quit [Ping timeout: 240 seconds]

04:03 tizoc has quit [Quit: Coyote finally caught me]

04:05 toppler has joined #ocaml

04:18 tizoc has joined #ocaml

04:24 toppler has quit [Ping timeout: 268 seconds]

04:26 Jeanne-Kamikaze has joined #ocaml

04:31 gravicappa has joined #ocaml

04:33 toppler has joined #ocaml

04:52 toppler has quit [Ping timeout: 240 seconds]

05:02 toppler has joined #ocaml

05:09 _whitelogger has joined #ocaml

05:18 toppler has quit [Ping timeout: 268 seconds]

05:25 <xvilka> why there is no Int.of_string_opt? Only for Int32 and Int64?

05:26 toppler has joined #ocaml

05:29 warriors has quit []

05:39 malina has joined #ocaml

05:42 toppler has quit [Ping timeout: 268 seconds]

05:43 ggole has joined #ocaml

05:43 Jeanne-Kamikaze has quit [Quit: Leaving]

05:50 toppler has joined #ocaml

05:56 mbuf has joined #ocaml

06:03 toppler has quit [Ping timeout: 250 seconds]

06:09 gravicappa has quit [Ping timeout: 265 seconds]

06:11 bitwinery has quit [Quit: Leaving]

06:14 toppler has joined #ocaml

06:32 toppler has quit [Ping timeout: 240 seconds]

06:42 toppler has joined #ocaml

06:51 brillenfux has joined #ocaml

06:58 toppler has quit [Ping timeout: 246 seconds]

07:01 Serpent7776 has joined #ocaml

07:08 toppler has joined #ocaml

07:13 bartholin has quit [Remote host closed the connection]

07:27 toppler has quit [Ping timeout: 268 seconds]

07:35 toppler has joined #ocaml

07:48 toppler has quit [Ping timeout: 268 seconds]

07:56 toppler has joined #ocaml

08:09 toppler has quit [Ping timeout: 268 seconds]

08:14 nullifidian_ has joined #ocaml

08:16 toppler has joined #ocaml

08:17 nullifidian has quit [Ping timeout: 240 seconds]

08:21 nullifidian_ is now known as nullifidian

08:27 orbifx has joined #ocaml

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

08:30 nullifidian has joined #ocaml

08:34 toppler has quit [Ping timeout: 268 seconds]

08:44 toppler has joined #ocaml

08:58 gravicappa has joined #ocaml

09:03 toppler has quit [Ping timeout: 268 seconds]

09:11 toppler has joined #ocaml

09:15 jaar_ has joined #ocaml

09:20 kjak has quit [Remote host closed the connection]

09:22 jerith has joined #ocaml

09:24 jaar_ has quit [Remote host closed the connection]

09:24 jaar_ has joined #ocaml

09:30 <_y> xvilka, there is Stdlib.int_of_string_opt (since 4.05)

09:34 mfp has joined #ocaml

09:46 toppler has quit [Ping timeout: 240 seconds]

09:56 toppler has joined #ocaml

10:33 orbifx has quit [Quit: WeeChat 2.5]

10:41 toppler has quit [Ping timeout: 250 seconds]

10:50 toppler has joined #ocaml

11:09 toppler has quit [Ping timeout: 268 seconds]

11:17 toppler has joined #ocaml

11:25 malina has quit [Ping timeout: 268 seconds]

11:35 bartholin has joined #ocaml

11:35 toppler has quit [Ping timeout: 240 seconds]

11:35 <xvilka> _y: yeah, found out, was just curious about Int module

11:39 jaar_ has quit [Ping timeout: 252 seconds]

11:47 toppler has joined #ocaml

11:51 tane has joined #ocaml

11:58 AtumT has joined #ocaml

12:03 jaar_ has joined #ocaml

12:05 toppler has quit [Ping timeout: 265 seconds]

12:12 malina has joined #ocaml

12:13 toppler has joined #ocaml

12:27 kakadu has quit [Ping timeout: 265 seconds]

12:29 jao has joined #ocaml

12:30 kalio has quit [Ping timeout: 240 seconds]

12:31 toppler has quit [Ping timeout: 245 seconds]

12:36 <_y> it should probably be aliased from module Int indeed

12:40 toppler has joined #ocaml

12:44 kalio has joined #ocaml

12:46 toppler has quit [Ping timeout: 240 seconds]

12:55 toppler has joined #ocaml

13:04 spew has joined #ocaml

13:07 kjak has joined #ocaml

13:11 toppler has quit [Ping timeout: 240 seconds]

13:21 toppler has joined #ocaml

13:27 warriors has joined #ocaml

13:35 toppler has quit [Ping timeout: 240 seconds]

13:44 toppler has joined #ocaml

13:45 gareppa has joined #ocaml

13:48 FreeBirdLjj has joined #ocaml

14:00 toppler has quit [Ping timeout: 268 seconds]

14:08 Haudegen has quit [Quit: Bin weg.]

14:09 q9929t has joined #ocaml

14:09 toppler has joined #ocaml

14:15 q9929t has quit [Quit: q9929t]

14:22 toppler has quit [Ping timeout: 246 seconds]

14:24 ygrek has joined #ocaml

14:31 brillenfux has quit [Ping timeout: 265 seconds]

14:31 toppler has joined #ocaml

14:45 smazga has joined #ocaml

14:48 toppler has quit [Ping timeout: 268 seconds]

14:49 ygrek has quit [Ping timeout: 268 seconds]

14:52 Haudegen has joined #ocaml

14:57 toppler has joined #ocaml

15:02 Serpent7776 has quit [Quit: Leaving]

15:02 FreeBirdLjj has quit [Remote host closed the connection]

15:03 FreeBirdLjj has joined #ocaml

15:07 FreeBirdLjj has quit [Ping timeout: 250 seconds]

15:12 Haudegen has quit [Ping timeout: 268 seconds]

15:13 toppler has quit [Ping timeout: 240 seconds]

15:16 q9929t has joined #ocaml

15:22 toppler has joined #ocaml

15:25 leah2 has quit [Ping timeout: 250 seconds]

15:26 leah2 has joined #ocaml

15:26 q9929t has quit [Quit: q9929t]

15:34 Haudegen has joined #ocaml

15:38 toppler has quit [Ping timeout: 265 seconds]

15:44 gareppa has quit [Quit: Leaving]

15:47 toppler has joined #ocaml

15:56 mfp has quit [Ping timeout: 240 seconds]

15:58 toppler has quit [Ping timeout: 240 seconds]

16:09 toppler has joined #ocaml

16:12 mfp has joined #ocaml

16:13 <mbuf> I am trying the code in Chapter 5. "Streams of Bits" from More OCaml, and I am not getting any output from output_header. What am I missing? https://pastebin.com/C3zNuJmN

16:19 Haudegen has quit [Ping timeout: 240 seconds]

16:23 toppler has quit [Ping timeout: 268 seconds]

16:33 toppler has joined #ocaml

16:51 toppler has quit [Ping timeout: 265 seconds]

16:55 malina has quit [Remote host closed the connection]

17:01 toppler has joined #ocaml

17:03 ziyourenxiang_ has quit [Ping timeout: 240 seconds]

17:13 gareppa has joined #ocaml

17:17 silver has joined #ocaml

17:17 toppler has quit [Ping timeout: 265 seconds]

17:19 vicfred has joined #ocaml

17:20 mbuf has quit [Quit: Leaving]

17:26 toppler has joined #ocaml

17:35 smazga has quit [Ping timeout: 240 seconds]

17:36 Haudegen has joined #ocaml

17:41 gareppa has quit [Quit: Leaving]

17:45 bitwinery has joined #ocaml

17:47 bitwinery has quit [Remote host closed the connection]

17:47 bitwinery has joined #ocaml

17:48 unyu has quit [Quit: ERC (IRC client for Emacs 26.3)]

17:50 smazga has joined #ocaml

17:52 toppler has quit [Ping timeout: 240 seconds]

17:56 smazga has quit [Ping timeout: 265 seconds]

18:03 toppler has joined #ocaml

18:06 jaar_ has quit [Ping timeout: 265 seconds]

18:10 malina has joined #ocaml

18:11 Serpent7776 has joined #ocaml

18:17 mfp has quit [Ping timeout: 240 seconds]

18:19 toppler has quit [Ping timeout: 250 seconds]

18:24 Anarchos has joined #ocaml

18:28 toppler has joined #ocaml

18:40 kakadu has joined #ocaml

18:44 toppler has quit [Ping timeout: 240 seconds]

18:53 toppler has joined #ocaml

18:59 <kakadu> Folks, where can I read more precisely about closure representation in memory (except the source code)?

19:00 <kakadu> I found https://caml.inria.fr/pub/docs/oreilly-book/html/book-ora115.html but it seems that only examples from the book are working. When I try to print another closures C ode crashes

19:00 <kakadu> Or have you seen any hash-consing library that memoizes function applications?

19:02 <companion_cube> 😱

19:10 toppler has quit [Ping timeout: 240 seconds]

19:12 <kakadu> memoization of high-order functions is painful, yes

19:20 toppler has joined #ocaml

19:22 <companion_cube> (I'd say, just don't :p)

19:24 <Anarchos> kakadu there are two pointers : one to code, one to the frozen environment

19:29 Haudegen has quit [Ping timeout: 276 seconds]

19:37 toppler has quit [Ping timeout: 265 seconds]

19:39 <kakadu> Anarchos: nothing about arguments?

19:41 gareppa has joined #ocaml

19:47 toppler has joined #ocaml

19:48 mfp has joined #ocaml

19:53 gravicappa has quit [Ping timeout: 276 seconds]

19:59 gareppa has quit [Quit: Leaving]

20:00 toppler has quit [Ping timeout: 240 seconds]

20:09 ggole has quit [Quit: Leaving]

20:11 toppler has joined #ocaml

20:11 malina has quit [Remote host closed the connection]

20:29 toppler has quit [Ping timeout: 240 seconds]

20:39 toppler has joined #ocaml

20:57 toppler has quit [Ping timeout: 265 seconds]

21:07 toppler has joined #ocaml

21:19 Serpent7776 has quit [Quit: leaving]

21:24 toppler has quit [Ping timeout: 265 seconds]

21:33 toppler has joined #ocaml

21:39 tane has quit [Quit: Leaving]

21:40 <zozozo> kakadu: I'm not aware of any detailed written documentation (I usually ask the people around me when I need information about that). Also note that representation of mutually recursive closures might be about to change. However, of you really want to look at it, you can read the inspection code I wrote there https://github.com/Gbury/ocaml-memgraph/blob/5370806c5977b1df1eb21e99060fbec5dc4d2871/src/repr.ml#L120

21:51 <kakadu> zozozo: Was Infix_tag designed for some kind of partial application optimization or something?

21:53 toppler has quit [Ping timeout: 265 seconds]

21:53 <kakadu> It's sad that Infix_tag is not mentioned in manual

21:55 smazga has joined #ocaml

21:56 <zozozo> kakadu: the infix tag is there so that a set of mutually recursive functions are compiled into a single memory block, with reach function in a sub-block that starts with an infix_tag, which makes the header word look like a tagged integer to the gc when scanning

21:58 <kakadu> Does `compiled into single memory block` means that all functions have single code pointer?

21:58 <kakadu> it seems so

21:59 Haudegen has joined #ocaml

21:59 unyu has joined #ocaml

22:00 smazga has quit [Ping timeout: 268 seconds]

22:01 <zozozo> Not really

22:01 <zozozo> They all point at different places inside the same ocaml block

22:02 toppler has joined #ocaml

22:03 <zozozo> See https://github.com/Gbury/ocaml-memgraph/blob/master/examples/closure.svg on the right h,I and j are three mutually recursive functions

22:19 toppler has quit [Ping timeout: 240 seconds]

22:29 toppler has joined #ocaml

22:32 nullifidian_ has joined #ocaml

22:36 nullifidian has quit [Ping timeout: 276 seconds]

22:45 DanC has joined #ocaml

22:47 <DanC> I'm interested to get a feel for rhythms in the ocaml community...

22:47 <DanC> For example, what's a reasonable expectation for when/if 4.09 support in merlin will be merged and released to opam? https://github.com/ocaml/merlin/pull/1031

22:48 <DanC> the compiler seems to have a monthly release heart-beat: https://ocaml.org/releases/index.html

22:48 <DanC> oh... maybe not; maybe it's just the last couple releases that were a month apart...

22:49 nicoo has quit [Remote host closed the connection]

22:49 toppler has quit [Ping timeout: 250 seconds]

22:50 nicoo has joined #ocaml

22:51 Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]

22:59 kakadu has quit [Remote host closed the connection]

23:00 toppler has joined #ocaml

23:04 spew has quit [Quit: Connection closed for inactivity]

23:18 toppler has quit [Ping timeout: 240 seconds]

23:30 smazga has joined #ocaml

23:30 toppler has joined #ocaml

23:31 <Fardale> DanC: 4.08 was delay but not 4.09 which is why there are so close

23:33 nullifidian__ has joined #ocaml

23:33 AtumT has quit [Quit: AtumT]

23:34 smazga has quit [Ping timeout: 250 seconds]

23:36 nullifidian_ has quit [Ping timeout: 240 seconds]

23:36 warriors has quit [Quit: Connection closed for inactivity]

23:49 toppler has quit [Ping timeout: 240 seconds]