#ocaml on 2019-12-31 — 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:29 AnimalCl` has joined #ocaml

00:44 AnimalCl` has quit [Read error: Connection reset by peer]

00:45 AnimalCl` has joined #ocaml

00:45 tane has quit [Quit: Leaving]

00:48 <wingsorc> Dune seems to generate some .merlin files when invoked. Do people now not commit the .merline files anymore and let them be auto generated?

00:49 AnimalCl` has quit [Ping timeout: 248 seconds]

00:52 rzmt has quit [Ping timeout: 250 seconds]

00:56 rzmt has joined #ocaml

01:10 jao has joined #ocaml

01:24 <oni-on-ion> i think this happens when they are not already present

01:33 Haudegen has quit [Quit: Bin weg.]

01:34 Haudegen has joined #ocaml

01:40 Haudegen has quit [Ping timeout: 268 seconds]

02:01 kleisli has quit [Ping timeout: 240 seconds]

02:06 AnimalCl` has joined #ocaml

02:09 abc_ has quit [Quit: reboot or OOMed]

02:10 abc_ has joined #ocaml

02:17 jao has quit [Ping timeout: 268 seconds]

02:23 AnimalCl` has quit [Read error: Connection reset by peer]

02:23 AnimalCl` has joined #ocaml

02:39 AnimalCl` has quit [Ping timeout: 260 seconds]

03:00 AnimalCl` has joined #ocaml

03:04 AnimalCl` has quit [Ping timeout: 252 seconds]

03:08 vicfred has joined #ocaml

03:28 kleisli has joined #ocaml

03:31 tormen_ has joined #ocaml

03:34 tormen has quit [Ping timeout: 240 seconds]

03:38 AnimalCl` has joined #ocaml

03:43 AnimalCl` has quit [Ping timeout: 260 seconds]

03:51 wingsorc has quit [Ping timeout: 248 seconds]

04:05 igitoor has quit [Ping timeout: 248 seconds]

04:06 AnimalCl` has joined #ocaml

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

04:10 AnimalCl` has joined #ocaml

04:15 AnimalCl` has quit [Ping timeout: 260 seconds]

04:43 AnimalCl` has joined #ocaml

04:47 AnimalCl` has quit [Ping timeout: 252 seconds]

04:59 igitoor has joined #ocaml

05:00 igitoor has quit [Changing host]

05:00 igitoor has joined #ocaml

05:09 AnimalCl` has joined #ocaml

05:14 AnimalCl` has quit [Ping timeout: 260 seconds]

05:31 unyu has quit [Quit: Restart.]

05:32 unyu has joined #ocaml

05:37 gravicappa has joined #ocaml

05:45 nick34348 has joined #ocaml

05:45 <nick34348> Anyone have any good resources for learning ocaml? I'm thinking about making a game engine.

05:57 narimiran has joined #ocaml

06:06 _whitelogger has joined #ocaml

06:09 ggole has joined #ocaml

06:15 brettgilio has joined #ocaml

07:47 Serpent7776 has joined #ocaml

07:54 nick34348 has left #ocaml [#ocaml]

08:07 AnimalCl` has joined #ocaml

08:11 AnimalCl` has quit [Ping timeout: 252 seconds]

08:41 dborisog has joined #ocaml

08:43 oni-on-ion has quit [Remote host closed the connection]

08:43 oni-on-ion has joined #ocaml

09:17 Anarchos has joined #ocaml

09:18 Anarchos has quit [Client Quit]

09:18 Anarchos has joined #ocaml

09:19 Anarchos has quit [Client Quit]

10:05 bglm[m] has joined #ocaml

10:07 AnimalCl` has joined #ocaml

10:12 AnimalCl` has quit [Ping timeout: 260 seconds]

10:18 _whitelogger has joined #ocaml

10:27 brettgilio has quit [Quit: Quit]

10:28 brettgilio has joined #ocaml

10:29 brettgilio has quit [Client Quit]

10:29 silver has joined #ocaml

10:33 brettgilio has joined #ocaml

11:28 Haudegen has joined #ocaml

11:48 dborisog has quit [Remote host closed the connection]

11:54 narimiran has quit [Ping timeout: 268 seconds]

12:07 AnimalCl` has joined #ocaml

12:12 AnimalCl` has quit [Ping timeout: 260 seconds]

12:14 jim7j1ajh has joined #ocaml

12:16 jimt has quit [Ping timeout: 258 seconds]

12:51 _whitelogger has joined #ocaml

13:06 jao has joined #ocaml

13:44 silver has quit [Read error: Connection reset by peer]

13:50 dmiles has joined #ocaml

13:50 jao has quit [Ping timeout: 265 seconds]

13:53 oni-on-ion has quit [Ping timeout: 258 seconds]

13:58 narimiran has joined #ocaml

13:58 jnavila has joined #ocaml

14:08 AnimalCl` has joined #ocaml

14:10 Anarchos has joined #ocaml

14:12 AnimalCl` has quit [Ping timeout: 245 seconds]

14:15 silver has joined #ocaml

14:29 Serpent7776 has quit [Quit: Leaving]

14:32 jao has joined #ocaml

14:32 jao is now known as Guest52228

14:32 gareppa has joined #ocaml

14:32 Guest52228 has quit [Remote host closed the connection]

14:33 jao- has joined #ocaml

14:35 Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]

14:38 dmiles has quit []

14:43 gareppa has quit [Quit: Leaving]

14:57 brettgilio has quit [Ping timeout: 260 seconds]

15:33 Anarchos has joined #ocaml

15:36 kleisli has quit [Ping timeout: 260 seconds]

15:37 wingsorc has joined #ocaml

16:08 AnimalCl` has joined #ocaml

16:09 spew has joined #ocaml

16:12 AnimalCl` has quit [Ping timeout: 260 seconds]

16:25 Serpent7776 has joined #ocaml

16:38 dmiles has joined #ocaml

16:41 stux|RC has quit [Ping timeout: 260 seconds]

16:50 wingsorc has quit [Ping timeout: 248 seconds]

16:51 stux|RC has joined #ocaml

16:53 AnimalCl` has joined #ocaml

16:58 AnimalCl` has quit [Ping timeout: 252 seconds]

17:00 mahmudov has joined #ocaml

17:02 mahmudov has quit [Remote host closed the connection]

17:03 mahmudov has joined #ocaml

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

17:07 oni-on-ion has joined #ocaml

17:12 jnavila has joined #ocaml

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

17:34 ziyourenxiang has quit [Ping timeout: 258 seconds]

17:52 jnavila has quit [Ping timeout: 256 seconds]

18:41 brettgilio has joined #ocaml

18:57 cantstanya has quit [Ping timeout: 240 seconds]

18:58 cantstanya has joined #ocaml

19:26 <greenbagels> https://realworldocaml.org/

19:26 <greenbagels> oops, i didnt check the timestamp.

19:31 jao- has quit [Ping timeout: 260 seconds]

19:47 ggole has quit [Quit: Leaving]

20:23 <dmbaturin> greenbagels: I'm making an unreal one. ;) http://ocaml-book.baturin.org/

20:25 <greenbagels> i like principle 2 :)

20:26 <dmbaturin> #5 is of the highest philosophical importance, but from practical point of view, #2 is high priority.

20:28 <dmbaturin> Reminds me, I was going to add a setup for compiling examples and injecting their output in the book. A recent PR makes it quite simple.

20:29 <dmbaturin> Just need to decide on a way to exclude intentionally broken examples from it so that they don't fail the book build.

20:30 <mahmudov> what does mean "intentionally broken examples"?

20:32 gravicappa has quit [Ping timeout: 258 seconds]

20:33 jao has joined #ocaml

20:33 <dmbaturin> mahmudov: Well, examples that demonstrate what will fail to typecheck or compile.

20:35 <mahmudov> i see

20:37 <dmbaturin> I do want examples that are supposed to work fail the build if they don't, so simply ignoring errors isn't an appropriate option.

20:38 spew has quit [Quit: Connection closed for inactivity]

20:42 jao has quit [Ping timeout: 258 seconds]

20:57 gareppa has joined #ocaml

21:10 rwmjones_ has quit [Quit: ZNC - 1.6.0 - http://znc.in]

21:10 rwmjones has joined #ocaml

21:12 brettgilio has quit [Ping timeout: 260 seconds]

21:34 mal`` has quit [Quit: Leaving]

21:38 mahmudov has quit [Remote host closed the connection]

21:40 mahmudov has joined #ocaml

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

21:44 mahmudov has joined #ocaml

21:48 mahmudov has quit [Remote host closed the connection]

21:50 mahmudov has joined #ocaml

21:57 mal`` has joined #ocaml

22:07 gareppa has quit [Quit: Leaving]

22:15 kleisli has joined #ocaml

22:36 infinity0 has quit [Remote host closed the connection]

22:38 infinity0 has joined #ocaml

22:53 infinity0 has quit [Remote host closed the connection]

22:55 infinity0 has joined #ocaml

22:56 gravicappa has joined #ocaml

23:05 <mahmudov> dmbaturin, cool you even mentioned ur/web in preface +1

23:10 gravicappa has quit [Ping timeout: 260 seconds]

23:18 infinity0 has quit [Remote host closed the connection]

23:20 infinity0 has joined #ocaml

23:20 <dmbaturin> mahmudov: Well, it would be unfair not to mention Ur/Web. I should mention Isabelle, twelf etc. by names though.

23:21 <dmbaturin> If you find any typos or want to add anything, please send a pull request.

23:33 ziyourenxiang has joined #ocaml

23:37 Haudegen has quit [Ping timeout: 268 seconds]

23:38 Haudegen has joined #ocaml

23:46 Haudegen has quit [Ping timeout: 258 seconds]