#ocaml on 2018-03-24 — irc logs at freenode.irclog.whitequark.org

2017-11-24 19:05 adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.06.0 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.06/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml

00:00 zpe has quit [Remote host closed the connection]

00:01 zpe has joined #ocaml

00:05 zpe has quit [Ping timeout: 240 seconds]

00:08 FreeBirdLjj has joined #ocaml

00:12 FreeBirdLjj has quit [Ping timeout: 240 seconds]

00:14 sh0t has quit [Remote host closed the connection]

00:15 isd has joined #ocaml

00:15 infinity0 has quit [Ping timeout: 276 seconds]

00:17 infinity0 has joined #ocaml

00:37 silver_ has joined #ocaml

00:40 silver has quit [Ping timeout: 240 seconds]

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

00:49 isd has quit [Ping timeout: 264 seconds]

00:55 breitenj has quit [Ping timeout: 246 seconds]

00:57 breitenj has joined #ocaml

00:58 isd has joined #ocaml

01:49 silver_ has quit [Read error: Connection reset by peer]

01:55 spew has joined #ocaml

01:55 pitastrudl has quit [Quit: No Ping reply in 300 seconds.]

01:56 pitastrudl has joined #ocaml

02:22 isd has quit [Quit: Leaving.]

02:25 al-damiri has quit [Quit: Connection closed for inactivity]

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

02:54 zolk3ri has quit [Remote host closed the connection]

03:00 ziyourenxiang has joined #ocaml

03:17 pierpa has joined #ocaml

03:37 etc_ has joined #ocaml

04:15 etc_ has quit [Quit: Lost terminal]

04:53 dtornabene has joined #ocaml

05:03 dtornabene has quit [Quit: Leaving]

05:12 dtornabene has joined #ocaml

05:51 spew has quit [Ping timeout: 240 seconds]

05:56 FreeBirdLjj has joined #ocaml

06:19 slash^ has joined #ocaml

06:30 muelleme has joined #ocaml

06:36 muelleme has quit [Ping timeout: 256 seconds]

06:45 _whitelogger has joined #ocaml

07:32 muelleme has joined #ocaml

07:36 tarptaeya has joined #ocaml

07:37 muelleme has quit [Ping timeout: 260 seconds]

07:39 argent_smith has joined #ocaml

08:16 malc_ has joined #ocaml

08:22 ShalokShalom has joined #ocaml

08:46 mfp has joined #ocaml

08:54 muelleme has joined #ocaml

08:54 dtornabene has quit [Remote host closed the connection]

09:15 malc_ has quit [Ping timeout: 264 seconds]

09:22 rpcope has quit [Ping timeout: 256 seconds]

09:29 rpcope has joined #ocaml

09:32 ddosia has quit [Quit: Connection closed for inactivity]

09:36 Haudegen has joined #ocaml

10:42 orbifx has joined #ocaml

10:54 orbifx has quit [Ping timeout: 240 seconds]

11:13 dhil has joined #ocaml

11:22 zolk3ri has joined #ocaml

11:53 tsani has quit [Ping timeout: 256 seconds]

11:53 alphor has quit [Ping timeout: 256 seconds]

11:53 cross has quit [Ping timeout: 256 seconds]

11:54 cross has joined #ocaml

11:55 alphor has joined #ocaml

11:57 tsani has joined #ocaml

12:38 mk9 has quit [Quit: mk9]

12:55 pierpa_ has joined #ocaml

12:56 pierpa has quit [Ping timeout: 260 seconds]

12:56 pierpa_ is now known as pierpa

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

13:12 pierpa has quit [Ping timeout: 260 seconds]

13:13 pierpa has joined #ocaml

13:14 muelleme has quit [Ping timeout: 260 seconds]

13:20 pierpa has quit [Ping timeout: 260 seconds]

13:21 FreeBirdLjj has joined #ocaml

13:25 pierpa has joined #ocaml

13:48 muelleme has joined #ocaml

13:56 er1 has quit [Ping timeout: 260 seconds]

13:58 larhat has joined #ocaml

13:58 er1 has joined #ocaml

13:58 larhat has quit [Client Quit]

14:01 pierpa_ has joined #ocaml

14:02 pierpa has quit [Ping timeout: 260 seconds]

14:02 pierpa_ is now known as pierpa

14:13 kalio has quit [Quit: WeeChat 2.0.1]

14:14 kalio has joined #ocaml

14:18 pierpa has quit [Ping timeout: 260 seconds]

14:23 sh0t has joined #ocaml

14:24 pierpa has joined #ocaml

14:29 er1 has quit [Read error: Connection reset by peer]

14:29 er1 has joined #ocaml

14:39 muelleme has quit [Ping timeout: 240 seconds]

14:39 muelleme has joined #ocaml

14:44 muelleme has quit [Ping timeout: 240 seconds]

15:06 er1 has quit [Read error: Connection reset by peer]

15:08 er1 has joined #ocaml

15:13 mk9 has joined #ocaml

15:15 mk9 has quit [Client Quit]

15:16 mk9 has joined #ocaml

15:19 troydm has quit [Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset]

15:20 spew has joined #ocaml

15:40 muelleme has joined #ocaml

15:45 muelleme has quit [Ping timeout: 240 seconds]

15:51 sh0t has quit [Ping timeout: 240 seconds]

16:08 spew has quit [Ping timeout: 264 seconds]

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

16:29 FreeBirdLjj has joined #ocaml

16:31 zlsyx has joined #ocaml

16:33 FreeBirdLjj has quit [Ping timeout: 256 seconds]

16:35 malc_ has joined #ocaml

16:50 ShalokShalom has quit [Ping timeout: 240 seconds]

16:59 jnavila has joined #ocaml

17:20 malc_ has quit [Quit: ERC (IRC client for Emacs 27.0.50)]

17:38 jnavila has quit [Ping timeout: 240 seconds]

17:53 spew has joined #ocaml

17:55 er1 has quit [Quit: Lost terminal]

18:00 sh0t has joined #ocaml

18:21 jnavila has joined #ocaml

18:27 troydm has joined #ocaml

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

18:41 malc_ has joined #ocaml

19:01 spew has quit [Ping timeout: 240 seconds]

19:04 dhil has quit [Ping timeout: 256 seconds]

19:21 jnavila has joined #ocaml

19:23 malc_ has quit [Quit: ERC (IRC client for Emacs 27.0.50)]

19:30 malc_ has joined #ocaml

20:06 orbifx has joined #ocaml

20:20 iitalics has joined #ocaml

20:23 Haudegen has quit [Remote host closed the connection]

20:24 iitalics has quit [Client Quit]

20:30 iitalics has joined #ocaml

20:31 slash^ has quit [Quit: Leaving]

20:40 orbifx has quit [Ping timeout: 256 seconds]

20:45 pierpa_ has joined #ocaml

20:49 Haudegen has joined #ocaml

20:50 malc_ has left #ocaml ["ERC (IRC client for Emacs 27.0.50)"]

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

21:07 mk9 has quit [Ping timeout: 240 seconds]

21:25 isd has joined #ocaml

21:26 mk9 has joined #ocaml

21:34 mk9 has quit [Quit: mk9]

21:38 gtrak has joined #ocaml

21:41 argent_smith has quit [Quit: Leaving.]

21:51 _whitelogger has joined #ocaml

22:02 muelleme has joined #ocaml

22:06 gtrak has quit [Ping timeout: 248 seconds]

22:11 malc_ has joined #ocaml

22:47 tarptaeya has quit [Quit: Byeeeeeee!]

22:51 jnavila has quit [Remote host closed the connection]

22:55 onion has quit [Read error: No route to host]

22:57 onion has joined #ocaml

23:14 gtrak has joined #ocaml

23:21 jimmyrcom has quit [Ping timeout: 264 seconds]

23:22 gtrak has quit [Ping timeout: 260 seconds]

23:25 <bartholin> do people use GADTs in ocaml for real

23:26 isd has quit [Ping timeout: 276 seconds]

23:26 <malc_> bartholin: all the time.. printf family is implemented with GADT

23:26 <bartholin> oh

23:30 isd has joined #ocaml

23:34 sh0t has quit [Remote host closed the connection]

23:38 muelleme has quit [Ping timeout: 276 seconds]

23:42 gtrak has joined #ocaml

23:47 iitalics has joined #ocaml

23:53 orbifx has joined #ocaml