#ocaml on 2018-05-22 — irc logs at freenode.irclog.whitequark.org

2017-11-24 19:05 adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.06.0 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.06/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml

00:02 <hdon> octachron: i'm not sure i follow the part after the first comma: ", f(x,x)" since f was bound to a unary function...?

00:06 <octachron> hdon, "f (x,x)" means f applied to the pair (x,x)

00:10 pierpal has joined #ocaml

00:14 shinnya has joined #ocaml

00:17 pierpal has quit [Ping timeout: 260 seconds]

00:18 shinnya has quit [Ping timeout: 245 seconds]

00:24 ctrlsbstr has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

00:51 <discord2> <Perry> octachron: btw, discord does markdown, which would have made that so much more readable. 😃

00:56 Algebr has joined #ocaml

00:58 Algebr has left #ocaml [#ocaml]

00:59 <hdon> octachron: ahhh thanks

01:00 pierpal has joined #ocaml

01:01 pierpal has quit [Remote host closed the connection]

01:02 <hdon> octachron: why did you choose a tuple for your example? also, the left-hand quoted code doesn't seem to be mutually recursive.

01:05 pierpa has joined #ocaml

01:09 kleimkuhler has joined #ocaml

01:13 zolk3ri has quit [Remote host closed the connection]

01:13 kleimkuhler has quit [Client Quit]

01:28 silver_ has quit [Quit: rakede]

01:34 SegFaultAX has joined #ocaml

01:43 sh0t has quit [Ping timeout: 260 seconds]

01:49 kleimkuhler has joined #ocaml

02:00 kleimkuhler has quit [Quit: kleimkuhler]

02:02 kleimkuhler has joined #ocaml

02:13 kleimkuhler has quit [Quit: kleimkuhler]

02:17 mfp_ has quit [Ping timeout: 260 seconds]

02:18 tormen has joined #ocaml

02:21 kleimkuhler has joined #ocaml

02:22 tormen_ has quit [Ping timeout: 260 seconds]

02:26 kleimkuhler has quit [Quit: kleimkuhler]

03:35 pierpa has quit [Quit: Page closed]

03:45 hdon has quit [Ping timeout: 245 seconds]

03:51 pierpal has joined #ocaml

04:03 mbuf has joined #ocaml

04:07 pierpal has quit [Read error: Connection reset by peer]

04:08 pierpal has joined #ocaml

04:12 pierpal has quit [Ping timeout: 245 seconds]

04:15 pierpal has joined #ocaml

04:24 pierpal has quit [Remote host closed the connection]

04:28 sz0 has quit [Quit: Connection closed for inactivity]

04:43 pierpal has joined #ocaml

05:04 pierpal has quit [Ping timeout: 252 seconds]

05:08 pierpal has joined #ocaml

05:11 tarptaeya has joined #ocaml

05:17 pierpal has quit [Ping timeout: 240 seconds]

05:20 pierpal has joined #ocaml

05:25 kleimkuhler has joined #ocaml

05:49 noitakomentaja has joined #ocaml

05:51 kleimkuhler has quit [Quit: kleimkuhler]

05:52 muelleme has joined #ocaml

06:06 jimmyrcom_ has joined #ocaml

06:14 muelleme has quit [Ping timeout: 245 seconds]

06:16 hdon has joined #ocaml

06:20 hdon has quit [Ping timeout: 260 seconds]

06:41 muelleme has joined #ocaml

06:44 noitakomentaja has quit [Ping timeout: 250 seconds]

06:46 muelleme has quit [Ping timeout: 245 seconds]

06:46 noitakomentaja has joined #ocaml

06:59 freyr has joined #ocaml

07:13 jimmyrcom_ has quit [Ping timeout: 260 seconds]

07:32 infinity0 has quit [Remote host closed the connection]

07:32 Haudegen has joined #ocaml

07:40 mk9 has joined #ocaml

07:50 infinity0 has joined #ocaml

07:52 jaar has joined #ocaml

07:54 mk9 has quit [Quit: mk9]

07:54 mk9 has joined #ocaml

08:17 noitakomentaja has quit [Ping timeout: 250 seconds]

08:19 noitakomentaja has joined #ocaml

08:20 dhil has joined #ocaml

08:25 mk9 has quit [Quit: mk9]

08:41 ia0 has quit [Quit: reboot]

08:44 ia0 has joined #ocaml

08:44 argent_smith has joined #ocaml

08:57 muelleme has joined #ocaml

09:02 muelleme has quit [Ping timeout: 245 seconds]

09:06 mk9 has joined #ocaml

09:13 shw has quit [Quit: shw]

09:13 shw has joined #ocaml

09:14 noitakomentaja has quit [Remote host closed the connection]

09:21 dhil has quit [Ping timeout: 252 seconds]

09:26 dhil has joined #ocaml

09:28 ziyourenxiang has joined #ocaml

09:37 mk9 has quit [Quit: mk9]

09:45 hdon has joined #ocaml

09:46 chelfi1 has quit [Quit: WeeChat 2.1]

09:50 hdon has quit [Ping timeout: 256 seconds]

09:55 shw has quit [Quit: shw]

09:56 mk9 has joined #ocaml

09:59 shw has joined #ocaml

10:01 mk9 has quit [Client Quit]

10:10 argent_smith has quit [Quit: Leaving.]

10:15 mk9 has joined #ocaml

10:28 mk9 has quit [Quit: mk9]

10:32 johnelse has quit [Quit: leaving]

10:35 mk9 has joined #ocaml

10:47 mk9 has quit [Quit: mk9]

10:49 johnelse has joined #ocaml

10:49 Haudegen has quit [Read error: Connection reset by peer]

10:51 chelfi has joined #ocaml

11:15 govg has quit [Quit: leaving]

11:17 johnelse is now known as johnel_away

11:17 johnel_away is now known as johnelse

11:46 hdon has joined #ocaml

11:48 zolk3ri has joined #ocaml

11:48 spew has joined #ocaml

11:50 hdon has quit [Ping timeout: 260 seconds]

11:54 Haudegen has joined #ocaml

12:16 malina has joined #ocaml

12:18 dhil has quit [Ping timeout: 260 seconds]

12:18 _xvilka_ has quit [Quit: Lost terminal]

12:20 pierpal has quit [Read error: Connection reset by peer]

12:28 BitPuffin has joined #ocaml

12:30 pierpal has joined #ocaml

12:39 pierpal has quit [Read error: Connection reset by peer]

12:39 shinnya has joined #ocaml

12:39 pierpal has joined #ocaml

12:41 mbuf has quit [Quit: Leaving]

12:41 pierpal has quit [Read error: Connection reset by peer]

12:41 pierpal has joined #ocaml

13:07 mengu has joined #ocaml

13:11 pierpal has quit [Quit: Poof]

13:11 pierpal has joined #ocaml

13:22 mengu has quit [Remote host closed the connection]

13:23 dhil has joined #ocaml

13:26 gtrak has joined #ocaml

13:50 pierpal has quit [Ping timeout: 260 seconds]

13:56 Haudegen has quit [Remote host closed the connection]

13:56 mengu has joined #ocaml

13:57 pierpal has joined #ocaml

13:58 sh0t has joined #ocaml

14:03 freyr has quit [Remote host closed the connection]

14:03 pierpal has quit [Quit: Poof]

14:04 pierpal has joined #ocaml

14:13 Haudegen has joined #ocaml

14:13 pierpal has quit [Quit: Poof]

14:13 pierpal has joined #ocaml

14:16 picolino has quit [Remote host closed the connection]

14:27 tilpner has quit [Read error: Connection reset by peer]

14:27 tilpner has joined #ocaml

14:44 kleimkuhler has joined #ocaml

14:47 FreeBirdLjj has joined #ocaml

14:51 malina has quit [Ping timeout: 260 seconds]

14:58 shinnya has quit [Ping timeout: 252 seconds]

15:01 BitPuffin has quit [Remote host closed the connection]

15:06 kleimkuhler has quit [Quit: kleimkuhler]

15:08 dhil has quit [Ping timeout: 260 seconds]

15:11 dhil has joined #ocaml

15:17 jimmyrcom_ has joined #ocaml

15:33 BitPuffin has joined #ocaml

15:40 hdon has joined #ocaml

15:44 hdon has quit [Ping timeout: 245 seconds]

15:45 jimmyrcom_ has quit [Ping timeout: 264 seconds]

15:47 argent_smith has joined #ocaml

16:06 malina has joined #ocaml

16:09 argent_smith1 has joined #ocaml

16:12 argent_smith has quit [Ping timeout: 252 seconds]

16:21 shinnya has joined #ocaml

16:29 mengu has quit [Quit: Leaving...]

16:29 Haudegen has quit [Remote host closed the connection]

16:37 muelleme has joined #ocaml

16:42 jaar has quit [Quit: Leaving]

16:43 shinnya has quit [Ping timeout: 248 seconds]

16:43 jimmyrcom_ has joined #ocaml

16:47 argent_smith has joined #ocaml

16:47 pierpal has quit [Read error: Connection reset by peer]

16:49 dedgrant has joined #ocaml

16:51 argent_smith1 has quit [Ping timeout: 256 seconds]

16:52 pierpal has joined #ocaml

17:07 jimmyrcom_ has quit [Ping timeout: 245 seconds]

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

17:12 hdon has joined #ocaml

17:14 tane has joined #ocaml

17:20 jimmyrcom_ has joined #ocaml

17:21 silver has joined #ocaml

17:23 argent_smith1 has joined #ocaml

17:27 argent_smith has quit [Ping timeout: 252 seconds]

17:28 ctrlsbstr has joined #ocaml

17:36 hdon has quit [Changing host]

17:36 hdon has joined #ocaml

17:39 jimmyrcom_ has quit [Ping timeout: 260 seconds]

17:39 Haudegen has joined #ocaml

17:39 sz0 has joined #ocaml

17:40 jnavila has joined #ocaml

17:44 BitPuffin has quit [Remote host closed the connection]

17:53 pierpal has quit [Quit: Poof]

17:54 pierpal has joined #ocaml

18:07 ctrlsbstr has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

18:08 pierpal has quit [Quit: Poof]

18:09 pierpal has joined #ocaml

18:13 pierpal has quit [Ping timeout: 245 seconds]

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

18:19 jnavila has joined #ocaml

18:33 ctrlsbstr has joined #ocaml

18:43 pierpal has joined #ocaml

18:47 pierpal has quit [Ping timeout: 252 seconds]

18:49 pierpal has joined #ocaml

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

18:55 pierpal has quit [Read error: Connection reset by peer]

19:03 pierpal has joined #ocaml

19:10 def` has quit [Remote host closed the connection]

19:16 def` has joined #ocaml

19:18 muelleme has joined #ocaml

19:21 Haudegen has quit [Remote host closed the connection]

19:22 jimmyrcom_ has joined #ocaml

19:34 zolk3ri has quit [Ping timeout: 240 seconds]

19:36 mfp has joined #ocaml

19:37 zolk3ri has joined #ocaml

19:45 Haudegen has joined #ocaml

19:49 jack5638 has quit [Ping timeout: 260 seconds]

19:49 pierpal has quit [Quit: Poof]

19:49 pierpal has joined #ocaml

19:55 kakadu has joined #ocaml

19:55 jack5638 has joined #ocaml

19:59 tarptaeya has quit [Quit: Konversation terminated!]

20:18 dhil has quit [Ping timeout: 252 seconds]

20:34 tane has quit [Remote host closed the connection]

20:37 FreeBirdLjj has quit [Remote host closed the connection]

20:46 argent_smith1 has quit [Quit: Leaving.]

21:00 muelleme has quit [Ping timeout: 268 seconds]

21:06 orbifx has joined #ocaml

21:07 <orbifx> Is there anything wrong with doing Random initialise in the body of a module that uses random numbers?

21:09 <orbifx> as in self_init?

21:09 <octachron> orbifx, this should be fine

21:10 <orbifx> Worst case scenario the library user calls self_init again right?

21:10 jnavila has quit [Remote host closed the connection]

21:10 <octachron> self_init is problematic if you need determinism(/repeatability); it may mess up correlation if you are calling it too often

21:11 <Drup> Yeah. If you really want control over your random generator, you should manipulate explicitely

21:11 <Drup> (with Random.State)

21:12 <octachron> and of course it is bad for cryptographic applications, but you should not use Random for this kind of applications

21:12 pierpal has quit [Quit: Poof]

21:12 pierpal has joined #ocaml

21:13 <octachron> orbifx, but in all cases where the above limitations sounded like imprecations in latin, you should be fine with self_init

21:14 <Drup> (as long as it's not in latin1)

21:17 <octachron> Drup, fortunately latin itself without macrons is ASCII-compatible

21:20 <Drup> Damned Macrons!

21:23 pierpa has joined #ocaml

21:29 pierpal has quit [Ping timeout: 264 seconds]

21:36 gtrak has quit [Ping timeout: 264 seconds]

21:55 <orbifx> imprecations in latin octachron Drup ?

21:55 <orbifx> It's not related to cryptographic applications

21:57 muelleme has joined #ocaml

21:58 spew has quit [Quit: Connection closed for inactivity]

22:01 muelleme has quit [Ping timeout: 245 seconds]

22:05 malina has quit [Quit: Throwing apples of Montserrat]

22:08 <orbifx> Ok, I think I know what I should do

22:11 <orbifx> Thanks octachron Drup

22:13 malina has joined #ocaml

22:19 moei has quit [Quit: Leaving...]

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

22:27 ctrlsbstr has joined #ocaml

22:35 <companion_cube> hmm, any ocaml-migrate-parsetree expert here?

22:35 <companion_cube> I'm wondering if there's a generic way to convert from "current syntax" to a fixed version

22:35 ctrlsbstr has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

22:37 Haudegen has quit [Remote host closed the connection]

22:37 <Drup> There is

22:39 <companion_cube> and… what's it like? :3

22:39 <companion_cube> I don't see anything in the list of modules

22:41 <Drup> Migrate_parsetree.Version.(migrate ocaml_403 ocaml_current)

22:41 <Drup> something like that

22:42 <Drup> Versions*

22:42 <steenuil> is that automated in any way with ppx_tools?

22:42 <steenuil> no wait, what was the new one called

22:42 <steenuil> ppxlib

22:43 <Drup> steenuil: ppxlib uses omp under the hood, yes

22:44 <steenuil> neat

22:44 <Drup> (You only ever need to do this yourself if you manipulate the ast outside of the formal context of ppxs, really)

22:44 <companion_cube> oh, neat, ok

22:44 <companion_cube> thank you Drup

22:45 <Drup> companion_cube: if you are writing a ppx, you should use Driver.register, and it will ask for an ocaml version

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

22:50 <companion_cube> I am not writing a ppx, I am doing weird things with a parsetree

22:50 <Drup> right, then yes

22:51 <Drup> I have an example of something like that

22:51 <Drup> companion_cube: https://github.com/ocsigen/tyxml/blob/master/ppx/reflect/reflect.ml

22:52 <Drup> (It's a program that does some introspection on tyxml's .mli to generate code required for the ppx)

22:53 <Drup> Ah, the jbuild file is important: https://github.com/ocsigen/tyxml/blob/master/ppx/reflect/jbuild#L9-L11

22:56 vladan has joined #ocaml

22:57 <companion_cube> too much magic, I'm afraid

22:58 <Drup> meh, no, it's a thing that read .mli and output .ml, otherwise, it's exactly a ppx

23:04 moei has joined #ocaml

23:10 orbifx has quit [Quit: WeeChat 2.0.1]

23:12 ctrlsbstr has joined #ocaml

23:22 noitakomentaja has joined #ocaml

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

23:33 johnelse has quit [Ping timeout: 264 seconds]

23:33 shinnya has joined #ocaml

23:34 ctrlsbstr has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

23:40 johnelse has joined #ocaml

23:46 ziyourenxiang has quit [Quit: Leaving]

23:58 muelleme has joined #ocaml