#ocaml on 2019-05-21 — 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:00 kvda has joined #ocaml

00:05 sillyotter has joined #ocaml

00:07 sillyotter has quit [Client Quit]

00:11 ziyourenxiang has joined #ocaml

00:23 djellemah has joined #ocaml

00:29 sonologico has quit [Remote host closed the connection]

01:05 AtumT_ has quit [Quit: AtumT_]

01:08 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

01:13 seliopou has joined #ocaml

01:24 oni-on-ion has quit [Remote host closed the connection]

01:31 oni-on-ion has joined #ocaml

01:33 oni-on-ion has quit [Remote host closed the connection]

01:36 oni-on-ion has joined #ocaml

01:41 niklasl has quit [Quit: Nettalk6 - www.ntalk.de]

01:43 niklasl has joined #ocaml

01:57 seliopou has quit [Ping timeout: 245 seconds]

01:59 seliopou has joined #ocaml

02:05 kvda has joined #ocaml

02:09 djellemah has quit [Quit: Leaving]

02:11 mfp has quit [Ping timeout: 258 seconds]

02:33 cropcircle has joined #ocaml

03:09 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

03:33 gravicappa has joined #ocaml

03:36 caltelt_ has joined #ocaml

03:39 caltelt_ has quit [Remote host closed the connection]

03:39 caltelt_ has joined #ocaml

03:46 kvda has joined #ocaml

04:23 Guest65111 has quit [Ping timeout: 268 seconds]

04:32 Redfoxmoon has quit [Changing host]

04:32 Redfoxmoon has joined #ocaml

04:46 manWithNoName has joined #ocaml

04:47 <manWithNoName> çhi all

04:47 <manWithNoName> hi*

04:48 <oni-on-ion> hello

04:56 manWithNoName has quit [Quit: leaving]

05:20 Jesin has quit [Ping timeout: 258 seconds]

05:25 Jesin has joined #ocaml

05:25 nullifidian has joined #ocaml

05:39 lelf has joined #ocaml

05:48 kapilp has joined #ocaml

05:59 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

06:01 kvda has joined #ocaml

06:17 andreas303 has quit [Read error: Connection reset by peer]

06:22 andreas303 has joined #ocaml

06:28 barockobamo has joined #ocaml

06:57 cropcircle has quit [Read error: Connection reset by peer]

07:10 oni-on-ion has quit [Remote host closed the connection]

07:15 JimmyRcom has quit [Ping timeout: 248 seconds]

07:27 zolk3ri has joined #ocaml

07:39 oni-on-ion has joined #ocaml

07:49 Haudegen has joined #ocaml

07:58 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

08:03 kvda has joined #ocaml

08:06 kvda has quit [Client Quit]

08:13 brun has joined #ocaml

08:16 ggole has joined #ocaml

08:19 brun has quit [Remote host closed the connection]

08:36 _whitelogger has joined #ocaml

09:31 zolk3ri has quit [Remote host closed the connection]

09:31 zolk3ri has joined #ocaml

09:35 mfp has joined #ocaml

10:15 Haudegen has quit [Remote host closed the connection]

10:25 Jesin has quit [Ping timeout: 246 seconds]

10:32 jbrown has quit [Remote host closed the connection]

10:40 lelf has quit [Ping timeout: 258 seconds]

10:42 unyu has quit [Quit: Restart.]

10:42 okuu has quit [Remote host closed the connection]

10:45 unyu has joined #ocaml

11:02 Birdface has joined #ocaml

11:03 <reynir> Oh hm

11:04 <reynir> I wanted to install a package from opam, and opam wants to recompile ocaml for some reason

11:10 <flux[m]> which package was that?

11:10 <reynir> ocp-index, I think

11:11 <reynir> It's been a while since I did an opam update, maybe that's why

11:25 <flux[m]> did it update ocaml as well?

11:25 <flux[m]> or maybe some dependency of ocaml updated

11:26 jao has joined #ocaml

11:39 zolk3ri has quit [Remote host closed the connection]

11:43 <reynir> I think maybe ocaml-config was a new package

11:45 <hannes> reynir: you may have run into https://discuss.ocaml.org/t/dont-panic-that-your-opam-switches-recompile-from-today/2816

11:49 <reynir> Thanks

11:52 averell has quit [Quit: .]

12:06 Birdface has quit [Ping timeout: 246 seconds]

12:07 Birdface has joined #ocaml

12:19 syb has joined #ocaml

12:20 syb has quit [Remote host closed the connection]

12:20 caltelt_ has quit [Ping timeout: 258 seconds]

12:31 <wilfredh> Option.map has this type: ('a -> 'b) -> 'a option -> 'b option

12:32 <wilfredh> however, I have a function ('a -> 'b option) that I'd like to apply to a `'a option`

12:32 <wilfredh> is there a built-in function in the stdlib or the Jane Street libraries for this?

12:34 <vsiles> wilfredh: bind ?

12:35 <vsiles> - : 'a option -> f:('a -> 'b option) -> 'b option = <fun>

12:37 <theblatte> bonus: go full monad in Base with `let open Option.Monad_infix in Some 32 >>= fun n -> n * 52 >>| print_int`

12:38 * vsiles never learned what was >> >>= >>|

12:38 <vsiles> theblatte: >>= is map and >>| bind ?

12:39 <reynir> Other way around

12:39 <vsiles> hmmm

12:40 <vsiles> theblatte: shouldn't it be Some (n * 52) ?

12:41 <reynir> Yes

12:42 <vsiles> \o/

12:42 <reynir> :)

12:43 <theblatte> :p

12:52 <rks`> obviously what you want is "let* n = Some 32 in let+ x = n * 52 in print_int x"

12:53 <vsiles> that's kind of dirty

12:58 <rks`> you're dirty

13:07 spew has joined #ocaml

13:09 <wilfredh> vsiles: thanks again :)

13:22 jbrown has joined #ocaml

13:23 ShalokShalom has quit [Ping timeout: 244 seconds]

13:26 oni-on-ion has quit [Remote host closed the connection]

13:35 averell has joined #ocaml

13:42 q9929t has joined #ocaml

13:44 JimmyRcom has joined #ocaml

13:56 Birdface has quit [Ping timeout: 258 seconds]

13:57 zapashcanon_ has joined #ocaml

13:58 Mayoi has joined #ocaml

13:58 diginet_ has joined #ocaml

13:58 psacrifi- has joined #ocaml

13:58 hannes` has joined #ocaml

13:59 ziyourenxiang_ has joined #ocaml

13:59 Khady_ has joined #ocaml

13:59 flodin has joined #ocaml

14:00 lpil5 has joined #ocaml

14:00 octarin_ has joined #ocaml

14:01 micro_ has joined #ocaml

14:01 sheijk_ has joined #ocaml

14:01 niklasl2 has joined #ocaml

14:01 notnotda1` has joined #ocaml

14:01 micro_ is now known as Guest63115

14:01 rks`_ has joined #ocaml

14:01 Cypi_ has joined #ocaml

14:01 jstolare1 has joined #ocaml

14:02 DanielRi1hman has joined #ocaml

14:02 cross_ has joined #ocaml

14:04 rks` has quit [Killed (karatkievich.freenode.net (Nickname regained by services))]

14:04 rks`_ is now known as rks`

14:04 andrewalker_ has joined #ocaml

14:04 infinity0_ has joined #ocaml

14:04 infinity0_ has quit [Changing host]

14:04 infinity0_ has joined #ocaml

14:05 notnotda1` is now known as notnotdan

14:06 ziyourenxiang has quit [*.net *.split]

14:06 andrewalker has quit [*.net *.split]

14:06 zapashcanon has quit [*.net *.split]

14:06 erkin has quit [*.net *.split]

14:06 Khady has quit [*.net *.split]

14:06 freusque has quit [*.net *.split]

14:06 maker has quit [*.net *.split]

14:06 octarin has quit [*.net *.split]

14:06 sheijk has quit [*.net *.split]

14:06 Cypi has quit [*.net *.split]

14:06 diginet has quit [*.net *.split]

14:06 flodin_ has quit [*.net *.split]

14:06 micro has quit [*.net *.split]

14:06 lpil has quit [*.net *.split]

14:06 diginet_ is now known as diginet

14:06 niklasl has quit [*.net *.split]

14:06 notnotdan` has quit [*.net *.split]

14:06 dmiles has quit [*.net *.split]

14:06 infinity0 has quit [*.net *.split]

14:06 kalio_ has quit [*.net *.split]

14:06 DanielRichman has quit [*.net *.split]

14:06 lyxia has quit [*.net *.split]

14:06 cross has quit [*.net *.split]

14:06 tobiasBora has quit [*.net *.split]

14:06 psacrifice has quit [*.net *.split]

14:06 hannes has quit [*.net *.split]

14:06 jstolarek has quit [*.net *.split]

14:06 eikke has quit [*.net *.split]

14:06 so has quit [*.net *.split]

14:10 logicmoo has joined #ocaml

14:12 kapilp has quit [Quit: Connection closed for inactivity]

14:12 freusque has joined #ocaml

14:12 maker has joined #ocaml

14:12 lyxia has joined #ocaml

14:13 tobiasBora has joined #ocaml

14:13 kalio_ has joined #ocaml

14:16 <cemerick> Can anyone decode this error? "The 1st type parameter was expected to be covariant, but it is injective invariant."

14:16 <cemerick> The only substantive search result for it is an open compiler bug from 2014, so I'm not optimistic lol https://github.com/ocaml/ocaml/issues/6492

14:19 <octachron> It means that the first type parameter appear both in covariant and contavariant position and is thus invariant

14:21 <cemerick> ah-ha, that might be a good hint, thanks

14:21 <ggole> Mutable fields count as invariant, btw

14:21 <cemerick> yeah, not in a mutable context, thankfully

14:22 <ggole> eg, type +'a t = 'a ref

14:22 <cemerick> I do happen to have a set of recursive modules though, so I might be SOL regardless, at least given the gist of the open bug

14:24 FreeBirdLjj has joined #ocaml

14:50 hannes` has left #ocaml [#ocaml]

14:50 hannes has joined #ocaml

15:01 unyu has quit [Ping timeout: 252 seconds]

15:05 ygrek has joined #ocaml

15:05 Birdface has joined #ocaml

15:19 AtumT has joined #ocaml

15:24 themsay has joined #ocaml

15:40 kapilp has joined #ocaml

15:49 andreas303 has quit [Remote host closed the connection]

15:52 andreas303 has joined #ocaml

16:01 themsay has quit [Remote host closed the connection]

16:18 AtumT has quit [Quit: AtumT]

16:19 q9929t has quit [Quit: q9929t]

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

16:33 Birdface has quit [Ping timeout: 252 seconds]

16:41 so has joined #ocaml

16:41 eikke has joined #ocaml

16:47 Khady_ has quit [Changing host]

16:47 Khady_ has joined #ocaml

16:55 barockobamo has quit [Remote host closed the connection]

16:57 tane has joined #ocaml

17:27 lpil5 has left #ocaml ["The Lounge - https://thelounge.chat"]

17:40 govg has quit [Ping timeout: 259 seconds]

17:40 tane has quit [Quit: Leaving]

17:52 ggole has quit [Quit: Leaving]

17:54 Khady_ is now known as khady

18:25 jack5638 has quit [Ping timeout: 246 seconds]

18:25 jack5638 has joined #ocaml

18:28 ravenous_ has joined #ocaml

18:49 gravicappa has quit [Ping timeout: 258 seconds]

18:52 jbrown has quit [Remote host closed the connection]

18:53 cropcircle has joined #ocaml

19:14 andreas303 has quit [Remote host closed the connection]

19:17 andreas303 has joined #ocaml

19:28 ravenous_ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

19:38 unyu has joined #ocaml

19:53 oni-on-ion has joined #ocaml

20:12 kapilp has quit [Quit: Connection closed for inactivity]

20:38 Jesin has joined #ocaml

21:05 apostolis has joined #ocaml

21:09 <apostolis> Hello, is it possible to have recursion with zero arguments? The function produces a stream.

21:17 pierpal has quit [Ping timeout: 252 seconds]

21:21 andreas303 has quit [Ping timeout: 256 seconds]

21:24 andreas303 has joined #ocaml

21:31 jbrown has joined #ocaml

21:31 <companion_cube> nope, you need some form of `unit -> …` or lazyness

21:31 <companion_cube> look into the standard `Seq.t`

21:31 cropcircle has quit [Read error: No route to host]

21:35 Guest45513 has joined #ocaml

21:36 kakadu has joined #ocaml

22:03 stux|RC-- has joined #ocaml

22:05 stux|RC has quit [Ping timeout: 245 seconds]

22:15 Guest45513 has quit [Remote host closed the connection]

22:16 Haudegen has joined #ocaml

22:18 Haudegen has quit [Remote host closed the connection]

22:19 Haudegen has joined #ocaml

22:20 apostolis has quit [Ping timeout: 252 seconds]

22:21 Haudegen has quit [Remote host closed the connection]

22:33 kakadu has quit [Remote host closed the connection]

22:52 weird_error has joined #ocaml

23:16 weird_error has quit [Quit: weird_error]

23:19 ygrek has quit [Ping timeout: 258 seconds]

23:28 pierpal has joined #ocaml

23:30 spew has quit [Quit: Connection closed for inactivity]

23:32 pierpal has quit [Ping timeout: 248 seconds]