#ocaml on 2017-10-16 — irc logs at freenode.irclog.whitequark.org

2017-07-13 10:09 companion_cube changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.05.0 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.05/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml

00:02 nahra has joined #ocaml

00:19 Simn has quit [Ping timeout: 255 seconds]

00:32 mfp has quit [Ping timeout: 240 seconds]

00:33 shinnya has quit [Ping timeout: 252 seconds]

00:55 ski has quit [Ping timeout: 240 seconds]

00:57 pierpa has quit [Quit: Page closed]

01:07 Denommus has joined #ocaml

01:08 cbot has joined #ocaml

01:10 Soni has quit [Ping timeout: 248 seconds]

01:18 Nephe has quit [Remote host closed the connection]

01:46 <rgrinberg> How deterministic is the Hashtbl.fold/iter order? Can I rely on it to be the same everywhere?

01:46 mayhew has quit [Remote host closed the connection]

01:51 Nephe has joined #ocaml

02:15 jao has quit [Ping timeout: 260 seconds]

02:22 cbot has quit [Ping timeout: 248 seconds]

02:24 cbot has joined #ocaml

03:10 Algebr has quit [Remote host closed the connection]

03:24 Denommus has quit [Quit: going to sleep]

03:43 govg has joined #ocaml

03:45 keep_learning has joined #ocaml

04:48 _whitelogger has joined #ocaml

05:09 _whitelogger has joined #ocaml

05:17 jonasen has joined #ocaml

05:47 <adrien> rgrinberg: they're deterministicv when ~random is false

05:48 <adrien> otherwise, they're not deterministic (except for cases where keys are the same I guess)

05:48 <adrien> but even when random is false, I think that adding or removing elements can change the order

06:03 mbuf has joined #ocaml

06:04 infinity0_ has joined #ocaml

06:04 infinity0 has quit [Ping timeout: 240 seconds]

06:04 infinity0_ has quit [Changing host]

06:04 infinity0_ has joined #ocaml

06:04 infinity0_ is now known as infinity0

06:05 cbot has quit [Quit: Leaving]

06:11 KeyJoo has joined #ocaml

06:24 mrallen1 has quit [Ping timeout: 255 seconds]

06:24 vinoski has quit [Ping timeout: 255 seconds]

06:24 lynn has quit [Ping timeout: 255 seconds]

06:24 yminsky has quit [Ping timeout: 255 seconds]

06:24 twold has quit [Ping timeout: 255 seconds]

06:24 l1x has quit [Ping timeout: 255 seconds]

06:24 sspi has quit [Ping timeout: 246 seconds]

06:24 Guest4509 has quit [Ping timeout: 246 seconds]

06:24 gjaldon__ has quit [Ping timeout: 264 seconds]

06:24 monad_cat has quit [Ping timeout: 264 seconds]

06:24 ggherdov has quit [Ping timeout: 246 seconds]

06:25 rgrinberg has quit [Ping timeout: 255 seconds]

06:25 vinoski has joined #ocaml

06:26 kerrhau has quit [Ping timeout: 240 seconds]

06:26 mengu has joined #ocaml

06:26 gjaldon__ has joined #ocaml

06:26 lynn has joined #ocaml

06:26 mrallen1 has joined #ocaml

06:26 l1x has joined #ocaml

06:26 yminsky has joined #ocaml

06:27 twold has joined #ocaml

06:27 monad_cat has joined #ocaml

06:28 sigjuice has quit [Ping timeout: 260 seconds]

06:28 dogui has quit [Ping timeout: 252 seconds]

06:29 sigjuice has joined #ocaml

06:31 rgrinberg has joined #ocaml

06:34 jbrown has quit [Quit: Leaving]

06:46 dejanr_home has joined #ocaml

06:47 samrat_ has joined #ocaml

06:48 dejanr has quit [Ping timeout: 240 seconds]

07:09 dakk has joined #ocaml

07:17 freusque has joined #ocaml

07:27 ygrek_ has joined #ocaml

07:28 AltGr has joined #ocaml

07:35 dogui has joined #ocaml

07:45 mnemem has joined #ocaml

07:45 sgnb has joined #ocaml

08:04 argent_smith has joined #ocaml

08:07 mengu has quit [Remote host closed the connection]

08:10 enterprisey has quit [Read error: Connection reset by peer]

08:12 TheLemonMan has joined #ocaml

08:14 mengu has joined #ocaml

08:18 <Drup> In all cases, I'm pretty sure it's not stable from one OCaml minor version to another

08:22 sspi has joined #ocaml

08:24 ggherdov has joined #ocaml

08:25 mfp has joined #ocaml

08:59 mk9 has joined #ocaml

09:02 KeyJoo has quit [Ping timeout: 246 seconds]

09:03 mk9 has quit [Ping timeout: 260 seconds]

09:13 AlexRussia has quit [Ping timeout: 252 seconds]

09:50 ygrek_ has quit [Ping timeout: 252 seconds]

09:53 mnemem has quit [Ping timeout: 248 seconds]

10:04 ziyourenxiang has joined #ocaml

10:25 mnemem has joined #ocaml

10:36 enterprisey has joined #ocaml

10:37 enterprisey has quit [Client Quit]

10:38 zolk3ri has joined #ocaml

10:43 jonasen has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

10:48 AlexRussia has joined #ocaml

10:49 kerrhau has joined #ocaml

10:49 kerrhau has quit [Changing host]

10:49 kerrhau has joined #ocaml

10:54 kerrhau has quit [Ping timeout: 252 seconds]

11:03 argent_smith has quit [Quit: Leaving.]

11:03 argent_smith has joined #ocaml

11:04 argent_smith has quit [Client Quit]

11:19 KeyJoo has joined #ocaml

11:31 mk9 has joined #ocaml

11:35 mk9 has quit [Remote host closed the connection]

11:35 dhil has joined #ocaml

11:44 argent_smith has joined #ocaml

11:48 mk9 has joined #ocaml

11:49 mk9 has quit [Client Quit]

11:55 KeyJoo has quit [Remote host closed the connection]

12:05 al-damiri has joined #ocaml

12:10 shinnya has joined #ocaml

12:23 ShalokShalom_ has joined #ocaml

12:25 fraya has joined #ocaml

12:25 ShalokShalom has quit [Ping timeout: 240 seconds]

12:37 kakadu has joined #ocaml

12:40 mengu has quit [Remote host closed the connection]

12:43 mk9 has joined #ocaml

12:43 dhil has quit [Ping timeout: 240 seconds]

12:47 dhil has joined #ocaml

12:50 mk9 has quit [Quit: mk9]

13:02 mk9 has joined #ocaml

13:05 Denommus has joined #ocaml

13:06 mk9 has quit [Client Quit]

13:13 jmiven has quit [Quit: co'o]

13:17 theblatte has quit [Quit: leaving]

13:17 theblatte has joined #ocaml

13:18 jmiven has joined #ocaml

13:30 ygrek_ has joined #ocaml

13:36 sz0 has joined #ocaml

13:38 mengu has joined #ocaml

13:42 argent_smith1 has joined #ocaml

13:48 TheLemon1an has joined #ocaml

13:48 argent_smith has quit [Read error: Connection reset by peer]

13:48 TheLemonMan has quit [Ping timeout: 246 seconds]

13:50 TheLemon1an is now known as TheLemonMan

13:52 andrea__ has joined #ocaml

13:54 <andrea__> anyone here knows about mirage tcp/ip stack codebase?

14:08 fraya has quit [Quit: Leaving]

14:08 mengu has quit [Remote host closed the connection]

14:11 jao has joined #ocaml

14:14 AlexRussia has quit [Ping timeout: 240 seconds]

14:26 Denommus` has joined #ocaml

14:28 Denommus has quit [Ping timeout: 255 seconds]

14:33 Denommus` has quit [Ping timeout: 240 seconds]

14:35 mengu has joined #ocaml

14:40 mengu has quit [Ping timeout: 248 seconds]

14:46 mnemem has quit [Ping timeout: 258 seconds]

14:50 mengu has joined #ocaml

14:53 sepp2k has joined #ocaml

14:54 mengu has quit [Ping timeout: 255 seconds]

14:59 Denommus has joined #ocaml

15:14 mbuf has quit [Quit: Leaving]

15:17 mk9 has joined #ocaml

15:20 mengu has joined #ocaml

15:21 mk9 has quit [Client Quit]

15:24 mengu has quit [Ping timeout: 240 seconds]

15:32 sh0t has joined #ocaml

15:40 Denommus` has joined #ocaml

15:41 mengu has joined #ocaml

15:41 jonasen has joined #ocaml

15:41 Denommus has quit [Ping timeout: 252 seconds]

15:45 mengu has quit [Ping timeout: 252 seconds]

15:51 Denommus` is now known as Denommus

15:56 abeaumont has quit [Ping timeout: 248 seconds]

15:58 FreeBirdLjj has joined #ocaml

16:00 shinnya has quit [Ping timeout: 252 seconds]

16:00 <Denommus> how can I send a patch to Erratique's React?

16:02 <octachron> Denommus, https://github.com/dbuenzli/react ?

16:04 <Drup> it's on gihub

16:09 FreeBirdLjj has quit [Remote host closed the connection]

16:14 ShalokShalom_ is now known as ShalokShalom

16:15 jonasen has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

16:21 aciniglio has joined #ocaml

16:24 ziyourenxiang has quit [Ping timeout: 240 seconds]

16:25 keep_learning has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

16:30 mk9 has joined #ocaml

16:30 mk9 has quit [Client Quit]

16:30 mbuf has joined #ocaml

16:31 keep_learning has joined #ocaml

16:35 <Denommus> I thought it was only a mirror

16:35 slash^ has joined #ocaml

16:37 slash_ has joined #ocaml

16:39 FreeBirdLjj has joined #ocaml

16:41 slash^ has quit [Ping timeout: 252 seconds]

16:44 FreeBirdLjj has quit [Ping timeout: 264 seconds]

16:48 AltGr has left #ocaml [#ocaml]

16:49 Algebr has joined #ocaml

16:52 ygrek_ has quit [Ping timeout: 248 seconds]

16:55 FreeBirdLjj has joined #ocaml

17:09 mnemem has joined #ocaml

17:14 keep_learning has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

17:16 keep_learning has joined #ocaml

17:17 dedgrant has joined #ocaml

17:29 mk9 has joined #ocaml

17:33 sapristi has joined #ocaml

17:36 keep_learning has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

17:36 mk9 has quit [Ping timeout: 248 seconds]

17:39 keep_learning has joined #ocaml

17:47 Denommus has quit [Quit: rebooting]

17:51 Anarchos has joined #ocaml

17:53 dejanr_home has quit [Ping timeout: 252 seconds]

17:53 dejanr has joined #ocaml

17:53 FreeBirdLjj has quit [Remote host closed the connection]

17:54 FreeBirdLjj has joined #ocaml

17:56 mengu has joined #ocaml

17:57 mbuf has quit [Quit: Leaving]

18:05 abeaumont has joined #ocaml

18:13 argent_smith1 has quit [Quit: Leaving.]

18:14 argent_smith has joined #ocaml

18:18 argent_smith1 has joined #ocaml

18:19 jnavila has joined #ocaml

18:19 argent_smith has quit [Ping timeout: 248 seconds]

18:23 argent_smith1 has quit [Ping timeout: 252 seconds]

18:27 ygrek_ has joined #ocaml

18:30 kakadu has quit [Quit: Konversation terminated!]

18:32 MercurialAlchemi has joined #ocaml

19:04 jnavila has quit [Ping timeout: 255 seconds]

19:04 FreeBirdLjj has quit [Remote host closed the connection]

19:05 FreeBirdLjj has joined #ocaml

19:05 aciniglio has quit [Ping timeout: 258 seconds]

19:06 <reynir> http://erratique.ch/ is dbuezli

19:06 <reynir> dbuenzli sorry

19:07 <reynir> (and Denommus is gone anyway)

19:09 FreeBirdLjj has quit [Ping timeout: 240 seconds]

19:20 kakadu has joined #ocaml

19:25 mk9 has joined #ocaml

19:25 mk9 has quit [Remote host closed the connection]

19:28 mk9 has joined #ocaml

19:28 samrat_ has quit [Ping timeout: 240 seconds]

19:31 samrat_ has joined #ocaml

19:35 argent_smith has joined #ocaml

19:38 argent_smith1 has joined #ocaml

19:39 argent_smith has quit [Ping timeout: 258 seconds]

19:57 slash_ has quit [Read error: Connection reset by peer]

19:57 dakk has quit [Ping timeout: 258 seconds]

20:03 keep_learning has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

20:11 arj has joined #ocaml

20:21 dakk has joined #ocaml

20:23 dhil has quit [Ping timeout: 255 seconds]

20:27 arj has quit [Quit: Leaving.]

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

20:33 mnemem has quit [Read error: Connection reset by peer]

20:33 TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]

20:33 mnemem has joined #ocaml

20:49 kakadu has quit [Ping timeout: 252 seconds]

20:49 kakadu has joined #ocaml

20:52 samrat_ has quit [Ping timeout: 248 seconds]

20:54 fraya has joined #ocaml

20:55 kolko has joined #ocaml

20:59 ollehar has joined #ocaml

20:59 <ollehar> what's new in 4.04? no language extension listed for that release?

20:59 <companion_cube> next release is 4.06 :)

21:00 <ollehar> eh?

21:00 <ollehar> Can't keep up

21:00 <companion_cube> look at the language manual, section 'extensions', you'll see what was added in 4.04 and 4.05

21:00 <ollehar> http://caml.inria.fr/pub/docs/manual-ocaml/extn.html#sec259

21:00 <ollehar> last is 4.03

21:00 <companion_cube> but I don't think there was anything as cool as in 4.03

21:01 <ollehar> oh wait

21:01 <ollehar> it's not listed in chronological order

21:01 <companion_cube> just ctrl-f through

21:02 <ollehar> yes

21:03 ygrek_ has quit [Ping timeout: 258 seconds]

21:08 Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]

21:08 dakk has quit [Ping timeout: 258 seconds]

21:11 fraya has quit [Quit: Leaving]

21:12 <octachron> My personal list: 4.04: local open in pattern*, local exception, unboxed ; 4.05: afl fuzzer, spacetime memory profiler

21:12 <companion_cube> ahhhhhh right, spacetime

21:12 <octachron> *[@@unboxed] annotation

21:12 <companion_cube> otherwise I stick with [@inline] and inline records from 4.03

21:12 <companion_cube> as my current favorites :)

21:13 <companion_cube> since I've only recently switche

21:13 <companion_cube> d

21:14 <octachron> oops, 4.04 for spacetime

21:15 <octachron> companion_cube, inline records are probably the main reason why I stop at 4.03 for old-version support

21:16 <companion_cube> yeah

21:20 donut2d has joined #ocaml

21:20 donut2d has quit [Remote host closed the connection]

21:20 donut2d has joined #ocaml

21:21 sepp2k has quit [Quit: Leaving.]

21:37 argent_smith1 has quit [Quit: Leaving.]

21:40 mayhew has joined #ocaml

21:41 _habnabit has quit [Ping timeout: 240 seconds]

21:42 mengu has quit [Remote host closed the connection]

21:48 _habnabit has joined #ocaml

21:52 mengu has joined #ocaml

21:54 keep_learning has joined #ocaml

22:09 cbot has joined #ocaml

22:14 kerrhau has joined #ocaml

22:14 kerrhau has quit [Changing host]

22:14 kerrhau has joined #ocaml

22:49 Algebr has quit [Ping timeout: 252 seconds]

22:59 shinnya has joined #ocaml

23:00 sapristi has quit [Ping timeout: 240 seconds]

23:14 cbot has quit [Ping timeout: 240 seconds]

23:16 ollehar has quit [Remote host closed the connection]

23:28 andrea__ has quit [Ping timeout: 260 seconds]

23:30 mk9 has quit [Quit: mk9]

23:38 kakadu has quit [Remote host closed the connection]

23:45 zolk3ri has quit [Quit: Lost terminal]

23:50 sh0t has quit [Remote host closed the connection]

23:52 Algebr has joined #ocaml

23:52 Algebr is now known as Guest31249

23:55 Algebr` has joined #ocaml