#ocaml on 2022-12-13 — irc logs at libera.irclog.whitequark.org

2022-03-30 13:11 companion_cube changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 4.14.0 released: https://ocaml.org/releases/4.14.0.html | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/

00:00 rak has quit [*.net *.split]

00:00 tomku|two has quit [*.net *.split]

00:00 hrberg_ has quit [*.net *.split]

00:00 pflanze has quit [*.net *.split]

00:00 brettgilio has quit [*.net *.split]

00:00 bacam has quit [*.net *.split]

00:00 tizoc has quit [*.net *.split]

00:00 Leonidas has quit [*.net *.split]

00:00 Armael has quit [*.net *.split]

00:00 adrien has quit [*.net *.split]

00:00 Johann has quit [*.net *.split]

00:00 tomku has joined #ocaml

00:00 adrien has joined #ocaml

00:00 Leonidas has joined #ocaml

00:00 Leonidas has quit [Changing host]

00:00 Leonidas has joined #ocaml

00:00 tomku has joined #ocaml

00:00 tomku has quit [Changing host]

00:00 spip has quit [Quit: Konversation terminated!]

00:01 pflanze has joined #ocaml

00:02 rak_ has joined #ocaml

00:03 Armael has joined #ocaml

00:04 Johann has joined #ocaml

00:05 bacam has joined #ocaml

00:06 tizoc has joined #ocaml

00:21 waleee has quit [Ping timeout: 256 seconds]

00:21 nd__ has joined #ocaml

00:26 waleee has joined #ocaml

00:27 nd__ has quit [Ping timeout: 260 seconds]

00:29 Tuplanolla has quit [Quit: Leaving.]

00:36 Haudegen has quit [Ping timeout: 255 seconds]

00:40 azimut_ has quit [Quit: ZNC - https://znc.in]

00:41 azimut has joined #ocaml

01:00 rak_ is now known as rak

01:13 troydm has joined #ocaml

01:57 brettgilio has joined #ocaml

02:07 motherfsck has quit [Quit: quit]

02:27 motherfsck has joined #ocaml

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

02:30 nd__ has joined #ocaml

02:35 nd__ has quit [Ping timeout: 265 seconds]

02:39 azimut has quit [Ping timeout: 255 seconds]

02:40 azimut has joined #ocaml

03:15 chrisz has quit [Ping timeout: 264 seconds]

03:16 chrisz has joined #ocaml

04:29 mbuf has joined #ocaml

04:39 nd__ has joined #ocaml

04:45 nd__ has quit [Ping timeout: 265 seconds]

04:49 nd__ has joined #ocaml

04:52 hackinghorn has quit [Remote host closed the connection]

04:54 nd__ has quit [Ping timeout: 268 seconds]

05:01 waleee has quit [Ping timeout: 260 seconds]

05:19 shamelessshill has joined #ocaml

05:19 shamelessshill has left #ocaml [#ocaml]

05:33 hackinghorn has joined #ocaml

05:38 hackinghorn has joined #ocaml

05:38 hackinghorn has quit [Changing host]

05:59 nd__ has joined #ocaml

06:05 nd__ has quit [Ping timeout: 272 seconds]

06:20 bartholin has joined #ocaml

06:29 Haudegen has joined #ocaml

06:35 bartholin has quit [Quit: Leaving]

06:38 nd__ has joined #ocaml

06:43 nd__ has quit [Ping timeout: 272 seconds]

06:49 bgs has joined #ocaml

07:11 jlrnick has joined #ocaml

07:23 bgs has quit [Remote host closed the connection]

07:28 jlrnick has quit [Ping timeout: 268 seconds]

07:35 goober has joined #ocaml

07:37 nd__ has joined #ocaml

07:38 xd1le has joined #ocaml

07:40 genpaku has quit [Remote host closed the connection]

07:40 genpaku has joined #ocaml

07:44 trev has joined #ocaml

07:48 mro has joined #ocaml

08:04 keyboard has quit [Quit: keyboard]

08:17 Serpent7776 has joined #ocaml

08:20 anpad has quit [Quit: ZNC 1.8.2 - https://znc.in]

08:22 anpad has joined #ocaml

08:27 podge has joined #ocaml

08:42 mro has quit [Remote host closed the connection]

08:42 hsw_ has quit [Quit: Leaving]

08:42 hsw has joined #ocaml

09:00 mro has joined #ocaml

09:02 olle has joined #ocaml

09:05 mro has quit [Ping timeout: 246 seconds]

09:22 azimut has quit [Ping timeout: 255 seconds]

09:39 mro has joined #ocaml

09:43 alexherbo2 has joined #ocaml

09:44 jlrnick has joined #ocaml

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

09:55 spip has joined #ocaml

09:59 kakadu has joined #ocaml

10:03 mro has joined #ocaml

10:14 nd__ has quit [Read error: Connection reset by peer]

10:18 nd__ has joined #ocaml

10:35 mro has quit [Quit: Leaving...]

10:51 <quernd> olle: You can still use `Stdlib.List` even if you opened Base

10:53 jlrnick has quit [Ping timeout: 272 seconds]

10:54 <quernd> Very surprised though, Base should also have List.length

11:00 <Fardale> olle: as a side not, using "List.length l > 0" takes linear time to compute the length of the list, whereas "l <> []" is a constant time operation

11:05 <olle> quernd: ah! thanks

11:05 <olle> Fardale: oh yeah, also true :)

11:07 azimut has joined #ocaml

11:11 podge has quit [Ping timeout: 255 seconds]

11:20 wingsorc has quit [Ping timeout: 256 seconds]

11:21 podge has joined #ocaml

11:27 xd1le has quit [Quit: xd1le]

11:41 jlrnick has joined #ocaml

11:42 azimut has quit [Ping timeout: 255 seconds]

11:43 azimut has joined #ocaml

11:52 podge has quit [Remote host closed the connection]

11:54 jlrnick has quit [Ping timeout: 272 seconds]

11:56 podge has joined #ocaml

12:11 mbuf has quit [Ping timeout: 265 seconds]

12:12 mbuf has joined #ocaml

12:17 mbuf has quit [Ping timeout: 265 seconds]

12:18 mbuf has joined #ocaml

12:41 jlrnick has joined #ocaml

12:42 Serpent7776 has quit [Ping timeout: 255 seconds]

12:43 mbuf has quit [Ping timeout: 265 seconds]

12:44 Serpent7776 has joined #ocaml

12:44 mbuf has joined #ocaml

12:45 azimut has quit [Ping timeout: 255 seconds]

13:04 Haudegen has quit [Quit: Bin weg.]

13:07 perrierjouet has quit [Quit: WeeChat 3.7.1]

13:20 Haudegen has joined #ocaml

13:25 Haudegen has quit [Quit: Bin weg.]

13:30 cp- has quit [Ping timeout: 265 seconds]

13:36 jlrnick has quit [Ping timeout: 256 seconds]

14:33 Haudegen has joined #ocaml

14:35 azimut has joined #ocaml

14:49 kurfen has quit [Ping timeout: 260 seconds]

14:56 kurfen has joined #ocaml

15:19 darchitect has quit [Ping timeout: 264 seconds]

15:20 darchitect has joined #ocaml

15:39 jao has joined #ocaml

16:08 nd__ has quit [Ping timeout: 272 seconds]

16:19 terrorjack has quit [Ping timeout: 264 seconds]

16:21 terrorjack has joined #ocaml

16:22 alexherbo2 has quit [Remote host closed the connection]

16:23 podge has quit [Ping timeout: 272 seconds]

16:23 jao has quit [Ping timeout: 272 seconds]

16:27 podge has joined #ocaml

16:46 Haudegen has quit [Quit: Bin weg.]

16:46 nd__ has joined #ocaml

16:56 nd__ has quit [Ping timeout: 246 seconds]

17:00 alexherbo2 has joined #ocaml

17:19 John_Ivan_ has quit [Read error: Connection reset by peer]

17:24 CalimeroTeknik has joined #ocaml

17:24 CalimeroTeknik has quit [Changing host]

17:47 SquidDev has quit [Quit: Bye!]

17:47 SquidDev has joined #ocaml

17:50 greaser|q has joined #ocaml

17:50 SquidDev has quit [Client Quit]

17:50 SquidDev has joined #ocaml

17:50 jackhill_ has joined #ocaml

17:51 Haudegen has joined #ocaml

17:51 hannes__ has joined #ocaml

17:53 tristanC_ has joined #ocaml

17:54 jackhill has quit [Ping timeout: 252 seconds]

17:55 Crocodillian has quit [Ping timeout: 252 seconds]

17:55 GreaseMonkey has quit [Ping timeout: 252 seconds]

17:55 hannes has quit [Ping timeout: 252 seconds]

17:55 tristanC has quit [Ping timeout: 252 seconds]

17:57 Crocodillian has joined #ocaml

18:06 Serpent7776 has quit [Quit: leaving]

18:13 nd__ has joined #ocaml

18:18 nd__ has quit [Ping timeout: 252 seconds]

18:19 alexherbo2 has quit [Remote host closed the connection]

18:26 mbuf has quit [Quit: Leaving]

19:00 ardon` has joined #ocaml

19:00 ardon` has quit [Remote host closed the connection]

19:02 nd__ has joined #ocaml

19:03 bartholin has joined #ocaml

19:10 nd__ has quit [Ping timeout: 268 seconds]

19:10 John_Ivan has joined #ocaml

19:10 bartholin has quit [Read error: Connection reset by peer]

19:11 nd__ has joined #ocaml

19:15 bartholin has joined #ocaml

19:17 nd__ has quit [Ping timeout: 256 seconds]

19:18 nd__ has joined #ocaml

19:19 podge has quit [Quit: Konversation terminated!]

19:21 keyboard has joined #ocaml

19:24 nd__ has quit [Ping timeout: 272 seconds]

19:28 nd__ has joined #ocaml

19:36 nd__ has quit [Ping timeout: 252 seconds]

19:38 nd__ has joined #ocaml

19:41 hrberg has joined #ocaml

19:43 nd__ has quit [Ping timeout: 252 seconds]

19:45 wingsorc has joined #ocaml

19:57 nd__ has joined #ocaml

20:05 nd__ has quit [Ping timeout: 256 seconds]

20:05 greaser|q has joined #ocaml

20:05 greaser|q has quit [Changing host]

20:06 greaser|q is now known as GreaseMonkey

20:08 pragma- has joined #ocaml

20:20 nd__ has joined #ocaml

20:20 jlrnick has joined #ocaml

20:27 nd__ has quit [Ping timeout: 272 seconds]

20:35 Tuplanolla has joined #ocaml

20:37 alexherbo2 has joined #ocaml

20:37 alexherbo2 has quit [Write error: Broken pipe]

20:44 nd__ has joined #ocaml

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

20:54 nd__ has joined #ocaml

20:58 nd__ has quit [Ping timeout: 265 seconds]

21:15 nd__ has joined #ocaml

21:20 nd__ has quit [Ping timeout: 252 seconds]

21:21 nd__ has joined #ocaml

21:26 nd__ has quit [Ping timeout: 256 seconds]

21:37 trev has quit [Remote host closed the connection]

21:42 keyboard has quit [Ping timeout: 256 seconds]

21:46 nd__ has joined #ocaml

21:54 hsw_ has joined #ocaml

21:55 hsw has quit [Ping timeout: 252 seconds]

22:03 jlrnick has quit [Ping timeout: 256 seconds]

22:04 nd__ has quit [Ping timeout: 252 seconds]

22:05 nd__ has joined #ocaml

22:09 waleee has joined #ocaml

22:10 nd__ has quit [Ping timeout: 268 seconds]

22:21 szkl has joined #ocaml

22:38 bartholin has quit [Quit: Leaving]

22:41 nd__ has joined #ocaml

22:46 nd__ has quit [Ping timeout: 268 seconds]

22:56 John_Ivan has quit [Read error: Connection reset by peer]

23:04 spip has quit [Quit: Konversation terminated!]

23:34 olle has quit [Ping timeout: 272 seconds]

23:42 Haudegen has quit [Ping timeout: 264 seconds]

23:46 nd__ has joined #ocaml

23:50 nd__ has quit [Ping timeout: 252 seconds]

23:55 azimut has quit [Ping timeout: 255 seconds]

23:57 azimut has joined #ocaml