#ocaml on 2015-12-27 — irc logs at freenode.irclog.whitequark.org

2015-11-14 15:27 adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml MOOC http://1149.fr/ocaml-mooc | OCaml 4.02.3 announced http://ocaml.org/releases/4.02.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml

00:01 <pierpa> hmmm

00:02 badon_ is now known as badon

00:02 <pierpa> Unix.time works

00:03 esad has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]

00:04 <pierpa> gettimeofday works too

00:04 <pierpa> I take back part of the curses I sent to ocaml :)

00:04 <fds> Yay!

00:05 <pierpa> :)

00:05 <pierpa> gmtime works

00:06 <Drup> pierpa: did you try some of the tentative opam-on-windows things ?

00:06 <pierpa> not yet

00:07 teknozulu has quit [Ping timeout: 264 seconds]

00:07 <pierpa> at the moment I'm using the blob from ocamlpro, the only extra thing is tuareg

00:09 ivan\_ has joined #ocaml

00:11 Maelan_ has joined #ocaml

00:11 AdmWiggin has joined #ocaml

00:11 mfp_ has joined #ocaml

00:12 cdidd_ has joined #ocaml

00:12 Kristien has joined #ocaml

00:13 esad has joined #ocaml

00:18 ivan\ has quit [Ping timeout: 246 seconds]

00:18 BitPuffin|osx has quit [Ping timeout: 246 seconds]

00:18 ivan\_ is now known as ivan\

00:18 vpm_ has joined #ocaml

00:18 ely-se has quit [Ping timeout: 246 seconds]

00:18 cdidd has quit [Ping timeout: 246 seconds]

00:18 madroach has quit [Ping timeout: 246 seconds]

00:18 troydm has quit [Ping timeout: 246 seconds]

00:18 Maelan has quit [Ping timeout: 246 seconds]

00:18 emias has quit [Ping timeout: 246 seconds]

00:18 vpm has quit [Ping timeout: 246 seconds]

00:18 mfp has quit [Ping timeout: 246 seconds]

00:18 tianon has quit [Ping timeout: 246 seconds]

00:19 madroach has joined #ocaml

00:19 troydm has joined #ocaml

00:19 BitPuffin|osx has joined #ocaml

00:19 emias has joined #ocaml

00:20 ygrek has quit [Ping timeout: 255 seconds]

00:33 madroach has quit [Ping timeout: 246 seconds]

00:34 Kakadu has quit [Remote host closed the connection]

00:35 madroach has joined #ocaml

00:37 yegods has quit []

00:40 Kristien has quit [Quit: Leaving...]

00:40 ely-se has joined #ocaml

00:40 sbrouf_ has quit [Ping timeout: 272 seconds]

00:43 sbrouf_ has joined #ocaml

00:49 sbrouf_ has quit [Ping timeout: 272 seconds]

00:52 badon_ has joined #ocaml

00:52 badon has quit [Disconnected by services]

00:52 badon_ is now known as badon

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

01:20 ygrek has joined #ocaml

01:24 esad has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]

01:28 pyon has quit [Ping timeout: 256 seconds]

01:36 TBads has joined #ocaml

01:39 esad has joined #ocaml

01:43 pyon has joined #ocaml

01:53 larhat1 has joined #ocaml

01:57 AdmWiggin is now known as tianon

01:57 esad has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]

02:00 larhat1 has quit [Ping timeout: 255 seconds]

02:06 ely-se has quit [Quit: Leaving...]

02:18 pyon has quit [Ping timeout: 250 seconds]

02:20 troydm has quit [Ping timeout: 246 seconds]

02:29 ryanartecona has quit [Quit: ryanartecona]

02:32 pyon has joined #ocaml

02:35 contempt has quit [Disconnected by services]

02:51 NingaLeaf has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

02:57 larhat1 has joined #ocaml

03:01 TBads has quit [Quit: WeeChat 1.3]

03:03 larhat1 has quit [Ping timeout: 255 seconds]

03:16 kandu has quit [Ping timeout: 240 seconds]

03:17 kandu has joined #ocaml

03:17 kandu is now known as Guest92294

03:25 dubosec has joined #ocaml

03:55 mac10688 has quit [Ping timeout: 256 seconds]

03:59 larhat1 has joined #ocaml

04:03 larhat1 has quit [Ping timeout: 245 seconds]

04:17 teknozulu has joined #ocaml

04:37 FreeBirdLjj has joined #ocaml

04:38 dubosec has quit [Quit: Leaving]

04:46 <teknozulu> Looking for help in guiding the type system. I have type 'a Worker_starter.t, along with any_t = Any : 'a t -> any_t, which allows me to use collections despite having different type params. I've tried to do some annotation gymnastics, but I'm still getting type 'a is not compatible with a for result on line 10, http://pastebin.com/7nJWdaLj (Without any annotations, I get a#0 would escape its scope for result.)

04:59 larhat1 has joined #ocaml

05:00 cody` has joined #ocaml

05:04 larhat1 has quit [Ping timeout: 246 seconds]

05:08 zaquest has quit [Quit: Leaving]

05:11 _whitelogger has quit [Ping timeout: 240 seconds]

05:11 _whitelogger has joined #ocaml

05:11 apache2 has quit [Ping timeout: 240 seconds]

05:12 ahf has quit [Ping timeout: 265 seconds]

05:12 DanielRichman has quit [Ping timeout: 250 seconds]

05:33 _whitelogger has joined #ocaml

05:44 JacobEdelman has quit [Quit: Connection closed for inactivity]

05:44 Bahman has joined #ocaml

05:47 darkf has joined #ocaml

05:54 BitPuffin|osx has quit [Ping timeout: 272 seconds]

05:57 kushal has joined #ocaml

06:00 larhat1 has joined #ocaml

06:04 Sorella has quit [Quit: Connection closed for inactivity]

06:04 larhat1 has quit [Ping timeout: 256 seconds]

06:08 ahf has joined #ocaml

06:09 apache2 has joined #ocaml

06:13 hay207 has quit [Quit: Konversation terminated!]

06:14 apache2 has quit [Ping timeout: 265 seconds]

06:14 ahf has quit [Ping timeout: 265 seconds]

06:17 ygrek has quit [Ping timeout: 256 seconds]

06:22 kushal has quit [Ping timeout: 276 seconds]

06:34 hay207 has joined #ocaml

06:35 kushal has joined #ocaml

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

06:42 kushal has quit [Ping timeout: 246 seconds]

06:42 badon has quit [Disconnected by services]

06:43 badon_ has joined #ocaml

06:45 Guest92294 is now known as kandu

06:50 badon_ is now known as badon

06:57 ryanartecona has joined #ocaml

06:58 MercurialAlchemi has joined #ocaml

07:01 kushal has joined #ocaml

07:01 larhat1 has joined #ocaml

07:03 kushal has quit [Read error: Connection reset by peer]

07:06 larhat1 has quit [Ping timeout: 264 seconds]

07:10 apache2 has joined #ocaml

07:14 keep_learning has joined #ocaml

07:14 apache2 has quit [Ping timeout: 240 seconds]

07:23 AlexRussia has quit [Ping timeout: 276 seconds]

07:35 _whitelogger has joined #ocaml

07:47 mort___ has joined #ocaml

07:55 _whitelogger_ has joined #ocaml

07:55 larhat1 has quit [Ping timeout: 240 seconds]

08:03 ryanartecona has quit [Quit: ryanartecona]

08:05 struk|desk is now known as struk|desk|away

08:05 struk|desk|away is now known as struk|desk

08:05 struk|desk is now known as struk|desk|away

08:06 teknozulu has quit [Ping timeout: 272 seconds]

08:06 larhat1 has joined #ocaml

08:10 larhat1 has quit [Ping timeout: 245 seconds]

08:11 orbitz has joined #ocaml

08:11 ahf has joined #ocaml

08:11 micro_ has joined #ocaml

08:11 jlouis has joined #ocaml

08:11 apache2 has joined #ocaml

08:11 micro_ is now known as Guest2230

08:12 DanielRichman has joined #ocaml

09:10 _whitelogger has joined #ocaml

09:12 orbitz has joined #ocaml

09:12 DanielRichman has joined #ocaml

09:12 jlouis has joined #ocaml

09:13 micro___ has joined #ocaml

09:18 ryanartecona has joined #ocaml

09:26 AlexRussia has joined #ocaml

09:40 ryanartecona has quit [Quit: ryanartecona]

09:51 apache2_ has joined #ocaml

09:52 apache2 has quit [Read error: Connection reset by peer]

09:55 MercurialAlchemi has quit [Quit: Lost terminal]

10:04 _whitelogger has joined #ocaml

10:08 bitbckt has quit [Ping timeout: 240 seconds]

10:08 j0sh has quit [Ping timeout: 246 seconds]

10:09 bitbckt has joined #ocaml

10:14 bitbckt has quit [Ping timeout: 260 seconds]

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

10:18 j0sh has joined #ocaml

10:19 bitbckt has joined #ocaml

10:20 Bahman has quit [Quit: Ave atque vale]

10:27 <Accidus> How do I get the source of the currently installed ocaml compiler using opam?

10:38 j0sh has quit [Ping timeout: 272 seconds]

10:41 ollehar has joined #ocaml

10:51 cody` has quit [Quit: Connection closed for inactivity]

10:54 FreeBirdLjj has joined #ocaml

10:57 darkf has quit [Read error: Connection reset by peer]

11:05 darkf has joined #ocaml

11:26 Haudegen has quit [Ping timeout: 240 seconds]

11:33 ygrek has joined #ocaml

11:44 ygrek has quit [Ping timeout: 260 seconds]

11:47 Haudegen has joined #ocaml

11:47 bitbckt has quit [Ping timeout: 260 seconds]

11:48 ollehar has quit [Ping timeout: 264 seconds]

12:04 esad has joined #ocaml

12:04 contempt has joined #ocaml

12:06 bitbckt has joined #ocaml

12:11 j0sh has joined #ocaml

12:16 pyon has quit [Quit: Loops are hard, let's GOTO shopping!]

12:18 pyon has joined #ocaml

12:37 esad has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]

12:45 infinity0 has joined #ocaml

12:45 zpe has joined #ocaml

12:47 contempt has quit [Disconnected by services]

12:47 contempt has joined #ocaml

12:50 pyon has quit [Ping timeout: 246 seconds]

13:06 eikke has quit [Ping timeout: 245 seconds]

13:06 dexterph has quit [Ping timeout: 240 seconds]

13:09 d0nn1e has quit [Ping timeout: 250 seconds]

13:11 d0nn1e has joined #ocaml

13:11 contempt has quit [Ping timeout: 260 seconds]

13:16 contempt has joined #ocaml

13:16 ggole has joined #ocaml

13:18 esad has joined #ocaml

13:21 contempt has quit [Ping timeout: 260 seconds]

13:22 contempt has joined #ocaml

13:39 ggole_ has joined #ocaml

13:42 ggole has quit [Ping timeout: 272 seconds]

13:43 Sorella has joined #ocaml

13:43 mac10688 has joined #ocaml

13:51 contempt has quit [Ping timeout: 260 seconds]

14:01 contempt has joined #ocaml

14:03 dexterph has joined #ocaml

14:07 sh0t has joined #ocaml

14:08 dexterph has quit [Ping timeout: 255 seconds]

14:14 NingaLeaf has joined #ocaml

14:16 pyon has joined #ocaml

14:23 BitPuffin|osx has joined #ocaml

14:23 contempt has quit [Ping timeout: 250 seconds]

14:27 contempt has joined #ocaml

14:28 pyon has quit [Ping timeout: 260 seconds]

14:32 sh0t has quit [Read error: Connection reset by peer]

14:33 pyon has joined #ocaml

14:40 contempt has quit [Ping timeout: 255 seconds]

14:50 pyon has quit [Ping timeout: 265 seconds]

14:50 contempt has joined #ocaml

14:50 eikke has joined #ocaml

14:53 contempt has quit [Remote host closed the connection]

14:53 dexterph has joined #ocaml

14:55 Mandus has quit [Ping timeout: 260 seconds]

14:56 Mandus has joined #ocaml

14:58 _2can has quit [Ping timeout: 240 seconds]

14:58 _2can has joined #ocaml

15:03 pyon has joined #ocaml

15:18 ggole__ has joined #ocaml

15:19 ggole_ has quit [Ping timeout: 265 seconds]

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

15:27 esad has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]

15:28 esad has joined #ocaml

15:31 pierpa has joined #ocaml

15:32 esad has quit [Client Quit]

15:41 esad has joined #ocaml

15:43 esad has quit [Client Quit]

15:43 BitPuffin|osx has quit [Ping timeout: 276 seconds]

15:45 esad has joined #ocaml

15:45 tane has joined #ocaml

15:50 mac10688 has quit [Ping timeout: 245 seconds]

15:53 esad has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]

15:55 Haudegen has quit [Ping timeout: 272 seconds]

15:59 esad has joined #ocaml

16:08 nuuit has quit [Ping timeout: 250 seconds]

16:13 JacobEdelman has joined #ocaml

16:15 Haudegen has joined #ocaml

16:24 <sbrouf_> anyone here uses zeroMQ ?

16:31 sz0 has joined #ocaml

16:41 lobo has joined #ocaml

16:43 keep_learning has quit [Quit: This computer has gone to sleep]

16:51 lobo has quit [Ping timeout: 240 seconds]

16:53 lobo has joined #ocaml

17:29 ygrek has joined #ocaml

17:33 malc_ has joined #ocaml

17:34 NingaLeaf has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

17:41 malc_ has quit [Ping timeout: 256 seconds]

17:43 malc_ has joined #ocaml

17:46 Haudegen has quit [Ping timeout: 260 seconds]

17:50 mac10688 has joined #ocaml

18:04 struk|desk|away is now known as struk|desk

18:07 Haudegen has joined #ocaml

18:07 ggole__ has quit []

18:16 cody` has joined #ocaml

18:16 malc_ has quit [Ping timeout: 255 seconds]

18:18 malc_ has joined #ocaml

18:20 troydm has joined #ocaml

18:22 nuuit has joined #ocaml

18:25 malc_ has quit [Quit: leaving]

18:39 teratorn has quit [Ping timeout: 264 seconds]

18:45 ncthom91 has joined #ocaml

18:45 teratorn has joined #ocaml

19:03 tane has quit [Quit: Verlassend]

19:03 ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

19:10 ncthom91 has joined #ocaml

19:11 NingaLeaf has joined #ocaml

19:14 JacobEdelman has quit [Quit: Connection closed for inactivity]

19:18 tmtwd has joined #ocaml

19:29 NingaLeaf has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

19:33 struk|desk is now known as struk|desk|away

20:06 MercurialAlchemi has joined #ocaml

20:10 madroach has quit [Quit: leaving]

20:11 teratorn has quit [Quit: Leaving]

20:11 teratorn has joined #ocaml

20:13 kakadu has joined #ocaml

20:16 keep_learning has joined #ocaml

20:22 keep_learning has quit [Quit: This computer has gone to sleep]

20:24 ryanartecona has joined #ocaml

20:25 segmond has quit [Remote host closed the connection]

20:26 darkf has quit [Quit: Leaving]

20:29 cnu- has joined #ocaml

20:30 <cnu-> is there a better way to write this? (fun x -> f(g x))

20:39 <fds> Do you like (fun x -> f @@ g x) ?

20:40 <tautologico> ( @@ ) as the function composition operator

20:42 <cnu-> i was hoping for something like the round thing in maths

20:42 ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

20:44 <fds> AFAIK there is no 'true' function composition operator in OCaml, just the 'piping' operators @@/|>.

20:45 <tautologico> yes

20:45 <tautologico> in Haskell there is . as composition

20:46 <jyc> you can write one that works when you don't have an argument to apply immediately

20:46 <jyc> but you can't make it really function composition afaik because there is nothing right associative with higher precedence than function application in ocaml

20:47 <cnu-> ok thank you

20:47 <jyc> let (&) f g x = f (g x) then you can do f & g

20:48 Anarchos has joined #ocaml

20:54 sz0 has quit [Quit: Bye.]

21:07 ryanartecona has quit [Quit: ryanartecona]

21:11 cody` has quit [Quit: Connection closed for inactivity]

21:13 <flux> I've sometimes used @. for that name

21:18 ncthom91 has joined #ocaml

21:20 octachron has quit [Ping timeout: 246 seconds]

21:25 ygrek_ has joined #ocaml

21:26 ahf has quit [Ping timeout: 272 seconds]

21:27 ahf has joined #ocaml

21:28 ygrek has quit [Ping timeout: 240 seconds]

21:31 MercurialAlchemi has quit [Remote host closed the connection]

21:37 ygrek_ has quit [Ping timeout: 260 seconds]

21:38 groovy2shoes has quit [Quit: Leaving]

21:39 please_help0 has joined #ocaml

21:39 ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

21:39 please_help0 is now known as please_help

21:42 <please_help> Are there any resources on using ctypes for performance-sensitive applications dealing with large amounts of data? Or any comprehensive resources on ctypes at all (benchmarks for various kinds of applications, dealing with complex composition, additional compatible modules and whatnot)?

21:42 <please_help> Also, what's cmeleon?

22:00 octachron has joined #ocaml

22:06 esad has quit [Read error: Connection reset by peer]

22:07 esad has joined #ocaml

22:10 groovy2shoes has joined #ocaml

22:10 esad has quit [Read error: Connection reset by peer]

22:10 esad has joined #ocaml

22:13 mcc has joined #ocaml

22:15 esad has quit [Ping timeout: 255 seconds]

22:15 esad has joined #ocaml

22:19 esad has quit [Read error: Connection reset by peer]

22:19 esad has joined #ocaml

22:20 BitPuffin|osx has joined #ocaml

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

22:22 esad has joined #ocaml

22:25 esad has quit [Read error: Connection reset by peer]

22:25 esad has joined #ocaml

22:30 d0nn1e has quit [Ping timeout: 265 seconds]

22:35 d0nn1e has joined #ocaml

22:39 Algebr` has joined #ocaml

22:43 teratorn has quit [Ping timeout: 260 seconds]

22:44 teknozulu has joined #ocaml

22:48 d0nn1e has quit [Ping timeout: 260 seconds]

22:52 Guest41754 has joined #ocaml

22:52 Guest41754 has left #ocaml [#ocaml]

22:54 lobo has quit [Ping timeout: 272 seconds]

22:55 sbrouf_ has quit [Ping timeout: 276 seconds]

22:56 lobo has joined #ocaml

23:04 c-c has quit [Ping timeout: 240 seconds]

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

23:10 kakadu has joined #ocaml

23:17 lobo has quit [Ping timeout: 260 seconds]

23:18 c-c has joined #ocaml

23:18 c-c is now known as Guest30656

23:25 esad has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]

23:27 tmtwd has quit [Ping timeout: 264 seconds]

23:38 <Algebr`> I created a whole bunch of threads with Lwt_iter.iter_p, how can I cancel them all as well?

23:46 <Algebr`> and I assume that if you cancel a thread then all the Lwt threads that were children of the canceled thread will also be canceled?

23:47 Anarchos has quit [Read error: Connection reset by peer]