#ocaml on 2020-07-18 — 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:31 ollehar has quit [Ping timeout: 260 seconds]

00:32 ollehar has joined #ocaml

01:24 vicfred has quit [Quit: Leaving]

01:47 bitmapper has quit [Ping timeout: 256 seconds]

02:40 waleee-cl has quit [Quit: Connection closed for inactivity]

02:51 narimiran has joined #ocaml

03:12 vicfred has joined #ocaml

03:41 aaaaaa has quit [Quit: leaving]

03:42 zv has quit [Ping timeout: 256 seconds]

03:44 zv has joined #ocaml

04:15 narimiran has quit [Ping timeout: 246 seconds]

04:54 _whitelogger has joined #ocaml

04:58 gaussian has quit [Quit: Connection closed]

05:09 zv has quit [Ping timeout: 256 seconds]

05:24 zv has joined #ocaml

05:34 gaussian has joined #ocaml

05:37 gaussian has quit [Client Quit]

05:37 gaussian has joined #ocaml

05:39 osa1 has joined #ocaml

05:39 mnxn has joined #ocaml

05:50 snowpanda has joined #ocaml

05:53 ggole has joined #ocaml

06:06 _whitelogger has joined #ocaml

06:15 zv has quit [Ping timeout: 246 seconds]

06:24 mnxn has quit [Quit: mnxn]

06:39 _whitelogger has joined #ocaml

06:42 mbuf has joined #ocaml

06:46 brown121407 has joined #ocaml

07:13 h11 has quit [Ping timeout: 265 seconds]

07:13 h11 has joined #ocaml

07:14 dborisog has joined #ocaml

07:15 narimiran has joined #ocaml

07:18 brown121407 has quit [Remote host closed the connection]

07:25 h11 has quit [Ping timeout: 256 seconds]

07:27 abc_ has quit [Quit: reboot or OOMed]

07:35 abc_ has joined #ocaml

07:37 aaaaaa has joined #ocaml

07:40 tane has joined #ocaml

07:52 Haudegen has joined #ocaml

07:53 mnxn has joined #ocaml

07:54 mnxn has quit [Client Quit]

08:28 osa1 has quit [Quit: osa1]

08:35 snowpanda has quit [Quit: Leaving...]

08:40 waleee-cl has joined #ocaml

08:42 brown121407 has joined #ocaml

08:50 Hrundi_V_Bakshi has joined #ocaml

08:50 Hrundi_V_Bakshi has quit [Remote host closed the connection]

08:54 osa1 has joined #ocaml

09:12 brown121407 has quit [Read error: Connection reset by peer]

09:15 malc_ has joined #ocaml

09:16 brown121407 has joined #ocaml

09:41 osa1 has quit [Quit: osa1]

09:52 osa1 has joined #ocaml

10:23 brown121407 has quit [Remote host closed the connection]

11:11 prsafont[m] has quit [Quit: Idle for 30+ days]

11:16 yann-kaelig has joined #ocaml

11:21 malc_ has quit [Ping timeout: 264 seconds]

11:24 malc_ has joined #ocaml

11:49 aaaaaa has quit [Quit: leaving]

12:06 osa1 has quit [Ping timeout: 246 seconds]

12:32 nullcone has quit [Quit: Connection closed for inactivity]

12:42 brown121407 has joined #ocaml

12:43 tane has quit [Quit: Leaving]

12:44 notnotdan has quit [Quit: bye]

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

13:08 waleee-cl has quit [Quit: Connection closed for inactivity]

13:32 Haudegen has joined #ocaml

13:33 notnotdan has joined #ocaml

13:44 brown121407 has quit [Remote host closed the connection]

14:07 brown121407 has joined #ocaml

14:09 Haudegen has quit [Ping timeout: 246 seconds]

14:13 sagax has quit [Ping timeout: 246 seconds]

14:25 Haudegen has joined #ocaml

14:28 osa1 has joined #ocaml

14:38 sagax has joined #ocaml

15:18 Haudegen has quit [Read error: Connection reset by peer]

15:32 superherointj has joined #ocaml

15:33 <superherointj> I was reading a book (https://www.cs.cornell.edu/courses/cs3110/2019sp/textbook/hop/fold_left_vs_right.html) and on my understanding (-) operator would be left-associative and not non-associative as claimed in the book.

15:34 <superherointj> If (-) minus operator were non-associative, operations could not be chained, the type output would be incompatible with the input types.

15:42 <theblatte> I think in this context it was using a mathematical definition of associativity, i.e. just noting that (-) is not associative

15:46 <superherointj> Right. Thanks.

15:50 malc_ has quit [Ping timeout: 240 seconds]

15:50 malc_ has joined #ocaml

16:02 jnavila has joined #ocaml

16:21 waleee-cl has joined #ocaml

17:07 mnxn has joined #ocaml

17:13 <superherointj> Is there a good reason "Module type Set.S" (Set data structure) only has fold(_right) but not fold_left? I just happen to need fold_left.

17:15 <superherointj> I need to somehow consome the Set data in alphabetical order.

17:15 <superherointj> Actually just found my error. So this fold must be fold_left. Sorry.

17:16 <superherointj> The arguments names were reversed.

17:17 mnxn has quit [Quit: mnxn]

17:19 Haudegen has joined #ocaml

17:23 narimiran has quit [Ping timeout: 240 seconds]

17:47 osa1 has quit [Ping timeout: 265 seconds]

17:54 osa1 has joined #ocaml

17:59 osa1 has quit [Ping timeout: 240 seconds]

18:06 mbuf has quit [Quit: Leaving]

18:25 FreeBirdLjj has joined #ocaml

18:27 mnxn has joined #ocaml

18:29 FreeBirdLjj has quit [Ping timeout: 256 seconds]

18:32 mnxn has quit [Quit: mnxn]

18:37 mnxn has joined #ocaml

18:51 waleee-cl has quit [Quit: Connection closed for inactivity]

18:52 yann-kaelig has quit []

18:56 nullcone has joined #ocaml

18:56 dborisog has quit [Ping timeout: 264 seconds]

18:58 osa1 has joined #ocaml

19:11 osa1 has quit [Quit: osa1]

19:11 osa1 has joined #ocaml

19:18 mnxn has quit [Quit: mnxn]

19:19 malc_ has quit [Ping timeout: 240 seconds]

19:21 Jesin has joined #ocaml

19:52 Serpent7776 has quit [Read error: Connection reset by peer]

19:53 Serpent7776 has joined #ocaml

20:07 mnxn has joined #ocaml

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

20:14 jnavila has joined #ocaml

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

20:24 snowpanda has joined #ocaml

20:26 brown121407 has quit [Remote host closed the connection]

20:32 jnavila has quit [Ping timeout: 246 seconds]

20:33 jnavila has joined #ocaml

20:34 ggole has quit [Quit: Leaving]

20:43 narimiran has joined #ocaml

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

21:03 jnavila has joined #ocaml

21:13 jnavila_ has joined #ocaml

21:14 jnavila has quit [Ping timeout: 272 seconds]

21:21 mnxn has quit [Quit: mnxn]

21:24 narimiran has quit [Ping timeout: 240 seconds]

21:32 jnavila_ has quit [Quit: Konversation terminated!]

22:19 leah2 has quit [Remote host closed the connection]

22:21 zebrag has joined #ocaml

22:22 leah2 has joined #ocaml

22:35 waleee-cl has joined #ocaml

22:45 superherointj has quit [Quit: Leaving]

23:00 Haudegen has quit [Read error: Connection reset by peer]

23:00 Haudegen has joined #ocaml

23:07 inkbottle has joined #ocaml

23:08 mnxn has joined #ocaml

23:08 zebrag has quit [Ping timeout: 246 seconds]

23:11 malc_ has joined #ocaml

23:37 quarters has joined #ocaml

23:37 <quarters> hello. I was wondering how I can install ocaml with x11 using homebrew on catalina macos

23:40 mnxn has quit [Quit: mnxn]

23:41 mnxn has joined #ocaml

23:41 mnxn has quit [Client Quit]