#ocaml on 2018-04-12 — 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:08 letoh has quit [Ping timeout: 260 seconds]

00:15 ziyourenxiang has quit [Ping timeout: 240 seconds]

00:18 infinity0_ has joined #ocaml

00:18 infinity0_ has quit [Changing host]

00:18 infinity0 is now known as Guest66440

00:18 infinity0 has joined #ocaml

00:18 Guest66440 has quit [Ping timeout: 260 seconds]

00:23 isd has quit [Quit: Leaving.]

00:38 jao has quit [Ping timeout: 276 seconds]

00:38 spew has quit [Ping timeout: 260 seconds]

00:43 dedgrant_ has joined #ocaml

00:46 dedgrant has quit [Ping timeout: 260 seconds]

00:50 sepp2k has quit [Quit: Leaving.]

00:56 webshinra has quit [Read error: Connection reset by peer]

00:56 webshinra_ has joined #ocaml

01:02 webshinra_ has quit [Read error: Connection reset by peer]

01:02 webshinra has joined #ocaml

01:06 muelleme has joined #ocaml

01:11 muelleme has quit [Ping timeout: 260 seconds]

01:13 webshinra has quit [Ping timeout: 256 seconds]

01:13 webshinra_ has joined #ocaml

01:17 webshinra has joined #ocaml

01:17 webshinra_ has quit [Read error: Connection reset by peer]

01:17 FreeBirdLjj has joined #ocaml

01:19 FreeBirdLjj has quit [Read error: Connection reset by peer]

01:19 FreeBirdLjj has joined #ocaml

01:24 FreeBirdLjj has quit [Ping timeout: 263 seconds]

01:45 t4nk675 has joined #ocaml

01:47 mfp has quit [Ping timeout: 260 seconds]

01:48 shinnya has quit [Ping timeout: 264 seconds]

01:50 t4nk675 has quit []

02:01 isd has joined #ocaml

02:02 Fare has joined #ocaml

02:02 <Fare> hi!

02:03 <Fare> Are there good tutorials for objects in OCaml? For GADTs?

02:11 <isd> Fare: Real World OCaml has a section on objects.

02:12 <Enjolras> The manual has good section on GADTs imo. (for objects too, but a bit less tutorially)

02:13 <Enjolras> the manual is a bit underatted. Except the CSS dates from the 2000's, it's better than most people think it is imo

02:14 <Enjolras> https://caml.inria.fr/pub/docs/manual-ocaml/extn.html#sec251

02:16 kark has quit [Ping timeout: 256 seconds]

02:20 letoh has joined #ocaml

02:20 malina has joined #ocaml

02:32 tormen has joined #ocaml

02:35 tormen_ has quit [Ping timeout: 256 seconds]

02:36 <keep_learning> Hi Everyone, I am wondering if someone here has worked on a project where you have called Java library from OCaml. I am aware of http://www.ocamljava.org/files/doc/manual/index.html but I don

02:37 <keep_learning> I don't want to java byte code, but native OCaml code so is there other way to call Java functions from OCaml ?

02:38 jbrown has quit [Ping timeout: 260 seconds]

02:42 <Enjolras> i would go the RPC route tbh. Seems much easier

02:45 <Fare> Enjolras: I want to do something that in Lisp I'd use a class hierarchy of events. I'm not sure what to use in OCaml.

02:45 <Fare> Also... I don't suppose there is any library in OCaml to deal with epistemic logic?

02:56 <Enjolras> Fare: i'm lost sorry, this is away from my domain of expertise :)

03:10 pierpa has quit [Quit: Page closed]

03:11 pierpa has joined #ocaml

03:28 <Fare> np -- thanks for the help already

03:37 malina has quit [Remote host closed the connection]

03:39 malina has joined #ocaml

03:49 lucassz has joined #ocaml

03:55 lucassz has quit [Ping timeout: 260 seconds]

04:31 zolk3ri has joined #ocaml

04:33 nopf_ has quit [Remote host closed the connection]

04:35 <companion_cube> not aware of much modal logic done in OCaml, sorry

04:35 <companion_cube> (I mean, apart from TLAps but it's not the same logic)

04:35 <companion_cube> I guess the traditional way of doing logic is to write your own tool :3

04:37 moei has quit [Quit: Leaving...]

04:42 mbuf has joined #ocaml

04:45 <zolk3ri> There's a module of modal logic for Prolog but yeah, that's not OCaml. :P

04:50 cbot has joined #ocaml

04:55 MercurialAlchemi has joined #ocaml

04:55 <zolk3ri> lol

04:55 <zolk3ri> err wrong channel

04:59 jimmyrcom has quit [Ping timeout: 276 seconds]

05:06 isd has quit [Ping timeout: 240 seconds]

05:25 pluplog has joined #ocaml

05:27 muelleme has joined #ocaml

05:39 <Enjolras> :wg

05:57 zpe has quit [Remote host closed the connection]

06:14 bairui has quit [Ping timeout: 240 seconds]

06:16 cbot has quit [Quit: Leaving]

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

06:25 jimmyrcom_ has quit [Ping timeout: 255 seconds]

06:27 pierpa has quit [Ping timeout: 260 seconds]

06:33 govg has joined #ocaml

06:40 Haudegen has joined #ocaml

06:42 bairui has joined #ocaml

06:52 malina has quit [Ping timeout: 268 seconds]

06:52 dakk has joined #ocaml

06:53 Fare has quit [Ping timeout: 260 seconds]

06:56 MercurialAlchemi has quit [Remote host closed the connection]

07:00 zv has quit [Quit: WeeChat 1.9]

07:01 MercurialAlchemi has joined #ocaml

07:03 zv has joined #ocaml

07:10 malina has joined #ocaml

07:30 zpe has joined #ocaml

07:35 moei has joined #ocaml

07:56 kmerz has quit [Ping timeout: 240 seconds]

07:56 jacobian has quit [Ping timeout: 256 seconds]

07:57 kmerz has joined #ocaml

07:57 cuicui has joined #ocaml

07:58 mk9 has joined #ocaml

07:59 mk9 has quit [Client Quit]

08:03 ygrek has joined #ocaml

08:03 jacobian has joined #ocaml

08:03 pierpa has joined #ocaml

08:03 pierpa has quit [Client Quit]

08:04 pierpa has joined #ocaml

08:04 pierpa has quit [Client Quit]

08:05 pierpa has joined #ocaml

08:05 jao has joined #ocaml

08:05 argent_smith has joined #ocaml

08:05 pierpa has joined #ocaml

08:05 pierpa has quit [Client Quit]

08:05 pierpa has joined #ocaml

08:06 pierpa has joined #ocaml

08:06 pierpa has quit [Client Quit]

08:06 pierpa has joined #ocaml

08:06 pierpa has quit [Client Quit]

08:06 pierpa has joined #ocaml

08:06 pierpa has quit [Client Quit]

08:07 pierpa has joined #ocaml

08:07 pierpa has quit [Client Quit]

08:07 pierpa has joined #ocaml

08:08 pierpa has joined #ocaml

08:08 pierpa has quit [Client Quit]

08:08 pierpa has joined #ocaml

08:08 pierpa has quit [Client Quit]

08:09 pierpa has joined #ocaml

08:09 pierpa has quit [Client Quit]

08:10 pierpa has joined #ocaml

08:10 pierpa has quit [Client Quit]

08:10 pierpa has joined #ocaml

08:10 pierpa has quit [Client Quit]

08:10 jao has quit [Ping timeout: 260 seconds]

08:10 pierpa has joined #ocaml

08:14 pierpa has quit [Client Quit]

08:14 pierpa has joined #ocaml

08:20 tarptaeya has joined #ocaml

08:21 pierpa has joined #ocaml

08:21 pierpa has quit [Client Quit]

08:21 pierpa has joined #ocaml

08:24 pierpa has quit [Client Quit]

08:24 pierpa has joined #ocaml

08:24 pierpa has quit [Client Quit]

08:24 pierpa has joined #ocaml

08:25 pierpa has joined #ocaml

08:25 pierpa has quit [Client Quit]

08:25 pierpa has joined #ocaml

08:25 pierpa has quit [Client Quit]

08:27 pierpa has joined #ocaml

08:27 pierpa has quit [Client Quit]

08:27 pierpa has joined #ocaml

08:27 pierpa has quit [Client Quit]

08:28 pierpa has joined #ocaml

08:28 pierpa has quit [Client Quit]

08:28 pierpa has joined #ocaml

08:28 pierpa has quit [Client Quit]

08:28 pierpa has joined #ocaml

08:28 pierpa has quit [Client Quit]

08:29 pierpa has joined #ocaml

08:29 pierpa has quit [Client Quit]

08:29 pierpa has joined #ocaml

08:29 pierpa has quit [Client Quit]

08:30 pierpa has joined #ocaml

08:30 pierpa has quit [Client Quit]

08:30 pierpa has joined #ocaml

08:30 pierpa has quit [Client Quit]

08:30 pierpa has joined #ocaml

08:30 pierpa has quit [Client Quit]

08:31 pierpa has joined #ocaml

08:31 pierpa has quit [Client Quit]

08:31 pierpa has joined #ocaml

08:31 pierpa has quit [Client Quit]

08:31 pierpa has joined #ocaml

08:34 pierpa has quit [Client Quit]

08:34 pierpa has joined #ocaml

08:34 pierpa has quit [Client Quit]

08:34 pierpa has joined #ocaml

08:34 pierpa has quit [Client Quit]

08:35 pierpa has joined #ocaml

08:35 pierpa has quit [Client Quit]

08:35 pierpa has joined #ocaml

08:35 pierpa has quit [Client Quit]

08:35 pierpa has joined #ocaml

08:35 pierpa has quit [Client Quit]

08:36 pierpa has joined #ocaml

08:36 pierpa has quit [Client Quit]

08:36 pierpa has joined #ocaml

08:36 pierpa has quit [Client Quit]

08:37 pierpa has joined #ocaml

08:37 pierpa has quit [Client Quit]

08:38 pierpa has joined #ocaml

08:38 pierpa has quit [Client Quit]

08:38 pierpa has joined #ocaml

08:38 pierpa has quit [Client Quit]

08:39 pierpa has joined #ocaml

08:41 pierpa has joined #ocaml

08:41 pierpa has quit [Client Quit]

08:41 pierpa has joined #ocaml

08:41 pierpa has quit [Client Quit]

08:42 pierpa has joined #ocaml

08:42 pierpa has quit [Client Quit]

08:42 pierpa has joined #ocaml

08:42 pierpa has quit [Client Quit]

08:43 pierpa has joined #ocaml

08:43 pierpa has quit [Client Quit]

08:43 pierpa has joined #ocaml

08:43 pierpa has quit [Client Quit]

08:43 pierpa has joined #ocaml

08:44 pierpa has quit [Client Quit]

08:44 pierpa has joined #ocaml

08:44 pierpa has quit [Client Quit]

08:44 pierpa has joined #ocaml

08:48 pierpa has joined #ocaml

08:48 pierpa has quit [Client Quit]

08:48 pierpa has joined #ocaml

08:49 pierpa has quit [Client Quit]

08:49 pierpa has joined #ocaml

08:49 pierpa has quit [Client Quit]

08:49 pierpa has joined #ocaml

08:49 pierpa has quit [Client Quit]

08:49 pierpa has joined #ocaml

08:50 pierpa has joined #ocaml

08:50 pierpa has quit [Client Quit]

08:52 pierpa has joined #ocaml

08:53 pierpa has quit [Client Quit]

08:53 pierpa has joined #ocaml

08:54 pierpa has quit [Client Quit]

08:54 pierpa has joined #ocaml

08:54 pierpa has quit [Client Quit]

08:54 pierpa has joined #ocaml

08:55 pierpa has joined #ocaml

08:55 pierpa has quit [Client Quit]

08:55 pierpa has joined #ocaml

08:56 pierpa has joined #ocaml

08:56 pierpa has quit [Client Quit]

08:56 pierpa has joined #ocaml

08:56 pierpa has quit [Client Quit]

08:56 pierpa has joined #ocaml

08:58 pierpa has quit [Client Quit]

08:58 pierpa has joined #ocaml

08:59 pierpa has joined #ocaml

08:59 pierpa has quit [Client Quit]

08:59 pierpa has joined #ocaml

09:01 pierpa has quit [Client Quit]

09:01 pierpa has joined #ocaml

09:01 pierpa has quit [Client Quit]

09:06 pierpa has joined #ocaml

09:06 pierpa has quit [Client Quit]

09:06 pierpa has joined #ocaml

09:08 pierpa has joined #ocaml

09:08 pierpa has quit [Client Quit]

09:08 pierpa has joined #ocaml

09:09 pierpa has joined #ocaml

09:09 pierpa has quit [Client Quit]

09:09 pierpa has joined #ocaml

09:09 pierpa has quit [Client Quit]

09:09 pierpa has joined #ocaml

09:10 pierpa has quit [Client Quit]

09:10 pierpa has joined #ocaml

09:12 pierpa has quit [Client Quit]

09:12 pierpa has joined #ocaml

09:12 pierpa has quit [Client Quit]

09:12 pierpa has joined #ocaml

09:12 pierpa has quit [Client Quit]

09:12 pierpa has joined #ocaml

09:13 pierpa has joined #ocaml

09:13 pierpa has quit [Client Quit]

09:13 pierpa has joined #ocaml

09:16 pierpa has quit [Client Quit]

09:16 pierpa has joined #ocaml

09:16 pierpa has quit [Client Quit]

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

09:18 pierpa has joined #ocaml

09:18 pierpa has quit [Client Quit]

09:18 pierpa has joined #ocaml

09:18 mfp has joined #ocaml

09:19 pierpa has joined #ocaml

09:19 pierpa has quit [Client Quit]

09:19 tilpner has joined #ocaml

09:19 pierpa has joined #ocaml

09:19 pierpa has quit [Client Quit]

09:20 pierpa has joined #ocaml

09:20 pierpa has quit [Client Quit]

09:20 pierpa has joined #ocaml

09:20 pierpa has quit [Client Quit]

09:20 pierpa has joined #ocaml

09:21 pierpa has joined #ocaml

09:21 pierpa has quit [Client Quit]

09:21 pierpa has joined #ocaml

09:23 TarVanimelde has joined #ocaml

09:23 pierpa has joined #ocaml

09:23 pierpa has quit [Client Quit]

09:23 pierpa has joined #ocaml

09:25 pierpa has quit [Client Quit]

09:25 pierpa has joined #ocaml

09:25 pierpa has quit [Client Quit]

09:25 pierpa has joined #ocaml

09:26 pierpa has quit [Client Quit]

09:26 pierpa has joined #ocaml

09:26 pierpa has quit [Client Quit]

09:29 <theblatte> /ban pierpa

09:32 kakadu has joined #ocaml

09:32 pierpa has joined #ocaml

09:33 pierpa has joined #ocaml

09:33 pierpa has quit [Client Quit]

09:34 pierpa has joined #ocaml

09:34 pierpa has quit [Client Quit]

09:34 pierpa has joined #ocaml

09:34 pierpa has quit [Client Quit]

09:36 pierpa has joined #ocaml

09:36 pierpa has quit [Client Quit]

09:36 pierpa has joined #ocaml

09:36 pierpa has quit [Client Quit]

09:38 pierpa has joined #ocaml

09:39 huglovefan has joined #ocaml

09:39 pierpa has joined #ocaml

09:39 pierpa has quit [Client Quit]

09:40 pierpa has joined #ocaml

09:40 pierpa has quit [Client Quit]

09:44 pierpa has joined #ocaml

10:01 pierpa has quit [Quit: Poof]

10:02 pierpa has joined #ocaml

10:10 ziyourenxiang has joined #ocaml

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

10:41 ygrek has joined #ocaml

10:56 unyu has quit [Ping timeout: 246 seconds]

10:58 gareppa has joined #ocaml

11:08 TarVanimelde has quit [Quit: TarVanimelde]

11:09 sh0t has joined #ocaml

11:10 dakk_ has joined #ocaml

11:12 dakk has quit [Ping timeout: 264 seconds]

11:21 bartholin has joined #ocaml

11:22 pierpa has quit [Read error: Connection reset by peer]

11:28 ygrek has quit [Remote host closed the connection]

11:28 ygrek has joined #ocaml

11:30 Fare has joined #ocaml

11:35 letoh_ has joined #ocaml

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

11:37 letoh has quit [Read error: Connection reset by peer]

11:41 letoh_ is now known as letoh

11:44 demonimin has quit [Remote host closed the connection]

11:48 al-damiri has joined #ocaml

11:49 demonimin has joined #ocaml

11:49 pierpa has joined #ocaml

11:53 xvw has joined #ocaml

11:58 Fare has quit [Ping timeout: 264 seconds]

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

12:02 spew has joined #ocaml

12:06 Bronsa has joined #ocaml

12:07 theblatte has quit [Ping timeout: 256 seconds]

12:07 Fare has joined #ocaml

12:08 profan_ is now known as profan

12:10 sepp2k has joined #ocaml

12:15 MercurialAlchemi has quit [Ping timeout: 256 seconds]

12:17 MercurialAlchemi has joined #ocaml

12:18 gareppa has quit [Quit: Leaving]

12:27 FareTower has joined #ocaml

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

12:30 xvw has joined #ocaml

12:30 Fare has quit [Ping timeout: 264 seconds]

12:35 xvw has quit [Ping timeout: 246 seconds]

12:36 xvw_ has joined #ocaml

12:37 Haudegen has joined #ocaml

12:40 jbrown has joined #ocaml

12:41 shinnya has joined #ocaml

12:41 pierpa has quit [Ping timeout: 256 seconds]

12:42 malina has quit [Ping timeout: 240 seconds]

12:43 FareTower has quit [Ping timeout: 240 seconds]

12:44 mbuf has quit [Quit: Leaving]

12:56 cuicui has quit [Ping timeout: 240 seconds]

12:57 cuicui has joined #ocaml

12:58 xvw_ has quit [Remote host closed the connection]

12:59 xvw has joined #ocaml

12:59 cuicui has quit [Client Quit]

12:59 cuicui has joined #ocaml

13:00 _andre has joined #ocaml

13:02 xvw_ has joined #ocaml

13:03 xvw has quit [Ping timeout: 245 seconds]

13:11 tarptaeya has quit [Quit: Byeeeeeee!]

13:11 gtrak has joined #ocaml

13:22 sh0t has joined #ocaml

13:25 silver has joined #ocaml

13:33 pierpa has joined #ocaml

13:35 pierpa has quit [Read error: Connection reset by peer]

13:40 xvw_ has quit [Remote host closed the connection]

13:40 xvw has joined #ocaml

13:44 xvw_ has joined #ocaml

13:44 xvw__ has joined #ocaml

13:45 xvw__ has quit [Client Quit]

13:45 xvw has quit [Read error: Connection reset by peer]

13:48 xvw_ has quit [Ping timeout: 268 seconds]

13:58 jimmyrcom has joined #ocaml

13:58 Guest94326 has quit [Remote host closed the connection]

14:08 MercurialAlchemi has quit [Ping timeout: 246 seconds]

14:10 mfp has quit [Ping timeout: 264 seconds]

14:17 bzb_hh has joined #ocaml

14:18 bzb_hh has quit [Client Quit]

14:32 t4nk274 has joined #ocaml

14:40 ygrek has quit [Ping timeout: 276 seconds]

14:43 pierpa has joined #ocaml

14:44 huglovefan has quit [Quit: huglovefan]

14:47 FareTower has joined #ocaml

14:47 pierpa has quit [Ping timeout: 276 seconds]

14:48 pierpa has joined #ocaml

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

15:03 zpe has quit [Remote host closed the connection]

15:03 zpe has joined #ocaml

15:03 pierpa has joined #ocaml

15:08 zpe has quit [Ping timeout: 264 seconds]

15:10 jao has joined #ocaml

15:12 pierpa has quit [Read error: Connection reset by peer]

15:13 Geimhreadh has joined #ocaml

15:15 zpe has joined #ocaml

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

15:16 zpe has joined #ocaml

15:18 FreeBirdLjj has joined #ocaml

15:26 zolk3ri has quit [Ping timeout: 260 seconds]

15:30 zolk3ri has joined #ocaml

15:36 zpe has quit [Remote host closed the connection]

15:37 zpe has joined #ocaml

15:41 zpe has quit [Ping timeout: 264 seconds]

15:52 mfp has joined #ocaml

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

16:05 shinnya has quit [Ping timeout: 264 seconds]

16:07 cuicui has quit [Quit: leaving]

16:10 sheijk has quit [Remote host closed the connection]

16:11 FareTower has quit [Ping timeout: 276 seconds]

16:12 FreeBirdLjj has joined #ocaml

16:12 bronsen has quit [Remote host closed the connection]

16:13 bronsen has joined #ocaml

16:19 mengu has joined #ocaml

16:27 mengu has quit [Remote host closed the connection]

16:30 dakk_ has quit [Remote host closed the connection]

16:34 _andre has quit [Quit: leaving]

16:44 cbot has joined #ocaml

16:49 govg has quit [Ping timeout: 260 seconds]

16:54 muelleme has joined #ocaml

16:56 govg has joined #ocaml

17:00 so has quit [Read error: Connection reset by peer]

17:00 <Drup> rgr[m]: the support for .mld files is really nice

17:00 govg has quit [Ping timeout: 240 seconds]

17:01 <rgr[m]> Now we just need a place where all this documentation can be easily browsed

17:01 <companion_cube> yes please :D

17:02 <rgr[m]> antron: help us :P

17:04 tane has joined #ocaml

17:04 Geimhreadh has quit [Remote host closed the connection]

17:06 unyu has joined #ocaml

17:06 unyu has quit [Client Quit]

17:07 unyu has joined #ocaml

17:08 <companion_cube> erf, new jbuilder doesn't make doc for the sub-libraries?

17:09 <companion_cube> hmmm it does, but index.html changed, ok

17:09 <companion_cube> weird

17:11 <rgr[m]> The new jbuilder will no longer include private libs in the main listing

17:12 <rgr[m]> but their generated docs will still exist

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

17:28 sepp2k has quit [Quit: Leaving.]

17:30 muelleme has quit [Ping timeout: 255 seconds]

17:35 Haudegen has joined #ocaml

17:40 jack5638 has quit [Ping timeout: 276 seconds]

17:41 jack5638 has joined #ocaml

17:52 mengu has joined #ocaml

17:53 sz0 has joined #ocaml

17:56 tarptaeya has joined #ocaml

17:59 pierpa has joined #ocaml

18:03 pierpa has quit [Read error: Connection reset by peer]

18:18 kakadu has quit [Quit: Konversation terminated!]

18:22 zpe has joined #ocaml

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

18:27 muelleme has joined #ocaml

18:28 pierpa has joined #ocaml

18:32 zpe has quit [Remote host closed the connection]

18:32 muelleme has quit [Ping timeout: 245 seconds]

18:32 pierpa has quit [Ping timeout: 264 seconds]

18:36 zolk3ri has quit [Remote host closed the connection]

18:39 mengu has quit [Remote host closed the connection]

18:39 pierpa has joined #ocaml

18:49 pierpa_ has joined #ocaml

18:52 isd has joined #ocaml

18:59 mengu has joined #ocaml

19:01 muelleme has joined #ocaml

19:04 kakadu has joined #ocaml

19:07 mengu has quit [Ping timeout: 264 seconds]

19:11 zpe has joined #ocaml

19:14 <companion_cube> Bluddy[m]: so what's your magical replacement to IRC?

19:17 mengu has joined #ocaml

19:21 CahC5ooz has joined #ocaml

19:23 mengu has quit [Ping timeout: 264 seconds]

19:29 FareTower has joined #ocaml

19:31 <companion_cube> almost seems like merlin is ignoring my .merlin :s

19:31 <zozozo> companion_cube reload/restart merlin ?

19:31 <companion_cube> yeah, been quitting the editor and all

19:35 zpe has quit [Remote host closed the connection]

19:47 jack5638 has quit [Ping timeout: 240 seconds]

19:50 <bartholin> I did something with GADTs.

19:50 zpe has joined #ocaml

19:50 <companion_cube> ✔

19:52 <bartholin> https://p.teknik.io/esNsY

19:52 <bartholin> I made a list type where components can each have a different type, and an evaluation function.

19:53 jack5638 has joined #ocaml

19:53 <bartholin> In the instance I wrote, I gave a function of type bool -> int -> float -> int to a list containing true, 3 and the float 4.

19:54 <companion_cube> looks good, yes

19:54 mengu has joined #ocaml

19:55 orbifx has joined #ocaml

19:59 mengu has quit [Ping timeout: 260 seconds]

19:59 orbifx has quit [Read error: Connection reset by peer]

19:59 <Drup> bartholin: https://drup.github.io/2016/08/02/difflists/ :]

20:00 orbifx has joined #ocaml

20:03 zpe has quit [Remote host closed the connection]

20:28 tane has quit [Quit: Leaving]

20:30 mengu has joined #ocaml

20:34 mengu has quit [Ping timeout: 265 seconds]

20:37 al-damiri has quit [Quit: Connection closed for inactivity]

20:37 CahC5ooz has left #ocaml ["ERC (IRC client for Emacs 25.3.1)"]

20:38 mengu has joined #ocaml

20:40 argent_smith1 has joined #ocaml

20:40 t4nk274 has quit []

20:43 argent_smith has quit [Ping timeout: 265 seconds]

20:45 gtrak has quit [Ping timeout: 260 seconds]

20:45 zpe has joined #ocaml

20:47 gtrak has joined #ocaml

20:47 letoh_ has joined #ocaml

20:48 letoh has quit [Ping timeout: 240 seconds]

20:52 letoh_ is now known as letoh

20:55 gtrak has quit [Ping timeout: 276 seconds]

20:56 gtrak has joined #ocaml

21:01 argent_smith has joined #ocaml

21:04 argent_smith1 has quit [Ping timeout: 265 seconds]

21:04 muelleme has quit [Ping timeout: 240 seconds]

21:05 theblatte has joined #ocaml

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

21:25 sillyotter has joined #ocaml

21:28 sillyotter has quit [Client Quit]

21:36 <companion_cube> grr, unable to upgrade nocrypto on 4.05 now -_-

21:36 <companion_cube> thanks to sexp ppx…

21:38 <companion_cube> all I wanted to do was to recompile my IRC bot, ffs -_-

21:38 <companion_cube> Drup: say what you want, but a lock file would probably help me there

21:39 s1n4 has joined #ocaml

21:40 s1n4 has quit [Client Quit]

21:46 spew has quit [Read error: Connection reset by peer]

21:56 <orbifx> a lock file for packages? companion_cube

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

22:01 <companion_cube> a lock file for my repository, that opam would use instead of upgrading the world

22:02 <companion_cube> is's tiresome to have to fix opam's breakages

22:12 malina has joined #ocaml

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

22:31 JeanMax has joined #ocaml

22:32 sh0t has quit [Remote host closed the connection]

22:46 spew has joined #ocaml

22:51 spew has quit [Read error: Connection reset by peer]

22:55 orbifx has quit [Quit: WeeChat 2.1]

22:56 mengu has quit [Remote host closed the connection]

23:04 <gikiam> ^

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

23:25 pierpa has quit [Quit: Poof]

23:25 spew has joined #ocaml

23:26 spew has quit [Read error: Connection reset by peer]

23:26 isd has quit [Quit: Leaving.]

23:27 nullifidian has quit [Ping timeout: 263 seconds]

23:52 UukGoblin861 has joined #ocaml

23:54 UukGoblin861 has quit [Remote host closed the connection]