#ocaml on 2020-01-03 — irc logs at freenode.irclog.whitequark.org

2019-09-26 12:04 adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.09 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.09/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml

00:03 kleisli has quit [Ping timeout: 265 seconds]

00:05 abliss has quit [Ping timeout: 265 seconds]

00:06 twopoint718 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

00:06 abliss has joined #ocaml

00:10 ziyourenxiang has joined #ocaml

00:10 spew has quit [Quit: Connection closed for inactivity]

00:11 tane has quit [Quit: Leaving]

00:20 abliss has quit [Ping timeout: 240 seconds]

00:22 abliss has joined #ocaml

00:25 slash has quit [Ping timeout: 268 seconds]

00:48 abliss has quit [Ping timeout: 240 seconds]

00:56 abliss has joined #ocaml

01:02 stux|RC-only has quit [Quit: Aloha!]

01:07 stux|RC-only has joined #ocaml

01:24 abliss has quit [Read error: Connection reset by peer]

01:25 abliss has joined #ocaml

01:55 mfp has quit [Ping timeout: 268 seconds]

01:56 stux|RC-only has quit [Quit: Aloha!]

01:58 stux|RC-only has joined #ocaml

01:59 kjak has joined #ocaml

02:01 stux|RC-only has quit [Read error: Connection reset by peer]

02:06 abliss has quit [Read error: Connection reset by peer]

02:15 stux|RC-only has joined #ocaml

02:39 jao has quit [Ping timeout: 265 seconds]

02:49 vicfred has joined #ocaml

03:27 tormen has joined #ocaml

03:31 tormen_ has quit [Ping timeout: 258 seconds]

03:44 abliss has joined #ocaml

03:45 abliss has quit [Client Quit]

03:48 Haudegen has quit [Ping timeout: 268 seconds]

04:12 flux has quit [Ping timeout: 248 seconds]

04:25 mahmudov has quit [Remote host closed the connection]

04:40 kleisli has joined #ocaml

04:43 gravicappa has joined #ocaml

04:46 unyu has quit [Quit: Restart.]

04:47 unyu has joined #ocaml

05:31 slice has quit [Quit: cya]

05:31 stux|RC-only has quit [Quit: Aloha!]

05:32 stux|RC-only has joined #ocaml

05:36 stux|RC-only has quit [Remote host closed the connection]

05:53 stux|RC-only has joined #ocaml

06:00 stux|RC-only has quit [Quit: Aloha!]

06:13 stux|RC-only has joined #ocaml

06:15 wingsorc has quit [Ping timeout: 248 seconds]

06:18 stux|RC-only has quit [Read error: Connection reset by peer]

06:29 stux|RC-only has joined #ocaml

06:31 narimiran has joined #ocaml

06:45 gravicappa has quit [Ping timeout: 240 seconds]

06:53 dborisog has joined #ocaml

07:00 unyu has quit [Quit: Reboot.]

07:07 Wojciech_K has joined #ocaml

07:08 unyu has joined #ocaml

07:26 narimiran has quit [Ping timeout: 240 seconds]

07:48 Serpent7776 has joined #ocaml

08:00 stux|RC-only has quit [Quit: Aloha!]

08:07 mpu has joined #ocaml

08:12 stux|RC-only has joined #ocaml

08:16 stux|RC-only has quit [Remote host closed the connection]

08:18 stux|RC-only has joined #ocaml

08:27 stux|RC-only has quit [Ping timeout: 265 seconds]

08:34 stux|RC-only has joined #ocaml

08:48 stux|RC-only has quit [Quit: Aloha!]

08:55 tiksin[m] has joined #ocaml

08:55 stux|RC-only has joined #ocaml

09:03 tane has joined #ocaml

09:16 webshinra has quit [Remote host closed the connection]

09:21 vicfred has quit [Quit: Leaving]

09:30 ygrek has joined #ocaml

09:34 bartholin has quit [Quit: Leaving]

09:57 slash has joined #ocaml

10:07 cgenie[m] has joined #ocaml

10:15 mfp has joined #ocaml

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

10:22 ygrek has joined #ocaml

10:29 ygrek has quit [Ping timeout: 258 seconds]

10:33 jao has joined #ocaml

10:56 narimiran has joined #ocaml

10:57 dborisog_ has joined #ocaml

10:59 dborisog has quit [Ping timeout: 265 seconds]

11:25 troydm has quit [Ping timeout: 260 seconds]

11:36 kleisli has quit [Ping timeout: 268 seconds]

11:48 Haudegen has joined #ocaml

11:55 narimiran has quit [Ping timeout: 265 seconds]

12:22 ggole has joined #ocaml

12:33 <Nikkel> I'm creating an abstract functor that takes a module Foo as an argument

12:34 <Nikkel> the module type Foo matches multiple modules, which all has a type t = {...; bar : baz option; ...}

12:35 <Nikkel> that means that all modules : Foo also has that t contains that specific field.

12:35 <Nikkel> Is there any way to tell my abstract functor F, that any module of type Foo contains a t, which is guaranteed to contain a field called bar?

12:36 <vsiles> can you show some code ? I'm thinking around `module type` but I don't know what you have so far

12:37 <octachron> Not with record (since the position of fields in record is reflected in their memory representation).

12:37 <octachron> With objects, you could have a private object types.

12:37 <Nikkel> Alright.

12:38 <octachron> Otherwise, you need to encode it with a projection/update function

12:38 <Nikkel> What is that?

12:39 <octachron> I meant "let proj r = r.x and let update r x = { r with x }"

12:40 <octachron> i.e. a lens for the record field

12:41 <Nikkel> ah, right :)

12:42 sagax has quit [Write error: Connection reset by peer]

12:54 troydm has joined #ocaml

13:06 <haesbaert> is there a way to make a submodule use another submodule with the same parent ?

13:06 <haesbaert> Foo.A.x call Foo.B.lala

13:06 <haesbaert> as in, can Foo.A use Foo.B in any way ?

13:07 <ggole> If B is in scope, sure

13:08 <haesbaert> hmph, why did I thought I couldn't...

13:08 <ggole> module Foo = struct module B = struct let x = 0 end module A = struct let x = B.x end end

13:08 <ggole> (Not the most useful example, perhaps.)

13:08 <haesbaert> I basically want to have Graphics.Point Graphics.Line (which calls into Point) and stuff like that

13:09 <ggole> That should be OK. You might have trouble if you get cycles.

13:09 <haesbaert> aye, cool that should work then, thanks

13:32 silver has joined #ocaml

13:32 silver_ has joined #ocaml

13:32 silver_ has quit [Remote host closed the connection]

13:46 AnimalClatter has joined #ocaml

13:47 nicklinux has joined #ocaml

13:49 nicklinux has left #ocaml ["Leaving"]

14:17 sagax has joined #ocaml

14:19 okuu has joined #ocaml

14:20 ygrek has joined #ocaml

14:20 unyu is now known as Guest72860

14:20 Guest72860 has quit [Killed (orwell.freenode.net (Nickname regained by services))]

14:20 okuu is now known as unyu

14:29 unyu has quit [Quit: ERC (IRC client for Emacs 26.3)]

14:30 unyu has joined #ocaml

14:31 jco has joined #ocaml

14:44 Wojciech_K has quit [Remote host closed the connection]

14:48 gravicappa has joined #ocaml

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

15:01 AnimalClatter has joined #ocaml

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

15:04 AnimalClatter has joined #ocaml

15:14 twopoint718 has joined #ocaml

15:28 nullifidian has quit [Remote host closed the connection]

15:41 jnavila has joined #ocaml

15:47 AnimalClatter has quit [Ping timeout: 268 seconds]

15:53 clog has quit [Ping timeout: 245 seconds]

15:58 Serpent7776 has quit [Quit: Leaving]

15:59 jco has quit [Ping timeout: 260 seconds]

16:11 ziyourenxiang has quit [Ping timeout: 268 seconds]

16:15 jco has joined #ocaml

16:27 narimiran has joined #ocaml

16:28 Haudegen has quit [Ping timeout: 265 seconds]

16:30 ygrek has quit [Ping timeout: 260 seconds]

16:33 stux|RC has quit [Ping timeout: 252 seconds]

16:39 jco has quit [Ping timeout: 248 seconds]

16:39 stux|RC has joined #ocaml

16:48 unyu has quit [Quit: brb]

16:53 Anarchos has joined #ocaml

16:56 nullifidian has joined #ocaml

16:58 gravicappa has quit [Ping timeout: 260 seconds]

17:02 jco has joined #ocaml

17:25 clog has joined #ocaml

17:44 kleisli has joined #ocaml

17:50 kleisli_ has joined #ocaml

17:50 kleisli has quit [Ping timeout: 260 seconds]

17:57 jco has quit [Ping timeout: 245 seconds]

18:09 Serpent7776 has joined #ocaml

18:17 pepesza has joined #ocaml

18:21 mahmudov has joined #ocaml

18:23 bartholin has joined #ocaml

18:26 ggole has quit [Quit: Leaving]

18:50 mfp_ has joined #ocaml

18:52 mfp has quit [Ping timeout: 240 seconds]

18:53 Haudegen has joined #ocaml

18:59 dborisog_ has quit [Ping timeout: 260 seconds]

19:03 Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]

19:09 AnimalClatter has joined #ocaml

19:23 kark has quit [Remote host closed the connection]

19:34 gareppa has joined #ocaml

19:54 troydm has quit [Ping timeout: 265 seconds]

20:03 wingsorc has joined #ocaml

20:04 dozn__ has joined #ocaml

20:07 Jesin has quit [Quit: Leaving]

20:08 dozn_ has quit [Ping timeout: 258 seconds]

20:21 troydm has joined #ocaml

20:22 Haudegen has quit [Ping timeout: 265 seconds]

20:31 Haudegen has joined #ocaml

20:39 ygrek has joined #ocaml

20:41 nullifidian has quit [Remote host closed the connection]

20:41 ygrek has quit [Remote host closed the connection]

20:42 ygrek has joined #ocaml

20:44 Haudegen has quit [Ping timeout: 240 seconds]

20:44 Haudegen has joined #ocaml

20:46 ygrek has quit [Ping timeout: 260 seconds]

20:53 nullifidian has joined #ocaml

20:58 zolk3ri has joined #ocaml

20:59 zolk3ri has quit [Remote host closed the connection]

21:28 sugarwren has joined #ocaml

21:31 Nahra has joined #ocaml

21:35 nullifidian_ has joined #ocaml

21:38 mahmudov has quit [Read error: No route to host]

21:39 mahmudov has joined #ocaml

21:39 nullifidian has quit [Ping timeout: 265 seconds]

21:44 ygrek has joined #ocaml

21:47 sh0t has joined #ocaml

21:48 ygrek has quit [Ping timeout: 258 seconds]

21:54 stux|RC-only has quit [Remote host closed the connection]

21:56 ygrek has joined #ocaml

22:06 AnimalClatter has quit [Ping timeout: 268 seconds]

22:08 stux|RC-only has joined #ocaml

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

22:17 stux|RC-only has quit [Ping timeout: 240 seconds]

22:20 mahmudov has quit [Read error: No route to host]

22:20 mahmudov has joined #ocaml

22:24 stux|RC-only has joined #ocaml

22:29 narimiran has quit [Quit: leaving]

22:31 stux|RC-only has quit [Quit: Aloha!]

22:36 stux|RC-only has joined #ocaml

22:41 stux|RC-only has quit [Read error: Connection reset by peer]

22:43 stux|RC-only has joined #ocaml

22:48 stux|RC-only has quit [Remote host closed the connection]

22:51 stux|RC-only has joined #ocaml

22:54 dozn_ has joined #ocaml

22:58 dozn__ has quit [Ping timeout: 260 seconds]

23:02 gareppa has quit [Quit: Leaving]

23:03 tane has quit [Quit: Leaving]

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

23:15 Nahra has quit [Quit: leaving]

23:18 sh0t has quit [Quit: Leaving]

23:27 mahmudov has quit [Read error: Connection reset by peer]

23:28 twopoint718 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

23:29 ziyourenxiang has joined #ocaml

23:29 Serpent7776 has quit [Quit: leaving]

23:30 mahmudov has joined #ocaml

23:37 mahmudov has quit [Remote host closed the connection]

23:39 mahmudov has joined #ocaml

23:44 mahmudov has quit [Remote host closed the connection]

23:50 mahmudov has joined #ocaml