#ocaml on 2022-07-02 — irc logs at libera.irclog.whitequark.org

2022-03-30 13:11 companion_cube changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 4.14.0 released: https://ocaml.org/releases/4.14.0.html | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/

00:00 raskol has quit [Ping timeout: 268 seconds]

00:00 perrierjouet has quit [*.net *.split]

00:00 Haudegen has quit [*.net *.split]

00:00 kurfen has quit [*.net *.split]

00:00 gdd1 has quit [*.net *.split]

00:00 rgrinberg has quit [*.net *.split]

00:00 sagax has quit [*.net *.split]

00:00 ansiwen has quit [*.net *.split]

00:00 tizoc has quit [*.net *.split]

00:00 fds has quit [*.net *.split]

00:00 GreaseMonkey has quit [*.net *.split]

00:00 mg_ has quit [*.net *.split]

00:00 greenbagels has quit [*.net *.split]

00:00 sparogy has quit [*.net *.split]

00:00 tristanC has quit [*.net *.split]

00:00 vsiles has quit [*.net *.split]

00:00 fds has joined #ocaml

00:00 greenbagels has joined #ocaml

00:00 greenbagels has quit [Changing host]

00:00 greenbagels has joined #ocaml

00:01 perrierjouet has joined #ocaml

00:01 greaser|q has joined #ocaml

00:02 ansiwen has joined #ocaml

00:02 Haudegen has joined #ocaml

00:02 kurfen has joined #ocaml

00:03 gdd1 has joined #ocaml

00:03 mg_ has joined #ocaml

00:04 sparogy has joined #ocaml

00:05 vsiles has joined #ocaml

00:05 tristanC has joined #ocaml

00:07 rgrinberg has joined #ocaml

00:09 tizoc has joined #ocaml

00:23 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

00:30 azimut_ has quit [Remote host closed the connection]

00:30 jpds has quit [Remote host closed the connection]

00:30 jpds has joined #ocaml

00:30 azimut has joined #ocaml

00:36 jpds has quit [Remote host closed the connection]

00:37 jpds has joined #ocaml

00:37 raskol has joined #ocaml

00:53 dextaa has quit [Read error: Connection reset by peer]

00:55 dextaa has joined #ocaml

01:00 jpds has quit [Remote host closed the connection]

01:00 jpds has joined #ocaml

01:01 Haudegen has quit [Quit: Bin weg.]

01:11 jpds has quit [Remote host closed the connection]

01:15 jpds has joined #ocaml

01:18 perrierjouet has quit [Quit: WeeChat 3.5]

01:18 perrierjouet has joined #ocaml

01:26 hsw__ has quit [Quit: Leaving]

01:27 hsw has joined #ocaml

01:35 raskol has quit [Ping timeout: 260 seconds]

01:55 rgrinberg has joined #ocaml

01:57 bastienleonard has quit [Ping timeout: 268 seconds]

02:21 jpds has quit [Ping timeout: 268 seconds]

02:22 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

02:23 jpds has joined #ocaml

02:24 rgrinberg has joined #ocaml

02:42 azimut has quit [Ping timeout: 268 seconds]

02:57 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

03:10 <ns12> Hello, what is "parametric polymorphism" in OCaml? Is it related to functors?

03:14 <ns12> Hmm... I guess this function shows "parametric polymorphism" as well, since the arguments are not restricted to only one type:

03:14 <ns12> let is_equal a b = a = b;;

03:14 <ns12> val is_equal : 'a -> 'a -> bool = <fun>

03:38 <companion_cube> List.map : ('a -> 'b) -> 'a list -> 'b list

04:01 jpds has quit [Remote host closed the connection]

04:02 jpds has joined #ocaml

04:14 rgrinberg has joined #ocaml

04:15 jpds has quit [Remote host closed the connection]

04:15 jpds has joined #ocaml

04:17 bobo_ has quit [Ping timeout: 240 seconds]

04:17 spip has joined #ocaml

04:40 mbuf has joined #ocaml

05:18 adanwan has quit [Ping timeout: 268 seconds]

05:27 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

07:09 <ns12> companion_cube: So, any function with 'a or 'b or ... in its type signature shows "parametric polymorphism"?

07:12 <Corbin> Yes. 'a is a type parameter, and any type can be substituted for it. That's what we mean by parametric polymorphism: the function is polymorphic because some of its types are parameterized.

07:14 <ns12> Okay. Thank you.

07:41 greaser|q has quit [Changing host]

07:41 greaser|q has joined #ocaml

07:41 greaser|q is now known as GreaseMonkey

08:06 Tuplanolla has joined #ocaml

08:36 johnel has quit [Ping timeout: 246 seconds]

08:37 johnel has joined #ocaml

08:49 mbuf has quit [Ping timeout: 260 seconds]

08:50 mbuf has joined #ocaml

08:51 bartholin has joined #ocaml

08:51 Serpent7776 has joined #ocaml

08:57 mro has joined #ocaml

08:58 adanwan has joined #ocaml

09:02 mro has quit [Remote host closed the connection]

09:16 mro has joined #ocaml

09:18 mbuf has quit [Ping timeout: 268 seconds]

09:18 mbuf has joined #ocaml

09:31 mbuf has quit [Ping timeout: 248 seconds]

09:36 mro has quit [Remote host closed the connection]

09:39 mro has joined #ocaml

09:48 mro has quit [Remote host closed the connection]

09:52 mro has joined #ocaml

09:52 mro has quit [Remote host closed the connection]

10:44 <d_bot> <Drup> OBDD ?

10:53 bartholin has quit [Ping timeout: 260 seconds]

10:54 azimut has joined #ocaml

11:06 bartholin has joined #ocaml

11:23 jpds has quit [Ping timeout: 268 seconds]

11:25 jpds has joined #ocaml

11:27 chrisz has quit [Ping timeout: 272 seconds]

11:29 chrisz has joined #ocaml

11:38 perrierjouet has quit [Quit: WeeChat 3.5]

11:38 perrierjouet has joined #ocaml

11:46 perrierjouet has quit [Quit: WeeChat 3.5]

11:55 gareppa has joined #ocaml

11:57 gareppa has quit [Remote host closed the connection]

12:01 jpds has quit [Remote host closed the connection]

12:02 jpds has joined #ocaml

12:36 jpds has quit [Remote host closed the connection]

12:36 jpds has joined #ocaml

12:38 Haudegen has joined #ocaml

12:53 bartholin has quit [Ping timeout: 256 seconds]

12:54 jpds has quit [Remote host closed the connection]

12:54 jpds has joined #ocaml

12:59 jpds has quit [Ping timeout: 268 seconds]

12:59 TakinOver has joined #ocaml

13:00 perrierjouet has joined #ocaml

13:05 bartholin has joined #ocaml

13:16 jpds has joined #ocaml

13:26 bastienleonard has joined #ocaml

14:13 <companion_cube> Ordered BDD

14:14 <companion_cube> The actually useful kind of BDD

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

14:52 bartholin has quit [Ping timeout: 240 seconds]

15:06 bartholin has joined #ocaml

15:19 waleee has joined #ocaml

15:21 mro has joined #ocaml

15:27 rgrinberg has joined #ocaml

15:33 mro has quit [Remote host closed the connection]

15:44 mro has joined #ocaml

15:47 mro has quit [Remote host closed the connection]

16:17 spip has quit [Ping timeout: 240 seconds]

16:17 spip has joined #ocaml

16:49 jpds has quit [Remote host closed the connection]

16:50 raskol has joined #ocaml

16:53 bartholin has quit [Ping timeout: 246 seconds]

17:05 bartholin has joined #ocaml

17:06 leah2 has quit [Ping timeout: 240 seconds]

17:18 leah2 has joined #ocaml

17:35 perrierjouet has quit [Quit: WeeChat 3.5]

17:44 mro has joined #ocaml

17:52 mro has quit [Quit: Leaving...]

17:55 sagax has joined #ocaml

18:18 bastienleonard has joined #ocaml

18:31 bastienleonard has quit [Ping timeout: 268 seconds]

18:34 perrierjouet has joined #ocaml

18:38 bartholin has quit [Ping timeout: 240 seconds]

18:51 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

18:51 perrierjouet has quit [Quit: WeeChat 3.5]

18:59 mro has joined #ocaml

19:02 perrierjouet has joined #ocaml

19:10 bartholin has joined #ocaml

19:18 mro has quit [Read error: Connection reset by peer]

19:19 mro has joined #ocaml

19:19 perrierjouet has quit [Quit: WeeChat 3.5]

19:20 perrierjouet has joined #ocaml

19:33 mro has quit [Read error: Connection reset by peer]

19:34 mro has joined #ocaml

19:49 perrierjouet has quit [Quit: WeeChat 3.5]

19:50 perrierjouet has joined #ocaml

19:57 perrierjouet has quit [Remote host closed the connection]

19:58 perrierjouet has joined #ocaml

19:59 perrierjouet has quit [Client Quit]

19:59 perrierjouet has joined #ocaml

20:11 mro has quit [Quit: Leaving...]

20:26 motherfsck has quit [Ping timeout: 240 seconds]

20:27 motherfsck has joined #ocaml

20:41 rgrinberg has joined #ocaml

20:41 rgrinberg has quit [Client Quit]

20:43 rgrinberg has joined #ocaml

20:52 leah2 has quit [Ping timeout: 240 seconds]

20:54 raskol has quit [Ping timeout: 248 seconds]

21:03 leah2 has joined #ocaml

21:20 xgqt has quit [Ping timeout: 264 seconds]

21:21 xgqt has joined #ocaml

21:29 Serpent7776 has quit [Quit: leaving]

21:32 leah2 has quit [Ping timeout: 260 seconds]

21:41 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

21:48 leah2 has joined #ocaml

21:56 motherfsck has quit [Ping timeout: 268 seconds]

22:10 motherfsck has joined #ocaml

22:46 bartholin has quit [Quit: Leaving]

22:58 bastienleonard has joined #ocaml

22:59 Tuplanolla has quit [Quit: Leaving.]

23:06 rgrinberg has joined #ocaml

23:49 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

23:54 zebrag has joined #ocaml