#ocaml on 2018-08-18 — irc logs at freenode.irclog.whitequark.org

2018-08-02 09:43 adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.07.0 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:01 pierpa has quit [Quit: Page closed]

00:10 pierpal has joined #ocaml

00:21 zolk3ri has quit [Quit: leaving]

00:29 rorx13 has joined #ocaml

00:31 rorx13 has quit [Remote host closed the connection]

00:49 Haudegen has quit [Remote host closed the connection]

00:57 Spaulding has joined #ocaml

00:58 Spaulding has quit [Killed (Sigyn (Spam is off topic on freenode.))]

00:59 wize has joined #ocaml

01:00 <ygrek> kit_ty_kate, check.ocamllabs.io down?

01:01 zolk3ri has joined #ocaml

01:11 Remco21 has joined #ocaml

01:11 Remco21 has quit [Remote host closed the connection]

01:12 TheMesquito5 has joined #ocaml

01:14 TheMesquito5 has quit [Killed (Sigyn (Spam is off topic on freenode.))]

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

01:21 zolk3ri has joined #ocaml

01:32 spew has joined #ocaml

01:32 shinnya has joined #ocaml

01:33 labviking has joined #ocaml

01:33 labviking has quit [Killed (Unit193 (Spam is not permitted on freenode.))]

01:49 zolk3ri has quit [Quit: Lost terminal]

02:02 wize has quit []

02:07 shenglong24 has joined #ocaml

02:08 justanotheruser5 has joined #ocaml

02:10 clog has quit [Ping timeout: 240 seconds]

02:10 shenglong24 has quit [Killed (Sigyn (Spam is off topic on freenode.))]

02:10 justanotheruser5 has quit [Killed (Sigyn (Spam is off topic on freenode.))]

02:12 tormen_ has joined #ocaml

02:16 tormen has quit [Ping timeout: 272 seconds]

02:53 TC01 has joined #ocaml

02:54 Guest90125 has joined #ocaml

02:54 mfp has quit [Ping timeout: 240 seconds]

02:57 Guest90125 has quit [Remote host closed the connection]

03:00 roger_rabbit2 has joined #ocaml

03:02 roger_rabbit2 has quit [Remote host closed the connection]

03:03 jbrown has quit [Ping timeout: 260 seconds]

03:03 poutine12 has joined #ocaml

03:04 poutine12 has quit [Killed (Sigyn (Spam is off topic on freenode.))]

03:23 tokomak has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]

03:25 neatonk has joined #ocaml

03:44 bambams17 has joined #ocaml

03:44 bambams17 has quit [K-Lined]

03:54 woodface has joined #ocaml

03:55 woodface has quit [Killed (Unit193 (Spam is not permitted on freenode.))]

04:03 ygrek has quit [Ping timeout: 260 seconds]

04:05 clog has joined #ocaml

04:09 troydm has quit [Ping timeout: 256 seconds]

04:14 syncretism_mbl has joined #ocaml

04:15 syncretism_mbl has quit [Remote host closed the connection]

04:26 r_rios has joined #ocaml

04:28 neatonk has quit [Ping timeout: 260 seconds]

04:31 <r_rios> Hello, all. I'm trying to build opam, but an error occurs during make lib-ext when trying to build extlib: https://paste.ofcode.org/dUiRkKfdH4iEFgSY4G2dBY

04:31 <r_rios> OCaml v4.07.0, opam 1.2.2

04:36 troydm has joined #ocaml

04:44 siinus`4 has joined #ocaml

04:46 siinus`4 has quit [Killed (Sigyn (Spam is off topic on freenode.))]

04:52 <Fare> r_rios, I'm still on 4.06.1, waiting for ocsigen to release something that works in opam.

05:00 steveeJ21 has joined #ocaml

05:02 ygrek has joined #ocaml

05:03 spew has quit [Ping timeout: 272 seconds]

05:04 steveeJ21 has quit [Remote host closed the connection]

05:21 NvpkD1y7Ez has joined #ocaml

05:22 NvpkD1y7Ez has quit [Killed (Sigyn (Spam is off topic on freenode.))]

05:33 Fare has quit [Ping timeout: 240 seconds]

05:39 ygrek has quit [Ping timeout: 240 seconds]

05:52 spew has joined #ocaml

05:55 cooldude21 has joined #ocaml

05:58 cooldude21 has quit [Remote host closed the connection]

06:10 spew has quit [Read error: Connection reset by peer]

06:21 Thanks has joined #ocaml

06:22 Thanks has quit [Killed (Unit193 (Spam is not permitted on freenode.))]

06:25 andrewalker has quit [Quit: ZNC 1.6.2 - http://znc.in]

06:31 r_rios has quit [Quit: Konversation terminated!]

06:41 <cods> /win 39

07:10 Guest44030 has joined #ocaml

07:14 Guest44030 has quit [Remote host closed the connection]

07:15 kakadu has joined #ocaml

07:20 <dmbaturin> cods: You have more windows than I do at the moment. ;)

07:33 xuanrui has joined #ocaml

07:34 xuanrui_ has joined #ocaml

07:34 xuanrui has quit [Client Quit]

07:40 xuanrui_ has quit [Quit: Leaving]

07:40 xuanrui has joined #ocaml

07:55 n-st13 has joined #ocaml

07:58 FreeBirdLjj has joined #ocaml

08:00 change has joined #ocaml

08:02 n-st13 has quit [Ping timeout: 272 seconds]

08:02 change has quit [Killed (Unit193 (Spam is not permitted on freenode.))]

08:11 xuanrui has quit [Remote host closed the connection]

08:49 mal2 has joined #ocaml

08:56 mal2 has quit [Ping timeout: 272 seconds]

09:14 Guest3871 has joined #ocaml

09:17 Guest3871 has quit [Remote host closed the connection]

09:19 pierpal has quit [Read error: Connection reset by peer]

09:20 pierpal has joined #ocaml

09:23 aidalgol has left #ocaml ["User left"]

09:28 xuanrui has joined #ocaml

09:29 xuanrui has quit [Read error: Connection reset by peer]

09:30 ahf has quit [Ping timeout: 268 seconds]

09:36 Looking has joined #ocaml

09:41 Looking has quit [Ping timeout: 272 seconds]

09:46 xunplini21 has joined #ocaml

09:47 xunplini21 has quit [Remote host closed the connection]

09:49 ahf has joined #ocaml

09:51 zolk3ri has joined #ocaml

09:55 Shinobi has joined #ocaml

09:55 mfp has joined #ocaml

10:00 Freejack1 has joined #ocaml

10:01 Shinobi has quit [Ping timeout: 268 seconds]

10:04 Freejack1 has quit [Remote host closed the connection]

10:12 pierpal has quit [Quit: Poof]

10:12 pierpal has joined #ocaml

10:17 FreeBirdLjj has quit []

10:21 FreeBirdLjj has joined #ocaml

10:25 ziyourenxiang has joined #ocaml

10:32 peaches has joined #ocaml

10:32 shinnya has quit [Ping timeout: 244 seconds]

10:36 peaches has quit [Killed (Sigyn (Spam is off topic on freenode.))]

10:37 Checking has joined #ocaml

10:37 CC6610 has joined #ocaml

10:39 Checking has quit [Remote host closed the connection]

10:40 jnavila has joined #ocaml

10:42 CC6610 has quit [Ping timeout: 260 seconds]

10:44 Zanzibar22 has joined #ocaml

10:45 Zanzibar22 has quit [Killed (Sigyn (Spam is off topic on freenode.))]

10:53 shinnya has joined #ocaml

10:58 jnavila has quit [Ping timeout: 256 seconds]

11:01 AlexZ12 has joined #ocaml

11:03 AlexZ12 has quit [Killed (Sigyn (Spam is off topic on freenode.))]

11:04 fredrikhl has joined #ocaml

11:05 fredrikhl has quit [Killed (Sigyn (Spam is off topic on freenode.))]

11:06 jnavila has joined #ocaml

11:11 macky has joined #ocaml

11:12 macky has quit [Killed (Sigyn (Spam is off topic on freenode.))]

11:18 jnavila has quit [Ping timeout: 240 seconds]

11:21 th3bmw has joined #ocaml

11:23 discord2 has joined #ocaml

11:24 discord has quit [Remote host closed the connection]

11:24 shakalaka has quit [Ping timeout: 272 seconds]

11:24 th3bmw has quit [Remote host closed the connection]

11:26 leastbit has joined #ocaml

11:29 BitPuffin has joined #ocaml

11:30 leastbit has quit [Client Quit]

11:32 Haudegen has joined #ocaml

11:45 Razesdark has joined #ocaml

11:45 Razesdark has quit [Remote host closed the connection]

11:49 Fare has joined #ocaml

12:01 Sveta15 has joined #ocaml

12:01 Sveta15 has quit [Killed (Sigyn (Spam is off topic on freenode.))]

12:03 silver has joined #ocaml

12:11 rogue2 has joined #ocaml

12:18 rogue2 has quit [Ping timeout: 272 seconds]

12:30 FreeBirdLjj has quit [Remote host closed the connection]

12:30 milky13 has joined #ocaml

12:32 jnavila has joined #ocaml

12:32 supercool18 has joined #ocaml

12:32 milky13 has quit [Killed (Sigyn (Spam is off topic on freenode.))]

12:35 FreeBirdLjj has joined #ocaml

12:37 supercool18 has quit [Ping timeout: 240 seconds]

12:40 FreeBirdLjj has quit [Ping timeout: 260 seconds]

12:43 zolk3ri has quit [Quit: leaving]

12:43 zolk3ri has joined #ocaml

12:44 FreeBirdLjj has joined #ocaml

12:51 Fare has quit [Ping timeout: 272 seconds]

12:52 Fare has joined #ocaml

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

13:08 Selfsigned has joined #ocaml

13:10 Selfsigned has quit [Remote host closed the connection]

13:19 fwilson has joined #ocaml

13:28 fwilson has quit [Ping timeout: 256 seconds]

13:33 jnavila has joined #ocaml

13:35 pioneer42 has joined #ocaml

13:44 ollien15 has joined #ocaml

13:44 ollien15 has quit [Killed (Sigyn (Spam is off topic on freenode.))]

13:57 Fare has quit [Ping timeout: 272 seconds]

14:00 jnavila has quit [Ping timeout: 240 seconds]

14:06 foamz0 has joined #ocaml

14:08 foamz0 has quit [Remote host closed the connection]

14:12 node9 has joined #ocaml

14:13 node9 has quit [Killed (Sigyn (Spam is off topic on freenode.))]

14:25 CurryWurst has joined #ocaml

14:26 CurryWurst has quit [Killed (Sigyn (Spam is off topic on freenode.))]

14:27 Fare has joined #ocaml

14:40 ben_ has quit [Ping timeout: 272 seconds]

14:41 shinnya has quit [Ping timeout: 272 seconds]

14:58 pierpal has quit [Quit: Poof]

14:58 pierpal has joined #ocaml

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

15:18 bezirg has joined #ocaml

15:23 pioneer42 has left #ocaml [#ocaml]

15:42 Fare has quit [Ping timeout: 272 seconds]

15:43 FreeBirdLjj has joined #ocaml

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

15:45 FreeBirdLjj has joined #ocaml

15:53 Grimnir7 has joined #ocaml

15:55 Grimnir7 has quit [Killed (Sigyn (Spam is off topic on freenode.))]

15:59 pierpal has quit [Read error: Connection reset by peer]

16:03 Fare has joined #ocaml

16:07 duckinator has joined #ocaml

16:23 kalio has quit [Quit: WeeChat 2.2]

16:30 ziyourenxiang has quit [Ping timeout: 240 seconds]

16:32 leah2 has quit [Ping timeout: 240 seconds]

16:46 leah2 has joined #ocaml

16:54 Jesin has joined #ocaml

16:54 Madkiss10 has joined #ocaml

16:54 Madkiss10 has quit [Remote host closed the connection]

16:54 Jesin has quit [Remote host closed the connection]

16:56 slackjeff has joined #ocaml

16:57 slackjeff has quit [Killed (Sigyn (Spam is off topic on freenode.))]

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

16:59 Selavi21 has joined #ocaml

16:59 Jesin has joined #ocaml

17:04 bezirg has quit [Ping timeout: 260 seconds]

17:06 Selavi21 has quit [Ping timeout: 256 seconds]

17:07 kalio has joined #ocaml

17:12 bast-anon has joined #ocaml

17:15 FreeBirdLjj has joined #ocaml

17:16 <duckinator> what're the differences between the List and Array types? i'm having trouble finding any specifics about that.

17:17 <dmbaturin> duckinator: Array is mutable, list is not, for starters.

17:20 <octachron> duckinator, Array random access is O(1), whereas List is O(n)

17:21 bast-anon has quit [Ping timeout: 240 seconds]

17:25 ced1173 has joined #ocaml

17:26 ced1173 has quit [Remote host closed the connection]

17:26 <dmbaturin> Just today I've completed a write up about lists: https://blog.baturin.org/introduction-to-ocaml-part-5-exceptions-lists-and-structural-recursion.html

17:35 <duckinator> dmbaturin, octachron: thanks for the info. ^^

17:42 jnavila has joined #ocaml

17:47 lopex has joined #ocaml

17:49 tktech21 has joined #ocaml

17:53 tktech21 has quit [Remote host closed the connection]

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

18:03 kakadu has joined #ocaml

18:11 FreeBirdLjj has quit [Remote host closed the connection]

18:15 zolk3ri has quit [Quit: Lost terminal]

18:16 zolk3ri has joined #ocaml

18:18 Connecting has joined #ocaml

18:22 vans22 has joined #ocaml

18:22 loic__ has joined #ocaml

18:24 vans22 has quit [K-Lined]

18:24 Connecting has quit [Ping timeout: 268 seconds]

18:31 jim7j1ajh has joined #ocaml

18:33 jimt has quit [Ping timeout: 256 seconds]

18:38 Fare has quit [Ping timeout: 272 seconds]

18:42 silver_ has joined #ocaml

18:43 silver has quit [Read error: Connection reset by peer]

18:45 <ZirconiumX> duckinator: Also you can pattern match on lists but not on arrays

18:46 KellerFuchs26 has joined #ocaml

18:52 KellerFuchs26 has quit [Ping timeout: 240 seconds]

18:53 <thizanne> yes you can

18:53 roygbiv has joined #ocaml

18:53 <thizanne> but that's not the same kind of patterns

18:53 <thizanne> (and it's arguably much less useful)

18:54 Haudegen has quit [Remote host closed the connection]

18:58 nero18 has joined #ocaml

19:00 Miron3 has joined #ocaml

19:02 Miron3 has quit [Read error: Connection reset by peer]

19:04 roygbiv has quit [Quit: ™]

19:06 nero18 has quit [Ping timeout: 268 seconds]

19:12 malina has joined #ocaml

19:17 Jesin has quit [Remote host closed the connection]

19:17 shinnya has joined #ocaml

19:23 loic__ has quit [Quit: Quitte]

19:33 jnavila has quit [Ping timeout: 256 seconds]

19:36 Fare has joined #ocaml

19:45 Haudegen has joined #ocaml

19:45 sm0rux_ has joined #ocaml

19:45 sm0rux_ has quit [Remote host closed the connection]

19:48 shinnya has quit [Ping timeout: 244 seconds]

19:57 troydm has quit [Ping timeout: 244 seconds]

20:06 Brace2 has joined #ocaml

20:07 Brace2 has quit [Remote host closed the connection]

20:07 jao has joined #ocaml

20:16 malina has quit [Remote host closed the connection]

20:25 some_weirdo13 has joined #ocaml

20:25 Guest32399 has joined #ocaml

20:28 some_weirdo13 has quit [Killed (Sigyn (Spam is off topic on freenode.))]

20:30 Guest32399 has quit [Remote host closed the connection]

20:33 ygrek has joined #ocaml

20:58 rwmjones_ has joined #ocaml

21:01 rwmjones has quit [Ping timeout: 260 seconds]

21:03 aOssed28 has joined #ocaml

21:04 aOssed28 has quit [Killed (Sigyn (Spam is off topic on freenode.))]

21:07 rwmjones_ is now known as rwmjones

21:14 Orion3k has joined #ocaml

21:14 BitPuffin has quit [Ping timeout: 240 seconds]

21:21 TC01 has quit [Ping timeout: 256 seconds]

21:31 pierpa has joined #ocaml

21:32 jmiven has quit [Quit: co'o]

21:33 jmiven has joined #ocaml

21:49 troydm has joined #ocaml

21:53 Guest47918 has joined #ocaml

21:55 leastbit has joined #ocaml

21:57 leastbit has left #ocaml [#ocaml]

21:57 leastbit has joined #ocaml

21:57 leastbit has left #ocaml [#ocaml]

22:00 Guest47918 has quit [Ping timeout: 256 seconds]

22:01 lostnord has joined #ocaml

22:02 copy[m] is now known as copy`

22:02 lostnord has quit [Killed (Sigyn (Spam is off topic on freenode.))]

22:02 gre has joined #ocaml

22:04 drdanick8 has joined #ocaml

22:04 groovy2shoes has quit [Ping timeout: 265 seconds]

22:09 TC01 has joined #ocaml

22:11 silver__ has joined #ocaml

22:12 drdanick8 has quit [Ping timeout: 260 seconds]

22:14 gre has left #ocaml [#ocaml]

22:15 silver_ has quit [Ping timeout: 276 seconds]

22:25 gre has joined #ocaml

22:25 <gre> hello

22:41 <bartholin> hi

22:52 yaewa has joined #ocaml

22:52 iczero1 has joined #ocaml

22:53 yaewa has quit [Client Quit]

22:54 moei has quit [Ping timeout: 272 seconds]

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

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

23:00 jbrown has joined #ocaml

23:14 moei has joined #ocaml

23:20 Spaulding has joined #ocaml

23:20 Spaulding has quit [Killed (Sigyn (Spam is off topic on freenode.))]

23:21 kakadu has quit [Remote host closed the connection]

23:30 Fare has quit [Ping timeout: 240 seconds]

23:33 missnomer19 has joined #ocaml

23:33 missnomer19 has quit [Killed (Sigyn (Spam is off topic on freenode.))]

23:34 Fare has joined #ocaml

23:36 Guest33422 has joined #ocaml

23:43 Guest33422 has quit [Remote host closed the connection]

23:47 Fare has quit [Ping timeout: 272 seconds]

23:56 jao has quit [Ping timeout: 276 seconds]

23:58 ziyourenxiang has joined #ocaml