#ocaml on 2022-01-08 — irc logs at libera.irclog.whitequark.org

2021-09-27 14:53 Leonidas changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 4.13.0 released: https://ocaml.org/releases/4.13.0.html | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/

00:07 spip has joined #ocaml

00:07 bobo_ has quit [Ping timeout: 256 seconds]

00:08 vicfred has quit [Quit: Leaving]

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

00:41 waleee has joined #ocaml

00:55 olle has quit [Ping timeout: 256 seconds]

01:11 Tuplanolla has quit [Quit: Leaving.]

01:23 waleee has quit [Ping timeout: 240 seconds]

01:26 waleee has joined #ocaml

01:34 epony has quit [Ping timeout: 240 seconds]

02:02 hackinghorn has quit [Ping timeout: 256 seconds]

02:42 Haudegen has quit [Ping timeout: 256 seconds]

02:52 <unyu> [

03:18 <d_bot> <darrenldl> ]

03:22 hackinghorn has joined #ocaml

03:22 <companion_cube> (((( ](

03:29 waleee has quit [Ping timeout: 256 seconds]

04:04 sparogy has quit [Remote host closed the connection]

04:06 sparogy has joined #ocaml

04:06 sparogy has quit [Remote host closed the connection]

04:08 <d_bot> <darrenldl> noooo, one cannot match a right unmatched bracket

04:09 sparogy has joined #ocaml

04:11 sparogy has quit [Remote host closed the connection]

04:12 wyrd has joined #ocaml

04:13 sparogy has joined #ocaml

04:24 rgrinberg has joined #ocaml

04:28 <companion_cube> https://xkcd.com/859/ for you

04:52 <d_bot> <Et7f3> ']>>}''"))) no. I closed the one for the title and one for the image and the description. I don't know what to do with ;;

04:52 wyrd has quit [Quit: leaving]

04:53 <d_bot> <Et7f3> Now I closed all those I can sleep. GN

04:53 wyrd has joined #ocaml

04:54 wyrd has quit [Client Quit]

04:55 hackinghorn has quit [Quit: Leaving]

04:56 zebrag has quit [Quit: Konversation terminated!]

04:57 wyrd has joined #ocaml

05:11 gravicappa has joined #ocaml

05:22 epony has joined #ocaml

06:12 rgrinberg has quit [Read error: Connection reset by peer]

06:13 rgrinberg has joined #ocaml

06:51 xiongxin has joined #ocaml

07:23 rgrinberg has quit [Read error: Connection reset by peer]

07:25 rgrinberg has joined #ocaml

07:34 hackinghorn has joined #ocaml

07:35 kaph_ has quit [Ping timeout: 256 seconds]

07:35 hackinghorn has quit [Changing host]

07:35 hackinghorn has joined #ocaml

07:35 <hackinghorn> hi

07:35 <hackinghorn> is List.fold same as List.fold_left

07:39 mro has joined #ocaml

07:51 bartholin has joined #ocaml

07:52 mro has quit [Remote host closed the connection]

07:53 rgrinberg has quit [Ping timeout: 240 seconds]

07:53 mclovin has quit [Ping timeout: 240 seconds]

07:53 mclovin has joined #ocaml

07:54 rgrinberg has joined #ocaml

07:56 mro has joined #ocaml

07:57 gravicappa has quit [Ping timeout: 256 seconds]

07:57 gravicappa has joined #ocaml

08:04 <williewillus> List.fold where? Stdlib List only has the explicitly named fold_left and fold_right

08:21 xiongxin has quit [Ping timeout: 240 seconds]

08:21 xiongxin has joined #ocaml

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

08:39 <ns12> hackinghorn: Are you referring to the List.fold from Core? https://ocaml.janestreet.com/ocaml-core/latest/doc/base/Base/List/index.html#val-fold

08:39 <hackinghorn> ah yes

08:39 <hackinghorn> I'm using List.fold from Core

08:40 <hackinghorn> wow, Stdlib only has fold_left

08:43 <ns12> hackinghorn: https://ocaml.org/api/List.html#VALfold_left

08:45 <ns12> hackinghorn: "is List.fold [from Core] same as List.fold_left [from the standard library]" - Yes, they are similar.

08:47 <hackinghorn> ah nice, thankss

09:02 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

09:10 x88x88x has quit [Remote host closed the connection]

09:10 x88x88x has joined #ocaml

09:24 hackhorn has joined #ocaml

09:25 hackhorn has quit [Changing host]

09:25 hackhorn has joined #ocaml

09:26 hackinghorn has quit [Ping timeout: 240 seconds]

09:31 kaph has joined #ocaml

09:54 dalek-caan has joined #ocaml

09:54 hornhack has joined #ocaml

09:57 hackhorn has quit [Ping timeout: 240 seconds]

10:09 hornhack has quit [Quit: Leaving]

10:10 Serpent7776 has joined #ocaml

10:11 Tuplanolla has joined #ocaml

10:28 olle has joined #ocaml

10:59 olle has quit [Ping timeout: 256 seconds]

10:59 olle has joined #ocaml

11:03 xiongxin has quit [Ping timeout: 240 seconds]

11:03 xiongxin has joined #ocaml

11:09 xiongxin has quit [Ping timeout: 256 seconds]

11:10 xiongxin has joined #ocaml

11:14 mro has joined #ocaml

11:16 mro has quit [Remote host closed the connection]

11:17 mro has joined #ocaml

11:22 mro has quit [Remote host closed the connection]

11:36 Haudegen has joined #ocaml

12:02 spip has quit [Read error: Connection reset by peer]

12:03 spip has joined #ocaml

12:21 mro has joined #ocaml

12:24 hackinghorn has joined #ocaml

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

13:07 gravicappa has quit [Ping timeout: 240 seconds]

13:19 xiongxin has quit [Remote host closed the connection]

13:26 rond_ has joined #ocaml

13:44 jlrnick has joined #ocaml

14:01 mro has joined #ocaml

14:06 mro has quit [Ping timeout: 268 seconds]

14:24 mro has joined #ocaml

14:36 gravicappa has joined #ocaml

14:43 mro has quit [Remote host closed the connection]

14:53 bartholin has quit [Quit: Leaving]

14:57 Everything has joined #ocaml

15:04 dalek-caan has quit [Quit: dalek-caan]

15:08 jlrnick has quit [Ping timeout: 240 seconds]

15:10 wyrd has quit [Ping timeout: 276 seconds]

15:14 mro has joined #ocaml

15:33 Nahra has quit [Remote host closed the connection]

15:37 chrisz has quit [Ping timeout: 256 seconds]

15:39 chrisz has joined #ocaml

15:51 Anarchos has joined #ocaml

16:01 mro has quit [Remote host closed the connection]

16:08 mro has joined #ocaml

16:28 olle has quit [Ping timeout: 256 seconds]

17:01 nerdypepper has quit [Ping timeout: 250 seconds]

17:02 nerdypepper has joined #ocaml

17:12 mg has quit [Ping timeout: 250 seconds]

17:23 Everything has quit [Quit: leaving]

17:30 dalek-caan has joined #ocaml

17:30 olle has joined #ocaml

17:30 Anarchos has quit [Quit: Vision[]: i've been blurred!]

17:31 wyrd has joined #ocaml

17:37 bobo_ has joined #ocaml

17:38 spip has quit [Ping timeout: 256 seconds]

17:40 mro has quit [Remote host closed the connection]

17:52 waleee has joined #ocaml

18:01 mg has joined #ocaml

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

18:19 waleee has joined #ocaml

18:25 emad has joined #ocaml

18:28 hackinghorn has quit [Read error: Connection reset by peer]

18:28 hackinghorn has joined #ocaml

18:41 bartholin has joined #ocaml

18:44 shawnw has joined #ocaml

18:59 dalek-caan has quit [Quit: dalek-caan]

19:45 wyrd has quit [Quit: leaving]

20:01 wyrd has joined #ocaml

20:11 emad has quit [Quit: Leaving]

20:11 emad has joined #ocaml

20:13 gravicappa has quit [Ping timeout: 256 seconds]

20:13 rgrinberg has joined #ocaml

20:18 rgrinberg has quit [Ping timeout: 256 seconds]

20:20 rgrinberg has joined #ocaml

20:26 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

20:35 rgrinberg has joined #ocaml

20:47 rgrinberg has quit [Ping timeout: 256 seconds]

20:55 rond_ has quit [Quit: Client closed]

21:01 rgrinberg has joined #ocaml

21:02 wyrd has quit [Quit: leaving]

21:04 wyrd has joined #ocaml

21:04 wyrd has quit [Client Quit]

21:06 wyrd has joined #ocaml

21:06 wyrd has quit [Client Quit]

21:07 wyrd has joined #ocaml

21:08 rgrinberg has quit [Ping timeout: 256 seconds]

21:10 rgrinberg has joined #ocaml

21:22 zebrag has joined #ocaml

21:24 mro has joined #ocaml

21:24 wyrd has quit [Quit: leaving]

21:28 wingsorc has quit [Quit: Leaving]

21:30 rgrinberg has quit [Ping timeout: 256 seconds]

21:31 sadiq has quit [Ping timeout: 250 seconds]

21:31 sadiq has joined #ocaml

21:31 notnotdan has quit [Ping timeout: 252 seconds]

21:32 notnotdan has joined #ocaml

21:32 wingsorc has joined #ocaml

21:32 sagax has joined #ocaml

21:32 emad has quit [Quit: Leaving]

21:35 perrierjouet has quit [Quit: WeeChat 3.4]

21:37 rgrinberg has joined #ocaml

21:40 hannes has quit [Ping timeout: 250 seconds]

21:40 hannes has joined #ocaml

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

21:46 rgrinberg has quit [Ping timeout: 256 seconds]

21:46 greenbagels has quit [Ping timeout: 252 seconds]

21:47 greenbagels has joined #ocaml

21:47 mro has joined #ocaml

21:48 rgrinberg has joined #ocaml

21:55 perrierjouet has joined #ocaml

22:04 rgrinberg has quit [Ping timeout: 256 seconds]

22:09 rgrinberg has joined #ocaml

22:15 wyrd has joined #ocaml

22:15 bartholin has quit [Quit: Leaving]

22:23 rgrinberg has quit [Ping timeout: 256 seconds]

22:28 mro has quit [Remote host closed the connection]

22:28 mro has joined #ocaml

22:30 rgrinberg has joined #ocaml

22:53 rgrinberg has quit [Ping timeout: 256 seconds]

23:40 waleee has quit [Ping timeout: 252 seconds]

23:41 mro has quit [Quit: Leaving...]

23:42 waleee has joined #ocaml

23:57 olle has quit [Ping timeout: 256 seconds]

23:57 bobo_ has quit [Ping timeout: 240 seconds]

23:57 spip has joined #ocaml