#ocaml on 2017-05-07 — irc logs at freenode.irclog.whitequark.org

2016-11-11 21:04 adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | Current MOOC: https://huit.re/ocamlmooc | OCaml 4.04.0 release notes: http://ocaml.org/releases/4.04.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml

00:02 infinity0_ has joined #ocaml

00:02 infinity0_ has quit [Changing host]

00:02 infinity0 has joined #ocaml

00:02 infinity0 has quit [Remote host closed the connection]

00:04 infinity0 has joined #ocaml

00:05 infinity0 has quit [Remote host closed the connection]

00:07 infinity0 has joined #ocaml

00:07 infinity0 has quit [Remote host closed the connection]

00:10 infinity0 has joined #ocaml

00:10 infinity0 has quit [Remote host closed the connection]

00:12 infinity0 has joined #ocaml

00:13 infinity0 has quit [Remote host closed the connection]

00:16 jao has joined #ocaml

00:17 argent_smith has quit [Quit: Leaving.]

00:23 crunchytype has quit [Remote host closed the connection]

00:23 \h has quit [Quit: WeeChat 1.7]

00:26 ryanartecona has joined #ocaml

00:30 \h has joined #ocaml

00:32 richi235 has quit [Ping timeout: 258 seconds]

01:03 spew has quit [Ping timeout: 260 seconds]

01:14 ryanartecona has quit [Quit: ryanartecona]

01:24 mfp has quit [Ping timeout: 246 seconds]

01:27 P4Titan has joined #ocaml

01:27 <P4Titan> Hi all

01:27 <P4Titan> Does anyone have expirience in LWT to help me out.

01:28 <P4Titan> I've got a client that has a `Lwt_unix.read`

01:28 <P4Titan> and when I control-C the program to quit it, that read doesn't seem to let go of its connects

01:28 <P4Titan> connection*

01:29 <P4Titan> because when I try to start up the client again, upon binding, I get an expection of ADDRINUSE

01:35 ryanartecona has joined #ocaml

01:46 ryanartecona has quit [Quit: ryanartecona]

01:52 ryanartecona has joined #ocaml

02:34 jao has quit [Ping timeout: 255 seconds]

02:59 ryanartecona has quit [Quit: ryanartecona]

03:17 copy` has quit [Quit: Connection closed for inactivity]

03:20 MercurialAlchemi has joined #ocaml

03:39 _whitelogger has joined #ocaml

03:45 moei has quit [Quit: Leaving...]

03:56 moei has joined #ocaml

04:15 infinity0 has joined #ocaml

04:16 P4Titan has quit [Remote host closed the connection]

04:36 MercurialAlchemi has quit [Ping timeout: 260 seconds]

05:03 ryanartecona has joined #ocaml

05:43 ryanartecona has quit [Quit: ryanartecona]

05:48 _whitelogger has joined #ocaml

06:06 leah2 has quit [Ping timeout: 260 seconds]

06:07 leah2 has joined #ocaml

06:08 TheAuGingembre has quit [Ping timeout: 264 seconds]

06:26 spew has joined #ocaml

06:38 osa1 has joined #ocaml

06:39 FreeBirdLjj has joined #ocaml

06:39 <osa1> I'm reading "Staged Generic Programaming" paper (https://www.cl.cam.ac.uk/~jdy22/papers/staged-generic-programming.pdf). first figure in the paper uses a type constructors called `eql` but it doesn't show where it comes from, and it's not bound by default in 4.02.1+modular-implicits-ber. anyone know what to import for that type?

06:48 octachron has joined #ocaml

06:50 <octachron> osa1, most probably: type ('a,'b) eql = Refl:('a,'a) eql

06:51 <osa1> octachron: makes sense, thanks. just plugged that in and it seems to type check

07:01 <osa1> hmm I'm getting a syntax error on page 4 line 13. it seems like 4.02.1+modular-implicits-ber doesn't like the "rec" keyword in `module type rec DATA = sig ...`

07:05 slash^ has joined #ocaml

07:10 <octachron> the "rec" keyword is probably a typo here

07:12 <osa1> octachron: I can't remove it. I think that's needed because DATA and genericQ are mutually recursive

07:19 ygrek has quit [Ping timeout: 240 seconds]

07:22 osa1_ has joined #ocaml

07:23 osa1 has quit [Ping timeout: 240 seconds]

07:23 <octachron> osa1_, one work around is to wrap all recursive types/module types definition in a module rec definition

07:29 osa1_ is now known as osa1

07:29 osa1 has quit [Changing host]

07:29 osa1 has joined #ocaml

07:36 _whitelogger has joined #ocaml

07:43 osa1_ has joined #ocaml

07:45 osa1 has quit [Ping timeout: 260 seconds]

07:46 Simn has joined #ocaml

08:04 crunchytype has joined #ocaml

08:31 Harzilein has quit [Ping timeout: 240 seconds]

08:32 spew has quit [Quit: foobar]

08:37 argent_smith has joined #ocaml

09:03 osa1 has joined #ocaml

09:04 osa1_ has quit [Ping timeout: 268 seconds]

09:05 Anarchos has joined #ocaml

09:08 fraggle_ has quit [Read error: Connection reset by peer]

09:10 sz0 has joined #ocaml

09:16 richi235 has joined #ocaml

09:19 govg has quit [Ping timeout: 240 seconds]

09:21 sfri has quit [Remote host closed the connection]

09:21 moei has quit [Quit: Leaving...]

09:21 mfp has joined #ocaml

09:26 moei has joined #ocaml

09:29 fraggle_ has joined #ocaml

09:29 sfri has joined #ocaml

09:39 octachron has quit [Quit: Leaving]

09:41 FreeBirdLjj has quit [Remote host closed the connection]

09:58 freusque has joined #ocaml

10:07 fraggle-boate has quit [Remote host closed the connection]

10:15 argent_smith has quit [Quit: Leaving.]

10:18 govg has joined #ocaml

10:40 argent_smith has joined #ocaml

10:44 <orbifx[m]> can a record contain a module?

10:56 haesbaert has quit [Remote host closed the connection]

11:10 <zozozo> orbifx[m]: using modules as values, yes

11:11 TheLemonMan has joined #ocaml

11:16 <orbifx[m]> How is a module used as a value?

11:29 <orbifx[m]> zozozo: ?

11:31 nicooo has joined #ocaml

11:32 <zozozo> orbifx[m]: https://realworldocaml.org/v1/en/html/first-class-modules.html

11:35 nicoo has quit [Remote host closed the connection]

11:38 <orbifx[m]> thanks zozozo

12:19 tane has joined #ocaml

12:22 ryanartecona has joined #ocaml

12:27 ryanartecona has quit [Ping timeout: 240 seconds]

12:39 sepp2k has joined #ocaml

12:50 crunchytype has quit [Remote host closed the connection]

12:56 ziyourenxiang has joined #ocaml

12:57 ziyourenxiang has quit [Max SendQ exceeded]

12:58 ziyourenxiang has joined #ocaml

12:58 ziyourenxiang has quit [Max SendQ exceeded]

12:59 ziyourenxiang has joined #ocaml

13:00 ziyourenxiang has quit [Max SendQ exceeded]

13:00 ziyourenxiang has joined #ocaml

13:30 _whitelogger has joined #ocaml

13:44 kakadu has joined #ocaml

13:51 crunchytype has joined #ocaml

13:55 crunchytype has quit [Ping timeout: 240 seconds]

13:57 crunchytype has joined #ocaml

14:02 FreeBirdLjj has joined #ocaml

14:09 MercurialAlchemi has joined #ocaml

14:14 richi238 has joined #ocaml

14:14 richi235 has quit [Remote host closed the connection]

14:14 richi238 is now known as richi235

14:15 TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]

14:22 ygrek has joined #ocaml

14:24 ryanartecona has joined #ocaml

14:28 ryanartecona has quit [Ping timeout: 240 seconds]

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

14:40 FreeBirdLjj has joined #ocaml

14:49 ygrek has quit [Ping timeout: 240 seconds]

14:51 crunchytype has quit []

14:52 crunchytype has joined #ocaml

15:14 trevorri- has quit [Ping timeout: 264 seconds]

15:16 freusque has quit [Ping timeout: 255 seconds]

15:16 sepp2k has quit [Ping timeout: 260 seconds]

15:17 fre has joined #ocaml

15:18 sepp2k has joined #ocaml

15:20 larhat has joined #ocaml

15:28 sepp2k has quit [Ping timeout: 260 seconds]

15:32 sepp2k has joined #ocaml

15:51 spew has joined #ocaml

16:20 ziyourenxiang has quit [Quit: Leaving]

16:25 ryanartecona has joined #ocaml

16:30 ryanartecona has quit [Ping timeout: 264 seconds]

16:31 davs has joined #ocaml

16:53 Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]

17:10 davs_ has joined #ocaml

17:10 davs has quit [Ping timeout: 260 seconds]

17:11 ryanartecona has joined #ocaml

17:12 davs has joined #ocaml

17:14 FreeBirdLjj has quit [Remote host closed the connection]

17:15 FreeBirdLjj has joined #ocaml

17:16 sh0t has joined #ocaml

17:19 FreeBirdLjj has quit [Ping timeout: 245 seconds]

17:22 davs has quit [Ping timeout: 240 seconds]

17:22 davs_ has quit [Ping timeout: 240 seconds]

17:24 davs has joined #ocaml

17:24 govg has quit [Ping timeout: 260 seconds]

17:25 zv has quit [Quit: WeeChat 1.6]

17:37 toolslive has quit [Ping timeout: 268 seconds]

17:43 davs has quit [Ping timeout: 246 seconds]

17:45 davs has joined #ocaml

17:46 kamog has joined #ocaml

17:50 toolslive has joined #ocaml

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

18:00 Anarchos has joined #ocaml

18:19 Algebr has joined #ocaml

18:23 govg has joined #ocaml

18:23 davs has quit [Ping timeout: 240 seconds]

18:24 davs has joined #ocaml

18:26 slash^ has quit [Read error: Connection reset by peer]

18:29 TheLemonMan has joined #ocaml

18:29 ygrek has joined #ocaml

18:31 mengu has joined #ocaml

18:38 pierpa has joined #ocaml

18:39 davs has quit [Ping timeout: 240 seconds]

18:41 <orbifx[m]> sup all?

18:41 davs has joined #ocaml

18:54 ryanartecona has quit [Quit: ryanartecona]

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

19:09 ryanartecona has joined #ocaml

19:10 zv has joined #ocaml

19:11 ryanartecona has quit [Client Quit]

19:17 davs has quit [Ping timeout: 258 seconds]

19:18 SpiceGuid has joined #ocaml

19:19 davs has joined #ocaml

19:19 osa1 has quit [Ping timeout: 240 seconds]

19:30 spew has joined #ocaml

19:31 MercurialAlchemi has quit [Ping timeout: 260 seconds]

19:40 Soni has quit [Ping timeout: 240 seconds]

19:40 davs has quit [Ping timeout: 240 seconds]

19:43 davs has joined #ocaml

19:43 SpiceGuid has quit [Ping timeout: 240 seconds]

19:45 Soni has joined #ocaml

19:45 g0d355__ has joined #ocaml

19:54 pwzoii has quit [Ping timeout: 240 seconds]

20:09 jack5638 has quit [Ping timeout: 240 seconds]

20:09 jack5638 has joined #ocaml

20:33 sh0t has quit [Ping timeout: 240 seconds]

20:43 ollehar1 has joined #ocaml

20:48 sh0t has joined #ocaml

20:49 Simn has quit [Read error: Connection reset by peer]

20:55 TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]

20:56 argent_smith has quit [Quit: Leaving.]

20:56 tobast has quit [Read error: Connection reset by peer]

20:57 tobast has joined #ocaml

21:01 tane has quit [Quit: Leaving]

21:09 Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]

21:13 jabesed has joined #ocaml

21:21 ryanartecona has joined #ocaml

21:23 davs has quit [Quit: leaving]

21:37 larhat has quit [Quit: Leaving.]

21:42 <mengu> hi orbifx[m]

21:42 fre has quit [Ping timeout: 260 seconds]

21:42 AlexRussia has quit [Quit: WeeChat 1.7]

21:42 <orbifx[m]> hey mengu

21:43 <mengu> how are you

21:43 <orbifx[m]> I'm well, relaxed. You?

21:43 jabesed has quit [Remote host closed the connection]

21:43 sh0t has quit [Ping timeout: 245 seconds]

21:57 AlexRussia has joined #ocaml

21:58 jbrown has quit [Quit: Leaving]

22:03 jbrown has joined #ocaml

22:04 <mengu> orbifx[m]: thank you. i'm dealing with android.

22:05 <orbifx[m]> OCaml + Android, or trying to get your device to behave? :P

22:09 <mengu> oh nope

22:09 <mengu> it's clojurescript + react native

22:09 <mengu> some custom modules, etc

22:09 <mengu> and getting account android manager behave :)

22:10 crunchytype has left #ocaml [#ocaml]

22:11 ousado_ has joined #ocaml

22:12 atsampso1 has joined #ocaml

22:13 tg` has joined #ocaml

22:15 govg has quit [Ping timeout: 240 seconds]

22:16 Druup has joined #ocaml

22:21 sigjuice has joined #ocaml

22:21 mengu has quit [Quit: Leaving...]

22:22 govg has joined #ocaml

22:22 tg has quit [*.net *.split]

22:22 orbifx[m] has quit [*.net *.split]

22:22 ousado has quit [*.net *.split]

22:22 atsampson has quit [*.net *.split]

22:22 mars0i[m] has quit [*.net *.split]

22:22 ktosiek[m] has quit [*.net *.split]

22:22 M-Illandan has quit [*.net *.split]

22:22 Riviera_ has quit [*.net *.split]

22:22 dmj` has quit [*.net *.split]

22:22 Drup has quit [*.net *.split]

22:22 sigjuice_ has quit [*.net *.split]

22:22 tg` is now known as tg

22:26 Druup is now known as Drup

22:31 Algebr has quit [Remote host closed the connection]

22:39 g0d355__ has quit [Ping timeout: 245 seconds]

22:40 orbifx[m] has joined #ocaml

22:40 mars0i[m] has joined #ocaml

22:40 M-Illandan has joined #ocaml

22:41 <ollehar1> is ocaml running on android?

22:41 <ollehar1> hm, whitequark did some stuff

22:42 Riviera_ has joined #ocaml

22:42 ktosiek[m] has joined #ocaml

22:42 dmj` has joined #ocaml

22:43 dmj` has quit [Max SendQ exceeded]

22:43 ollehar1 has quit [Quit: ollehar1]

22:43 dmj` has joined #ocaml

22:44 spew_ has joined #ocaml

22:45 spew has quit [Ping timeout: 240 seconds]

22:45 spew_ is now known as spew

22:46 kamog has quit [Remote host closed the connection]

22:51 agarwal1975 has quit [Quit: agarwal1975]

22:53 agarwal1975 has joined #ocaml

22:59 ygrek has quit [Ping timeout: 260 seconds]

23:00 sh0t has joined #ocaml

23:03 persianturtle has joined #ocaml

23:04 <persianturtle> Hello! I am looking to get started in OCaml for web development and was wondering if anyone had any recommendations/tips on how to get started.

23:12 strykerkkd has joined #ocaml

23:15 jao has joined #ocaml

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

23:18 r4bbit has quit [Ping timeout: 240 seconds]

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

23:38 moei has quit [Quit: Leaving...]

23:57 infinity0 has quit [Ping timeout: 240 seconds]

23:59 infinity0 has joined #ocaml