#ocaml on 2019-06-25 — irc logs at freenode.irclog.whitequark.org

2019-06-16 15:10 adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.08 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.08/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml

00:14 sonologico has joined #ocaml

00:23 kvda has joined #ocaml

00:46 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

00:47 kvda has joined #ocaml

00:55 rgrant has joined #ocaml

00:56 rgrant is now known as [rg]

01:02 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

01:07 mfp has quit [Ping timeout: 245 seconds]

01:09 ziyourenxiang has joined #ocaml

01:11 kvda has joined #ocaml

01:24 lizzin has joined #ocaml

01:24 lizzin is now known as Guest39026

01:25 q9929t has joined #ocaml

01:30 q9929t has quit [Quit: q9929t]

01:43 jao has quit [Ping timeout: 246 seconds]

01:50 sz0 has joined #ocaml

01:50 leah2 has quit [Ping timeout: 246 seconds]

01:55 AtumT has quit [Quit: AtumT]

02:06 leah2 has joined #ocaml

02:42 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

02:44 [rg] has quit [Quit: [rg]]

02:57 Jeanne-Kamikaze has joined #ocaml

03:03 kvda has joined #ocaml

03:04 kvda has quit [Client Quit]

03:05 kvda has joined #ocaml

03:09 kvda has quit [Client Quit]

03:11 kvda has joined #ocaml

03:12 kvda has quit [Client Quit]

04:02 Jeanne-Kamikaze has quit [Remote host closed the connection]

04:03 rgrant has joined #ocaml

04:11 gravicappa has joined #ocaml

04:28 rgrant has quit [Quit: rgrant]

05:05 kvda has joined #ocaml

05:13 themsay has joined #ocaml

05:15 narimiran has joined #ocaml

05:40 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

05:40 sonologico has quit [Remote host closed the connection]

05:44 kvda has joined #ocaml

06:02 gravicappa has quit [Ping timeout: 252 seconds]

06:29 nolanv has quit [Read error: Connection reset by peer]

06:36 nolanv has joined #ocaml

06:37 nullifidian has quit [Ping timeout: 258 seconds]

06:40 barockobamo has joined #ocaml

06:52 nullifidian has joined #ocaml

07:02 Haudegen has joined #ocaml

07:23 dmiles has quit [Ping timeout: 268 seconds]

07:54 dmiles has joined #ocaml

08:02 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

08:36 ShalokShalom has joined #ocaml

08:42 keep_learning_M has joined #ocaml

08:49 sagax_ has joined #ocaml

08:51 sagax has quit [Ping timeout: 245 seconds]

08:53 themsay has quit [Ping timeout: 252 seconds]

09:02 jbrown has quit [Ping timeout: 268 seconds]

09:10 mfp has joined #ocaml

09:22 themsay has joined #ocaml

09:23 wilfredh has joined #ocaml

09:27 themsay has quit [Ping timeout: 252 seconds]

09:27 themsay has joined #ocaml

09:33 dmiles has quit [Ping timeout: 248 seconds]

09:39 khodzha1 has joined #ocaml

09:39 sagax_ is now known as sagax

09:43 dmiles has joined #ocaml

09:44 gravicappa has joined #ocaml

09:45 nicoo has quit [Remote host closed the connection]

09:46 nicoo has joined #ocaml

09:48 jaar has joined #ocaml

10:10 nicoo has quit [Remote host closed the connection]

10:10 nicoo has joined #ocaml

10:12 <xvilka> hi! Can i include a ppx generated code inside a functor or monad? So all types will be defined only through application. Will ppx, e.g. ppx_deriving understand typing information this way?

10:18 leah2 has quit [Ping timeout: 248 seconds]

10:21 madroach has quit [Ping timeout: 264 seconds]

10:22 madroach has joined #ocaml

10:33 leah2 has joined #ocaml

10:49 gaze___ has quit [Quit: ZNC 1.7.1 - https://znc.in]

10:51 gaze__ has joined #ocaml

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

11:13 jaar has quit [Ping timeout: 259 seconds]

11:14 jaar has joined #ocaml

11:30 themsay has quit [Read error: Connection reset by peer]

11:31 themsay has joined #ocaml

11:35 leah2 has quit [Ping timeout: 272 seconds]

11:50 leah2 has joined #ocaml

11:50 jao has joined #ocaml

12:24 Haudegen has joined #ocaml

12:28 jbrown has joined #ocaml

13:02 spew has joined #ocaml

13:56 khodzha1 has quit [Ping timeout: 245 seconds]

13:59 tane has joined #ocaml

13:59 nikivi has left #ocaml [#ocaml]

14:08 khodzha has joined #ocaml

14:09 <Kitambi> xvilka: I'd just give it a try. No better way to learn, after all :)

14:09 <Drup> xvilka: given that ppxs are only syntaxic, yes, it should work fine

14:11 FreeBirdLjj has joined #ocaml

14:20 jaar has quit [Remote host closed the connection]

14:28 narimiran has quit [Ping timeout: 272 seconds]

14:37 ygrek has joined #ocaml

14:59 Jesin has quit [Ping timeout: 244 seconds]

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

15:09 FreeBirdLjj has joined #ocaml

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

15:10 FreeBirdLjj has joined #ocaml

15:31 <Armael> dmbaturin: https://github.com/reactorlabs/sourir/blob/master/parser.messages https://github.com/dbp/funtal/blob/master/parser.messages

15:44 AtumT has joined #ocaml

15:45 <dmbaturin> Armael: Thanks!

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

15:47 mpu has left #ocaml [#ocaml]

15:54 notnotdan has joined #ocaml

15:54 AnimalClatter has joined #ocaml

15:55 Haudegen has quit [Remote host closed the connection]

16:02 ziyourenxiang has quit [Ping timeout: 244 seconds]

16:32 Exagone313 has quit [Quit: see ya!]

16:34 Exagone313 has joined #ocaml

16:52 jnavila has joined #ocaml

17:04 _whitelogger has joined #ocaml

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

17:53 tane has quit [Quit: Leaving]

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

18:04 leah2 has quit [Ping timeout: 258 seconds]

18:08 spew has quit [Quit: going home]

18:15 AnimalClatter has left #ocaml ["ERC (IRC client for Emacs 26.1)"]

18:15 iovec has joined #ocaml

18:18 Serpent7776 has joined #ocaml

18:18 leah2 has joined #ocaml

18:22 jnavila has joined #ocaml

18:37 themsay has quit [Read error: Connection reset by peer]

18:38 themsay has joined #ocaml

18:44 jao has quit [Ping timeout: 272 seconds]

18:49 gravicappa has quit [Ping timeout: 252 seconds]

18:59 narimiran has joined #ocaml

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

19:02 spew has joined #ocaml

19:03 narimiran has joined #ocaml

19:34 jao has joined #ocaml

20:05 leah2 has quit [Ping timeout: 268 seconds]

20:19 tane has joined #ocaml

20:19 leah2 has joined #ocaml

20:20 Haudegen has joined #ocaml

20:32 narimiran has quit [Ping timeout: 245 seconds]

20:40 jnavila has quit [Ping timeout: 258 seconds]

20:58 tane has quit [Quit: Leaving]

20:59 jave has quit [Quit: ZNC - http://znc.in]

21:02 Serpent7776 has quit [Quit: leaving]

21:04 averell has quit [Excess Flood]

21:04 averell has joined #ocaml

21:14 SpiceGuid has joined #ocaml

21:20 jave has joined #ocaml

21:28 rgrant has joined #ocaml

21:36 cobreadmonster has joined #ocaml

21:48 rgrant is now known as [rg]

21:50 sagax has quit [Write error: Connection reset by peer]

21:53 iovec has quit [Quit: Connection closed for inactivity]

21:54 jave has quit [Quit: ZNC - http://znc.in]

22:00 appleclusters has joined #ocaml

22:19 jave has joined #ocaml

22:20 [rg] has quit [Quit: [rg]]

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

22:30 jao has joined #ocaml

22:35 SpiceGuid has quit [Quit: ChatZilla 0.9.93 [SeaMonkey 2.49.4/20180713174829]]

22:39 jao has quit [Remote host closed the connection]

22:40 jao has joined #ocaml

22:46 hio has quit [Quit: Connection closed for inactivity]

22:46 rgrant has joined #ocaml

22:47 rgrant is now known as [rg]

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

23:07 [rg] has quit [Quit: [rg]]

23:11 ygrek has quit [Ping timeout: 252 seconds]

23:14 jao has quit [Ping timeout: 244 seconds]

23:27 _whitelogger has joined #ocaml

23:30 ziyourenxiang has joined #ocaml

23:45 nick88 has joined #ocaml

23:47 nick88 has quit [Remote host closed the connection]

23:49 nick88 has joined #ocaml

23:51 spew has quit [Quit: Connection closed for inactivity]

23:52 nick88 has quit [Remote host closed the connection]