#ocaml on 2019-01-11 — irc logs at freenode.irclog.whitequark.org

2018-10-19 11:39 adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.07.1 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.07/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml | Due to ongoing spam, you must register your nickname to talk on the channel

00:02 MadcapJake has joined #ocaml

00:11 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

00:45 orbifx has quit [Ping timeout: 246 seconds]

00:54 ziyourenxiang has joined #ocaml

01:04 al-damiri has quit [Quit: Connection closed for inactivity]

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

01:25 iovec has joined #ocaml

01:44 mfp has quit [Ping timeout: 258 seconds]

01:50 kvda has joined #ocaml

02:53 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

02:58 kvda has joined #ocaml

03:02 Spetznaz_ has quit [Ping timeout: 245 seconds]

03:05 JimmyRcom has quit [Ping timeout: 246 seconds]

03:12 tormen has joined #ocaml

03:15 tormen_ has quit [Ping timeout: 245 seconds]

03:32 JimmyRcom has joined #ocaml

03:38 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

03:40 iovec has quit [Quit: Connection closed for inactivity]

03:49 kvda has joined #ocaml

04:04 marvin2 has quit [Ping timeout: 246 seconds]

04:10 kvda has quit [Read error: Connection reset by peer]

04:17 JimmyRcom has quit [Ping timeout: 244 seconds]

04:28 kvda has joined #ocaml

04:46 gravicappa has joined #ocaml

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

04:54 z__tid has quit [Ping timeout: 252 seconds]

05:07 z__tid has joined #ocaml

05:36 sonologico has quit [Remote host closed the connection]

06:12 _whitelogger has joined #ocaml

06:19 horatiohb has quit [Ping timeout: 258 seconds]

06:25 ostera has joined #ocaml

06:30 jao has quit [Ping timeout: 240 seconds]

06:56 KeyJoo has joined #ocaml

06:58 recj has quit [Read error: Connection reset by peer]

06:58 recj has joined #ocaml

08:00 carlosdagos has quit [Quit: Connection closed for inactivity]

08:16 kvda has joined #ocaml

08:16 Serpent7776 has joined #ocaml

08:35 recj has quit [Read error: Connection reset by peer]

08:38 recj has joined #ocaml

08:54 iovec has joined #ocaml

09:07 Armael has quit [Ping timeout: 272 seconds]

09:08 Armael has joined #ocaml

09:08 rixed has quit [Remote host closed the connection]

09:08 rixed has joined #ocaml

09:10 ziyourenxiang has quit [Ping timeout: 250 seconds]

09:10 marvin2 has joined #ocaml

09:20 bartholin has joined #ocaml

09:55 KeyJoo has quit [Ping timeout: 258 seconds]

09:56 Guest6683 has joined #ocaml

09:56 KeyJoo has joined #ocaml

10:03 mfp has joined #ocaml

10:20 bartholin has quit [Remote host closed the connection]

10:28 Guest6683 has quit [Read error: Connection reset by peer]

10:36 freyr69 has joined #ocaml

10:46 Haudegen has joined #ocaml

10:59 CcxWrk has quit [Ping timeout: 268 seconds]

11:02 ostera has quit [Ping timeout: 272 seconds]

11:11 CcxWrk has joined #ocaml

11:17 CcxWrk has quit [Ping timeout: 244 seconds]

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

11:24 ostera has joined #ocaml

11:29 nullifidian__ has joined #ocaml

11:30 nullifidian_ has quit [Read error: Connection reset by peer]

11:36 CcxWrk has joined #ocaml

11:44 ostera has quit [Ping timeout: 245 seconds]

11:53 ostera has joined #ocaml

12:11 zolk3ri has joined #ocaml

12:12 jbrown has joined #ocaml

12:13 iovec has quit [Quit: Connection closed for inactivity]

12:34 ziyourenxiang has joined #ocaml

12:36 cthuluh_ is now known as cthuluh

12:43 ostera has quit [Ping timeout: 246 seconds]

13:07 jao has joined #ocaml

13:22 spew has joined #ocaml

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

13:30 iovec has joined #ocaml

13:31 nullifidian_ has joined #ocaml

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

13:33 zolk3ri has joined #ocaml

13:35 nullifidian__ has quit [Ping timeout: 250 seconds]

13:35 jao has quit [Ping timeout: 244 seconds]

13:38 ggole has joined #ocaml

14:04 nikivi has quit [Remote host closed the connection]

14:05 nikivi has joined #ocaml

14:07 initiumdoeslinux has joined #ocaml

14:26 Haudegen has joined #ocaml

14:29 FreeBirdLjj has joined #ocaml

14:39 freyr69 has quit [Remote host closed the connection]

14:43 sagotch has joined #ocaml

14:46 nikivi has quit [Quit: ZNC is awesome]

14:52 sagotch has quit [Ping timeout: 250 seconds]

14:52 sagotch has joined #ocaml

15:02 nikivi has joined #ocaml

15:13 Jesin has quit [Quit: Leaving]

15:19 Jesin has joined #ocaml

15:28 zolk3ri has quit [Ping timeout: 256 seconds]

15:28 initiumdoeslinux has quit [Remote host closed the connection]

15:34 mildtaste has quit [Remote host closed the connection]

15:34 zolk3ri has joined #ocaml

15:47 recj has quit [Ping timeout: 240 seconds]

15:51 jao has joined #ocaml

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

15:52 FreeBirdLjj has joined #ocaml

15:56 sagotch has quit [Quit: Leaving.]

15:57 FreeBirdLjj has quit [Ping timeout: 246 seconds]

16:21 sagotch has joined #ocaml

16:22 jao has quit [Disconnected by services]

16:23 jao has joined #ocaml

16:25 bartholin has joined #ocaml

16:29 <wilfredh> what's the nicest way to check if a list is empty in ocaml?

16:29 <wilfredh> let is_empty xs = match xs with | [] -> true | _ -> false

16:29 <wilfredh> this feels a little verbose

16:29 <wilfredh> should I use <> or != ?

16:30 <spew> I usually do lst = []

16:31 <wilfredh> both `= []` and `== []` seem to work

16:31 ygrek has joined #ocaml

16:31 <spew> depends on what you want

16:32 <spew> in that case it will be the same, though what you probably "mean" is "= []"

16:34 <wilfredh> thank you :)

16:34 ziyourenxiang has quit [Ping timeout: 252 seconds]

16:34 <spew> wilfredh: in general just use = unless you know what you are doing

16:37 jbrown has quit [Ping timeout: 252 seconds]

16:37 JimmyRcom has joined #ocaml

16:42 KeyJoo has quit [Quit: KeyJoo]

16:47 sagotch has quit [Read error: Connection timed out]

16:50 jbrown has joined #ocaml

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

16:54 sagotch has joined #ocaml

17:06 JimmyRcom has quit [Ping timeout: 246 seconds]

17:28 Spetznaz_ has joined #ocaml

17:32 Spetznaz_ has quit [Ping timeout: 245 seconds]

17:32 Spetznaz_ has joined #ocaml

17:36 sagotch has quit [Quit: Leaving.]

17:52 ggole has quit [Quit: ggole]

18:00 silver has joined #ocaml

18:01 Haudegen has joined #ocaml

18:14 jnavila has joined #ocaml

18:23 JimmyRcom has joined #ocaml

18:34 yomimono has joined #ocaml

18:37 dmiles has quit [Ping timeout: 246 seconds]

18:41 crowley95 has quit [Ping timeout: 246 seconds]

18:43 kakadu has quit [Remote host closed the connection]

18:43 so has quit [Ping timeout: 246 seconds]

18:47 crowley95 has joined #ocaml

18:51 so has joined #ocaml

18:52 <def`> Prefer pattern matching if you can. Just define the is_empty function somewhere ("Utils", "Misc", "MyStd", ... :D)

18:54 crowley95 has quit [Ping timeout: 240 seconds]

18:57 crowley95 has joined #ocaml

18:58 dmiles has joined #ocaml

19:01 yomimono has quit [Ping timeout: 252 seconds]

19:03 jnavila has quit [Ping timeout: 252 seconds]

19:10 crowley95 has quit [Ping timeout: 246 seconds]

19:12 crowley95 has joined #ocaml

19:19 yomimono has joined #ocaml

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

19:28 al-damiri has joined #ocaml

19:32 ygrek has quit [Remote host closed the connection]

19:33 ygrek has joined #ocaml

19:34 JimmyRcom has quit [Ping timeout: 272 seconds]

19:35 gravicappa has quit [Ping timeout: 246 seconds]

19:41 <steenuil> ...or just use containers

19:46 <vsiles> wilfredh: List.length l == 0 works too :D

19:47 <Armael> oh no

19:47 <Armael> don't do that, it takes time proportional to the size of the list :D

19:54 jao has joined #ocaml

19:55 JimmyRcom has joined #ocaml

20:01 kakadu has joined #ocaml

20:08 recj has joined #ocaml

20:13 <vsiles> List.is_empty is usually my choice

20:18 <spew> def`: you're seriously saying that "match lst with [] -> true | _ -> false" is superior to 'lst = []'?

20:19 yomimono has quit [Quit: Lost terminal]

20:19 zolk3ri has quit [Remote host closed the connection]

20:20 zolk3ri has joined #ocaml

20:21 <spew> vsiles: where is List.is_empty defined?

20:33 <vsiles> maybe in one of my libs; I don't remember :D

20:37 <companion_cube> in Containers, maybe? or Base?

20:51 yomimono has joined #ocaml

21:26 Serpent7776 has quit [Quit: leaving]

22:14 abaiste has quit [Read error: Connection reset by peer]

22:16 abaiste has joined #ocaml

22:16 abaiste has quit [Max SendQ exceeded]

22:25 ygrek has quit [Ping timeout: 246 seconds]

22:26 jnavila has joined #ocaml

22:32 abaiste has joined #ocaml

22:32 abaiste has quit [Max SendQ exceeded]

22:52 yomimono has quit [Ping timeout: 244 seconds]

22:53 yomimono has joined #ocaml

22:56 jnavila has quit [Ping timeout: 246 seconds]

22:57 silver has quit [Read error: Connection reset by peer]

23:04 yomimono has quit [Ping timeout: 250 seconds]

23:06 yomimono has joined #ocaml

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

23:17 recj has quit [Read error: Connection reset by peer]

23:18 recj has joined #ocaml

23:22 bartholin has quit [Remote host closed the connection]

23:29 ziyourenxiang has joined #ocaml

23:58 iovec has quit [Quit: Connection closed for inactivity]