#ocaml on 2018-11-23 — irc logs at freenode.irclog.whitequark.org

2018-10-19 11:39 adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.07.1 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.07/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml | Due to ongoing spam, you must register your nickname to talk on the channel

00:22 noddy2OOO has joined #ocaml

00:32 rond_ has joined #ocaml

00:33 dmiles has quit [Ping timeout: 252 seconds]

00:42 logicmoo has joined #ocaml

00:51 awordnot12 has joined #ocaml

00:51 awordnot12 has quit [Remote host closed the connection]

00:59 rond_ has quit [Quit: Page closed]

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

01:09 jmiven has quit [Quit: co'o]

01:09 jmiven has joined #ocaml

01:09 tennix has quit [Ping timeout: 246 seconds]

01:12 zolk3ri has quit [Quit: leaving]

01:13 malina has quit [Ping timeout: 268 seconds]

01:22 mfp has quit [Ping timeout: 240 seconds]

01:27 tennix has joined #ocaml

02:15 iAmDecim has joined #ocaml

02:15 keep_learning_M has joined #ocaml

02:47 iAmDecim has quit [Ping timeout: 250 seconds]

02:53 iAmDecim has joined #ocaml

03:16 al-damiri has quit [Quit: Connection closed for inactivity]

03:21 noddy2OOO has quit [Ping timeout: 245 seconds]

03:37 iAmDecim has quit [Ping timeout: 252 seconds]

03:44 iAmDecim has joined #ocaml

03:55 tormen has joined #ocaml

03:55 iAmDecim has quit [Ping timeout: 250 seconds]

03:59 tormen_ has quit [Ping timeout: 272 seconds]

04:02 ygrek__ has quit [Ping timeout: 260 seconds]

04:18 iAmDecim has joined #ocaml

04:29 iAmDecim has quit [Ping timeout: 250 seconds]

04:45 _whitelogger has joined #ocaml

05:23 iAmDecim has joined #ocaml

05:29 jao has quit [Ping timeout: 246 seconds]

06:29 gravicappa has joined #ocaml

06:37 iAmDecim has quit [Ping timeout: 260 seconds]

06:54 sophiag has joined #ocaml

06:58 tennix has quit [Ping timeout: 246 seconds]

07:02 ggole has joined #ocaml

07:12 tennix has joined #ocaml

07:12 iAmDecim has joined #ocaml

07:14 freyr69 has joined #ocaml

07:17 iAmDecim has quit [Ping timeout: 250 seconds]

07:22 iAmDecim has joined #ocaml

07:46 sophiag has left #ocaml ["ERC (IRC client for Emacs 26.1)"]

07:54 rand__ has joined #ocaml

07:55 nikivi has quit [Ping timeout: 260 seconds]

08:01 sagotch has joined #ocaml

08:05 nikivi has joined #ocaml

08:10 iAmDecim_ has joined #ocaml

08:10 orbifx2 has joined #ocaml

08:12 iAmDecim has quit [Ping timeout: 252 seconds]

08:15 gravicappa has quit [Remote host closed the connection]

08:15 gravicappa has joined #ocaml

08:22 orbifx2 has quit [Ping timeout: 268 seconds]

08:32 <Leonidas> SU2xU1: OCaml is not that hard to learn, but it depends more on you than on anything else

08:32 <Leonidas> if you're trying to do C in OCaml it will not be fun

08:35 <Leonidas> SU2xU1: if it is the employer I'm thinking of then learning OCaml in advance will not be particularly helpful for you

08:36 keep_learning_M has quit [Quit: This computer has gone to sleep]

08:43 iAmDecim_ has quit [Ping timeout: 252 seconds]

08:59 jave has quit [Ping timeout: 245 seconds]

09:10 rand__ has quit [Ping timeout: 250 seconds]

09:12 iAmDecim_ has joined #ocaml

09:17 iAmDecim_ has quit [Ping timeout: 252 seconds]

09:20 jave has joined #ocaml

09:55 carlosdagos has quit [Quit: Connection closed for inactivity]

09:55 asymptotically has joined #ocaml

10:07 Guest14665 has joined #ocaml

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

10:15 iAmDecim_ has joined #ocaml

10:16 rotsix has joined #ocaml

10:20 iAmDecim_ has quit [Ping timeout: 250 seconds]

10:20 mfp has joined #ocaml

10:46 wilfredh has joined #ocaml

11:03 pierpal has joined #ocaml

11:11 malina has joined #ocaml

11:18 zolk3ri has joined #ocaml

11:24 rotsix has quit [Ping timeout: 268 seconds]

11:43 slamzy has joined #ocaml

11:43 sagotch has quit [Quit: Leaving.]

12:16 iAmDecim_ has joined #ocaml

12:20 iAmDecim_ has quit [Ping timeout: 250 seconds]

12:28 epicmorphism has joined #ocaml

12:43 iAmDecim_ has joined #ocaml

12:48 iAmDecim_ has quit [Ping timeout: 252 seconds]

12:50 sagotch has joined #ocaml

13:00 jao has joined #ocaml

13:06 noddy2OOO has joined #ocaml

13:35 jaar has joined #ocaml

13:50 spew has joined #ocaml

13:56 zolk3ri has quit [Quit: Lost terminal]

14:06 jao has quit [Ping timeout: 268 seconds]

14:08 Haudegen has joined #ocaml

14:28 tennix has quit [Ping timeout: 250 seconds]

14:44 iAmDecim_ has joined #ocaml

14:48 iAmDecim_ has quit [Ping timeout: 250 seconds]

14:54 viceroy19 has joined #ocaml

14:54 viceroy19 has quit [Remote host closed the connection]

15:01 mildtaste has quit [Remote host closed the connection]

15:03 FreeBirdLjj has joined #ocaml

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

15:17 FreeBirdLjj has joined #ocaml

15:21 freyr69 has quit [Remote host closed the connection]

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

15:25 FreeBirdLjj has joined #ocaml

15:30 tennix has joined #ocaml

15:31 jbrown has quit [Ping timeout: 252 seconds]

15:37 waleee has joined #ocaml

15:39 slamzy has quit [Remote host closed the connection]

15:42 sagotch has quit [Ping timeout: 260 seconds]

15:42 slamzy has joined #ocaml

15:43 sagotch has joined #ocaml

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

15:46 nicoo has joined #ocaml

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

16:01 bartholin has joined #ocaml

16:09 noddy2OOO has quit [Ping timeout: 240 seconds]

16:24 tennix has quit [Ping timeout: 250 seconds]

16:27 FreeBirdLjj has joined #ocaml

16:32 FreeBirdLjj has quit [Ping timeout: 244 seconds]

16:38 tennix has joined #ocaml

16:44 <bartholin> Who need the rec keyword when you can have the Y combinator? ( ͡° ͜ʖ ͡°) https://pastebin.com/kXpqJqqC

16:45 iAmDecim_ has joined #ocaml

16:48 noddy2OOO has joined #ocaml

16:49 <lyxia> that's neat

16:49 iAmDecim_ has quit [Ping timeout: 264 seconds]

16:50 <jstolarek> def`: these compilation times yesterday were for native codegen

16:54 tennix has quit [Ping timeout: 252 seconds]

16:55 <def`> jstolarek: is your code public? it is a nice benchmark for optimizing menhir

16:55 <def`> (in my experience, menhir --table is slower than ocamlyacc that is slower than menhir with the code generation backend)

16:58 Haudegen has quit [Remote host closed the connection]

16:58 <theblatte> is there a known issue with compiling camlp4 in opam on travis? it consistently fail for me: https://travis-ci.org/jvillard/infer/jobs/458855539#L2251

16:58 <Armael> (you're speaking of runtime and not compilation time, right?)

16:59 <def`> (right)

16:59 <theblatte> +s

17:07 tennix has joined #ocaml

17:09 waleee has quit [Quit: WeeChat 2.3]

17:09 FreeBirdLjj has joined #ocaml

17:14 FreeBirdLjj has quit [Ping timeout: 252 seconds]

17:22 FreeBirdLjj has joined #ocaml

17:22 recj has joined #ocaml

17:25 jbrown has joined #ocaml

17:26 recj has quit [Read error: Connection reset by peer]

17:33 <wilfredh> what does `as` mean inside a tuple? https://gist.github.com/Wilfred/e27c27ee02d1b72a9a75148d8ba3d080

17:33 <wilfredh> I'm surprised `f2` has type `'a * 'b * 'c` here

17:33 <wilfredh> *has return type

17:34 <Armael> oh, I guess "as" has lower priority than ","

17:34 <Armael> so (x, y as z) is parsed as ((x, y) as z)

17:36 webshinra_ has joined #ocaml

17:37 recj has joined #ocaml

17:38 webshinra has quit [Ping timeout: 252 seconds]

17:38 <wilfredh> wouldn't that still mean that z had type `int * int`?

17:38 jnavila has joined #ocaml

17:39 <Armael> your code fails on my computer

17:39 <Armael> Error: The constructor Foo expects 2 argument(s),

17:39 <Armael> but is applied here to 1 argument(s)

17:40 sagotch has quit [Quit: Leaving.]

17:40 <Armael> and if I do type foo = Foo of (int * int);;

17:40 <Armael> then f2 has type int * int * (int * int)

17:40 <Armael> as you would expect

17:42 <wilfredh> I'm on ocaml 4.05.0, FWIW

17:43 <Armael> does the snippet typecheck on your computer?

17:43 <wilfredh> merlin seems happy, at least

17:43 <Armael> merlin is probably lying :-)

17:46 malina has quit [Ping timeout: 240 seconds]

17:46 <wilfredh> oh, you're right! I'd broken my merlin setup.

17:47 <wilfredh> (x, y as z) is parsed as ((x, y) as z) <- aha, this explains it perfectly!

17:47 <wilfredh> I was wondering "surely y is the same as z, so this is pointless?" but I'd not realised about precedence

17:47 raduom has joined #ocaml

17:48 <Armael> yes I also was confused

18:01 erkin has quit [Quit: Ouch! Got SIGIRL, dying...]

18:02 erkin has joined #ocaml

18:07 rand__ has joined #ocaml

18:11 jbrown has quit [Ping timeout: 252 seconds]

18:13 jaar has quit [Quit: Leaving]

18:18 recj has quit [Ping timeout: 240 seconds]

18:23 jbrown has joined #ocaml

18:29 malina has joined #ocaml

18:30 kakadu has quit [Remote host closed the connection]

18:37 fraxamo has joined #ocaml

18:37 jnavila has quit [Ping timeout: 246 seconds]

18:46 iAmDecim_ has joined #ocaml

18:50 iAmDecim_ has quit [Ping timeout: 264 seconds]

18:51 jnavila has joined #ocaml

18:53 Guest75104 has joined #ocaml

18:58 Algebr` has quit [Ping timeout: 268 seconds]

18:58 Algebr` has joined #ocaml

19:02 Guest75104 has quit [Remote host closed the connection]

19:09 Habib has joined #ocaml

19:23 noddy2OOO has quit [Quit: WeeChat 2.3]

19:23 kakadu has joined #ocaml

19:26 asymptotically2 has joined #ocaml

19:27 asymptotically has quit [Remote host closed the connection]

19:36 asymptotically2 is now known as asymptotically

19:40 slamzy has quit [Remote host closed the connection]

19:40 slamzy has joined #ocaml

19:43 ggole has quit [Quit: ggole]

19:48 malina has quit [Remote host closed the connection]

19:49 malina has joined #ocaml

20:01 asymptotically has quit [Quit: Leaving]

20:05 slamzy1234 has joined #ocaml

20:09 slamzy has quit [Ping timeout: 256 seconds]

20:40 kjak has quit [Quit: Lost terminal]

20:41 fraxamo has quit [Quit: Leaving]

20:43 kjak has joined #ocaml

20:45 Habib has quit [Ping timeout: 268 seconds]

20:45 rand__ has quit [Quit: leaving]

20:46 iAmDecim_ has joined #ocaml

20:48 slamzy1234 has quit [Quit: Leaving]

20:51 iAmDecim_ has quit [Ping timeout: 252 seconds]

21:01 bartholin has quit [Remote host closed the connection]

21:03 recj has joined #ocaml

21:29 asymptotically has joined #ocaml

21:45 malina has quit [Remote host closed the connection]

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

22:33 pierpal has quit [Ping timeout: 244 seconds]

22:34 gravicappa has quit [Ping timeout: 250 seconds]

22:47 iAmDecim_ has joined #ocaml

22:52 iAmDecim_ has quit [Ping timeout: 252 seconds]

22:57 shw has joined #ocaml

23:02 iAmDecim_ has joined #ocaml

23:08 asymptotically has quit [Quit: Leaving]

23:27 recj has quit [Ping timeout: 268 seconds]

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

23:47 zolk3ri has joined #ocaml