#ocaml on 2019-10-25 — 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:21 jao has quit [Remote host closed the connection]

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

00:35 Haudegen has quit [Quit: Bin weg.]

00:37 toppler has joined #ocaml

00:58 okuu has joined #ocaml

01:06 Traviss__ has joined #ocaml

01:06 <okuu> I am trying to write a dumb program in SML, but can't. If someone could tell me how this program could be written in OCaml, I'll switch in a heartbeat: https://stackoverflow.com/q/58550827/46571

01:06 vicfred has joined #ocaml

01:07 Traviss__ has quit [Client Quit]

01:07 Traviss__ has joined #ocaml

01:09 traviss has quit [Ping timeout: 245 seconds]

01:11 Traviss__ has quit [Client Quit]

01:11 traviss has joined #ocaml

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

01:17 toppler has joined #ocaml

01:31 traviss has quit [Quit: Leaving]

01:54 toppler has quit [Ping timeout: 268 seconds]

01:56 traviss has joined #ocaml

01:58 toppler has joined #ocaml

02:05 Haudegen has joined #ocaml

02:12 mfp has quit [Ping timeout: 264 seconds]

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

02:35 toppler has joined #ocaml

02:55 tormen_ has joined #ocaml

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

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

03:12 toppler has joined #ocaml

03:49 toppler has quit [Ping timeout: 264 seconds]

03:54 toppler has joined #ocaml

04:25 okuu has quit [Quit: brb]

04:29 toppler has quit [Ping timeout: 246 seconds]

04:35 toppler has joined #ocaml

04:44 narimiran has joined #ocaml

04:56 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

04:59 kleisli has quit [Ping timeout: 240 seconds]

05:00 ggole has joined #ocaml

05:06 gravicappa has joined #ocaml

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

05:16 toppler has joined #ocaml

05:42 nullifidian__ is now known as nullifidian

05:50 unyu has quit [Remote host closed the connection]

05:50 unyu has joined #ocaml

05:55 toppler has quit [Ping timeout: 252 seconds]

06:01 toppler has joined #ocaml

06:15 kvda has joined #ocaml

06:19 madroach has quit [Read error: Connection reset by peer]

06:19 bartholin has quit [Remote host closed the connection]

06:23 madroach has joined #ocaml

06:27 madroach has quit [Read error: Connection reset by peer]

06:28 nullifidian has quit [Read error: Connection reset by peer]

06:28 nullifidian_ has joined #ocaml

06:31 madroach has joined #ocaml

06:34 Serpent7776 has joined #ocaml

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

06:39 nullifidian__ has joined #ocaml

06:41 brillenfux has joined #ocaml

06:42 nullifidian_ has quit [Ping timeout: 240 seconds]

06:42 toppler has joined #ocaml

06:43 nullifidian__ is now known as nullifidian

06:45 madroach has quit [Read error: Connection reset by peer]

06:50 madroach has joined #ocaml

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

07:22 toppler has joined #ocaml

07:51 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

07:52 kvda has joined #ocaml

07:55 kvda has quit [Client Quit]

07:55 toppler has quit [Ping timeout: 276 seconds]

07:59 toppler has joined #ocaml

08:15 gareppa has joined #ocaml

08:17 madroach has quit [Read error: Connection reset by peer]

08:19 kvda has joined #ocaml

08:21 madroach has joined #ocaml

08:22 gareppa has quit [Remote host closed the connection]

08:22 gareppa has joined #ocaml

08:31 gareppa has quit [Quit: Leaving]

08:31 gareppa has joined #ocaml

08:35 dhil has joined #ocaml

08:36 toppler has quit [Ping timeout: 264 seconds]

08:39 vicfred has quit [Remote host closed the connection]

08:40 toppler has joined #ocaml

08:45 gareppa has quit [Quit: Leaving]

08:48 gareppa has joined #ocaml

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

09:17 toppler has joined #ocaml

09:42 mfp has joined #ocaml

09:46 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

09:49 gareppa has quit [Quit: Leaving]

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

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

09:58 toppler has joined #ocaml

10:08 nullifidian_ has joined #ocaml

10:09 nullifidian has quit [Read error: Connection reset by peer]

10:14 webshinra has quit [Remote host closed the connection]

10:14 webshinra has joined #ocaml

10:35 toppler has quit [Ping timeout: 245 seconds]

10:40 toppler has joined #ocaml

11:17 toppler has quit [Ping timeout: 264 seconds]

11:22 toppler has joined #ocaml

11:38 jgkamat has quit [Ping timeout: 240 seconds]

11:47 Niamkik has quit [Quit: WeeChat 2.4]

11:47 Haudegen has quit [Quit: No Ping reply in 180 seconds.]

11:49 Haudegen has joined #ocaml

11:51 Niamkik has joined #ocaml

11:54 dhil has quit [Ping timeout: 246 seconds]

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

11:55 dhil has joined #ocaml

11:57 dhil has quit [Client Quit]

11:58 gareppa has joined #ocaml

11:58 toppler has quit [Ping timeout: 252 seconds]

12:00 gareppa has quit [Remote host closed the connection]

12:02 jgkamat has joined #ocaml

12:04 toppler has joined #ocaml

12:10 Haudegen has quit [Quit: Bin weg.]

12:19 kleisli has joined #ocaml

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

12:36 toppler has joined #ocaml

12:45 jbrown has quit [Ping timeout: 246 seconds]

13:00 jaar has joined #ocaml

13:07 toppler has quit [Ping timeout: 250 seconds]

13:07 Haudegen has joined #ocaml

13:13 toppler has joined #ocaml

13:42 spew has joined #ocaml

13:44 warriors has joined #ocaml

13:46 toppler has quit [Ping timeout: 246 seconds]

13:47 picolino has joined #ocaml

13:51 toppler has joined #ocaml

13:53 klntsky has quit [Remote host closed the connection]

13:58 klntsky has joined #ocaml

14:02 jbrown has joined #ocaml

14:10 picolino has quit [Ping timeout: 240 seconds]

14:11 unyu has quit [Quit: restart]

14:11 unyu has joined #ocaml

14:16 nullifidian__ has joined #ocaml

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

14:19 nullifidian_ has quit [Ping timeout: 240 seconds]

14:25 toppler has joined #ocaml

14:36 Serpent7776 has quit [Quit: Leaving]

14:44 gareppa has joined #ocaml

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

14:55 smazga has joined #ocaml

14:58 toppler has joined #ocaml

15:02 Haudegen has quit [Ping timeout: 240 seconds]

15:07 FreeBirdLjj has joined #ocaml

15:19 Traviss__ has joined #ocaml

15:19 Traviss__ has quit [Client Quit]

15:22 Traviss__ has joined #ocaml

15:22 traviss has quit [Ping timeout: 245 seconds]

15:22 Traviss__ has quit [Client Quit]

15:23 gravicappa has joined #ocaml

15:23 traviss has joined #ocaml

15:29 Haudegen has joined #ocaml

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

15:30 picolino has joined #ocaml

15:30 traviss has quit [Quit: Leaving]

15:30 traviss has joined #ocaml

15:34 toppler has joined #ocaml

15:40 jbrown has quit [Quit: Leaving]

15:52 gareppa has quit [Quit: Leaving]

15:57 <narimiran> is there a tool (?) which can tell you if some function is tail-recursive or not?

16:01 Haudegen has quit [Ping timeout: 246 seconds]

16:01 <companion_cube> you can annotation recursive calls like this: `(f [@tailcall]) x y z`

16:01 <companion_cube> and it emits a warning if this is not a tailcall to f

16:02 Serpent7776 has joined #ocaml

16:02 Haudegen has joined #ocaml

16:02 <narimiran> thanks companion_cube, let me try that

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

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

16:08 FreeBirdLjj has joined #ocaml

16:11 toppler has joined #ocaml

16:12 FreeBirdLjj has quit [Ping timeout: 250 seconds]

16:21 kowale has joined #ocaml

16:26 kowale has quit [Remote host closed the connection]

16:32 Vikfret has joined #ocaml

16:39 gareppa has joined #ocaml

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

16:50 toppler has joined #ocaml

17:05 ggole has quit [Remote host closed the connection]

17:05 ggole has joined #ocaml

17:06 haskell_enthusia has joined #ocaml

17:16 nullifidian__ is now known as nullifidian

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

17:22 Haudegen has quit [Quit: Bin weg.]

17:24 jnavila has joined #ocaml

17:27 toppler has joined #ocaml

17:32 gravicappa has quit [Ping timeout: 240 seconds]

17:34 jaar has quit [Ping timeout: 276 seconds]

17:39 gravicappa has joined #ocaml

17:42 gareppa has quit [Quit: Leaving]

17:44 nullifidian_ has joined #ocaml

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

17:47 nullifidian_ is now known as nullifidian

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

18:04 toppler has joined #ocaml

18:05 jnavila has quit [Ping timeout: 246 seconds]

18:07 bartholin has joined #ocaml

18:26 ohama has quit [Ping timeout: 265 seconds]

18:28 ohama has joined #ocaml

18:33 brillenfux has quit [Ping timeout: 240 seconds]

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

18:41 bitwinery has joined #ocaml

18:42 jnavila has joined #ocaml

18:42 Haudegen has joined #ocaml

18:44 toppler has joined #ocaml

19:07 smazga has quit [Ping timeout: 276 seconds]

19:08 smazga has joined #ocaml

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

19:28 toppler has joined #ocaml

19:42 rdivyanshu_ has quit [Quit: Connection closed for inactivity]

19:44 klntsky has quit [Remote host closed the connection]

19:44 klntsky has joined #ocaml

19:46 Hrundi_V_Bakshi has joined #ocaml

19:48 gravicappa has quit [Ping timeout: 240 seconds]

20:02 kakadu has joined #ocaml

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

20:08 toppler has joined #ocaml

20:09 ggole has quit [Quit: Leaving]

20:22 narimiran has quit [Ping timeout: 245 seconds]

20:23 neiluj has joined #ocaml

20:23 <neiluj> hello !

20:24 <neiluj> I wrote a tail recursive function to compute the size of a binary tree : https://privatebin.net/?9596fa69fe4cc13c#AypKM7BAKjfb3QehQG9Yq8StdkGgj5EiDuNZM1dN1t25

20:25 <neiluj> but I get stack overflows when I try this function with very large trees, so I'm wondering if there is a way to be more efficient

20:25 <companion_cube> it's not tailrecursive in the first Node case

20:26 <companion_cube> you probably want to carry a size accumulator as well

20:29 <neiluj> companion_cube: size' xs (1 + size' [l] n) is not tail recursive ?

20:29 <companion_cube> not the inner size'

20:29 <neiluj> ok so to be tail recursive the accumulator should not call the recursive function

20:30 <neiluj> well there shouldn't be a call in the accumulator

20:30 <companion_cube> https://privatebin.net/?75823d08d1f80baa#4gZkFXK3RYswRmosNEzcnpu9ZhjX6nHrRa5X9DbprtXK

20:30 <companion_cube> well you first compute `1 + size' [l] n`

20:30 <companion_cube> and because it's not in tail position, you have a stack frame

20:31 <neiluj> i agree with that

20:31 <companion_cube> so you get stack overflows

20:33 <neiluj> i understand, but the function would work if i had an infinite memory right?

20:34 <companion_cube> an infinite stack

20:34 <companion_cube> this eats stack

20:34 <companion_cube> my version only uses memory

20:34 <neiluj> the function calls eats stack yes

20:34 <neiluj> yes you're right

20:35 <companion_cube> because one of the calls isn't tailrec :)

20:36 <neiluj> interesting, i always thought that a function is not tail rec when you do a computation with the recursive function call

20:36 <companion_cube> which is what you do here

20:36 <neiluj> but i didn't thought it is the case in the accumulator

20:37 <companion_cube> well you need to compute the accumulator before you pass it to your function ^^

20:37 <neiluj> now it is obvious ^^

20:37 <neiluj> indeed

20:37 <companion_cube> heh, these things take a bit of time :)

20:37 <neiluj> so you merged the double match in one

20:39 <neiluj> well thank you very much companion_cube !

20:39 <companion_cube> ✔

20:39 toppler has quit [Ping timeout: 276 seconds]

20:39 <companion_cube> yeah this is just keeping the stack of calls to do as a heap-allocated list

20:39 <companion_cube> + an accumulator for the size computed so far

20:40 <neiluj> now your function looks even simpler than mine ^^

20:40 <neiluj> it's less nested

20:41 <companion_cube> years of habit :)

20:43 warriors has quit [Quit: Connection closed for inactivity]

20:44 toppler has joined #ocaml

20:53 smazga has quit [Quit: leaving]

21:21 toppler has quit [Ping timeout: 268 seconds]

21:26 toppler has joined #ocaml

21:28 nullifidian_ has joined #ocaml

21:31 nullifidian has quit [Ping timeout: 240 seconds]

21:46 jnavila has quit [Ping timeout: 276 seconds]

22:04 neiluj has quit [Quit: neiluj]

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

22:07 Serpent7776 has quit [Quit: leaving]

22:09 toppler has joined #ocaml

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

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

22:55 toppler has joined #ocaml

23:08 Vikfret has quit [Quit: Leaving]

23:21 bitwinery has quit [Read error: Connection reset by peer]

23:27 bitwinery has joined #ocaml

23:28 bitwinery has quit [Remote host closed the connection]

23:29 bitwinery has joined #ocaml

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

23:42 toppler has joined #ocaml

23:46 malina has joined #ocaml

23:54 malina has quit [Remote host closed the connection]