#ocaml on 2022-08-09 — 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:16 bronsen has joined #ocaml

00:40 bobo_ has quit [Ping timeout: 240 seconds]

00:41 bobo_ has joined #ocaml

00:42 waleee has quit [Ping timeout: 255 seconds]

01:03 williewillus_ has joined #ocaml

01:14 adanwan has quit [Remote host closed the connection]

01:14 adanwan has joined #ocaml

01:28 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

02:23 rgrinberg has joined #ocaml

02:32 hsw has joined #ocaml

02:38 adanwan has quit [Remote host closed the connection]

02:39 adanwan has joined #ocaml

02:53 chrisz has quit [Ping timeout: 268 seconds]

02:54 chrisz has joined #ocaml

02:55 megeve_ has joined #ocaml

02:55 dstein64- has joined #ocaml

02:57 Soni has joined #ocaml

02:57 theblatt1 has joined #ocaml

02:57 wagle_ has joined #ocaml

02:59 kurfen has joined #ocaml

02:59 ente` has joined #ocaml

03:03 SoniEx2 has quit [*.net *.split]

03:03 ente`_ has quit [*.net *.split]

03:03 dstein64 has quit [*.net *.split]

03:03 kurfen_ has quit [*.net *.split]

03:03 megeve has quit [*.net *.split]

03:03 Boarders__ has quit [*.net *.split]

03:03 berberman has quit [*.net *.split]

03:03 theblatte has quit [*.net *.split]

03:03 andreypopp has quit [*.net *.split]

03:03 mjacob has quit [*.net *.split]

03:03 wagle has quit [*.net *.split]

03:03 JSharp has quit [*.net *.split]

03:03 CalimeroTeknik has quit [*.net *.split]

03:03 remexre has quit [*.net *.split]

03:03 leah2 has quit [*.net *.split]

03:03 dstein64- is now known as dstein64

03:03 megeve_ is now known as megeve

03:03 Boarders___ has joined #ocaml

03:03 remexre has joined #ocaml

03:05 JSharp has joined #ocaml

03:08 mjacob has joined #ocaml

03:11 andreypopp has joined #ocaml

03:12 leah2 has joined #ocaml

03:13 berberman has joined #ocaml

03:16 CalimeroTeknik has joined #ocaml

03:25 jonasbits has quit [Ping timeout: 260 seconds]

03:27 azimut has quit [Ping timeout: 268 seconds]

03:53 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

04:04 zebrag has quit [Quit: Konversation terminated!]

04:26 adanwan has quit [Read error: Connection reset by peer]

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

04:26 adanwan has joined #ocaml

04:26 jpds has joined #ocaml

04:29 gopiandc1 has quit [Ping timeout: 240 seconds]

04:31 gopiandc1 has joined #ocaml

05:46 trev has joined #ocaml

05:46 gahr_ is now known as gahr

05:55 Haudegen has joined #ocaml

06:06 adanwan has quit [Remote host closed the connection]

06:06 adanwan has joined #ocaml

06:15 williewillus_ has quit [Quit: Leaving]

06:17 mbuf has joined #ocaml

06:47 Serpent7776 has joined #ocaml

06:57 olle has joined #ocaml

08:09 jpds has quit [Remote host closed the connection]

08:10 jpds has joined #ocaml

08:39 orbifx has joined #ocaml

09:12 mima has joined #ocaml

09:17 jpds has quit [Remote host closed the connection]

09:17 jpds has joined #ocaml

09:55 mbuf has quit [Quit: Leaving]

10:16 jpds has quit [Ping timeout: 268 seconds]

10:17 jpds has joined #ocaml

10:20 genpaku has quit [Remote host closed the connection]

10:20 genpaku has joined #ocaml

11:16 rgrinberg has joined #ocaml

11:17 omegatron has joined #ocaml

11:29 bartholin has joined #ocaml

11:39 wingsorc has quit [Ping timeout: 255 seconds]

11:52 bartholin has quit [Ping timeout: 268 seconds]

11:58 Serpent7776 has quit [Ping timeout: 268 seconds]

12:04 bartholin has joined #ocaml

12:11 Haudegen has quit [Quit: Bin weg.]

12:12 xgqt has quit [Ping timeout: 255 seconds]

12:12 CalimeroTeknik has joined #ocaml

12:12 CalimeroTeknik has quit [Changing host]

12:13 xgqt has joined #ocaml

12:19 mima has quit [Ping timeout: 268 seconds]

12:28 Serpent7776 has joined #ocaml

12:28 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

12:36 spip has joined #ocaml

12:37 bobo_ has quit [Ping timeout: 268 seconds]

12:46 azimut has joined #ocaml

13:06 jpds has quit [Ping timeout: 268 seconds]

13:07 jpds has joined #ocaml

13:09 dnh has joined #ocaml

13:31 azimut_ has joined #ocaml

13:31 Haudegen has joined #ocaml

13:31 azimut has quit [Quit: ZNC - https://znc.in]

13:35 Anarchos has joined #ocaml

13:47 mima has joined #ocaml

13:52 bartholin has quit [Ping timeout: 268 seconds]

13:53 jpds has quit [Remote host closed the connection]

13:54 jpds has joined #ocaml

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

14:04 jpds has joined #ocaml

14:05 bartholin has joined #ocaml

14:07 zebrag has joined #ocaml

14:09 mima has quit [Ping timeout: 268 seconds]

14:34 hyphen has quit [Read error: Connection reset by peer]

14:37 mima has joined #ocaml

14:38 hyphen has joined #ocaml

14:39 romildo has joined #ocaml

14:49 hyphen has quit [Ping timeout: 268 seconds]

14:51 hyphen has joined #ocaml

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

15:01 jpds has joined #ocaml

15:06 romildo has quit [Quit: Leaving]

15:12 hyphen has quit [Ping timeout: 252 seconds]

15:14 hyphen has joined #ocaml

15:15 rak_ is now known as rak

15:20 noonien has quit [Ping timeout: 244 seconds]

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

15:22 adanwan has joined #ocaml

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

15:27 kakadu has joined #ocaml

15:44 Haudegen has quit [Quit: Bin weg.]

15:48 hyphen has quit [Ping timeout: 268 seconds]

15:50 adanwan has quit [Remote host closed the connection]

15:51 adanwan has joined #ocaml

15:52 bartholin has quit [Ping timeout: 268 seconds]

16:02 azimut_ has quit [Remote host closed the connection]

16:02 azimut has joined #ocaml

16:05 bartholin has joined #ocaml

16:05 hyphen has joined #ocaml

16:10 hyphen has quit [Ping timeout: 252 seconds]

16:11 hyphen has joined #ocaml

16:17 Anarchos has quit [Quit: Vision[]: i've been blurred!]

16:25 noonien has joined #ocaml

16:27 yilin has joined #ocaml

16:28 <yilin> What is the correct syntax to write a function which takes in a polymorphic function?

16:29 <yilin> i.e. if I want to have something like `let f: 'a. ('a list -> int) -> 'b list -> 'c list -> int`.

16:29 <yilin> How would I write the rhs?

16:29 bartholin has quit [Ping timeout: 252 seconds]

16:30 <companion_cube> for basic stuff, `let f (g:'a list -> int) l1 l2 : int = … ` works fine

16:30 <companion_cube> (basic = no need for polymorphic recursion/GADT/…)

16:32 <yilin> companion_cube: Thanks that works; what is the equivalent signature in the .mli file?

16:33 <companion_cube> `val f : ('a list -> int) -> 'b list -> 'c list -> int`

16:33 trev has quit [Remote host closed the connection]

16:33 <companion_cube> if you don't care that much about `'a`, you can write `let f (g : _ list) l1 l2 : int = …` or the likes

16:33 <companion_cube> type annotations can be partial

16:34 Tuplanolla has joined #ocaml

16:38 olle has quit [Ping timeout: 252 seconds]

16:39 adanwan has quit [Remote host closed the connection]

16:40 adanwan has joined #ocaml

16:40 <yilin> companion_cube: Thank you for the help.

16:40 <companion_cube> 👍

16:45 yilin has quit [Ping timeout: 264 seconds]

17:01 Haudegen has joined #ocaml

17:14 hyphen has quit [Ping timeout: 268 seconds]

17:17 bartholin has joined #ocaml

17:29 rgrinberg has joined #ocaml

17:30 Serpent7776 has quit [Quit: WeeChat 1.9.1]

17:31 hyphen has joined #ocaml

17:49 hyphen has quit [Ping timeout: 252 seconds]

17:51 hyphen has joined #ocaml

18:04 hyphen has quit [Ping timeout: 252 seconds]

18:06 hyphen has joined #ocaml

18:12 olle has joined #ocaml

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

18:21 mima has quit [Quit: leaving]

18:28 gareppa has joined #ocaml

18:41 gareppa has quit [Quit: Leaving]

18:42 orbifx has quit [Ping timeout: 244 seconds]

19:02 rgrinberg has joined #ocaml

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

19:08 adanwan has joined #ocaml

19:21 bartholin has quit [Ping timeout: 268 seconds]

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

19:28 waleee has joined #ocaml

19:33 bartholin has joined #ocaml

20:10 Haudegen has quit [Quit: No Ping reply in 180 seconds.]

20:11 Haudegen has joined #ocaml

21:20 bartholin has quit [Ping timeout: 268 seconds]

21:34 bartholin has joined #ocaml

21:34 rgrinberg has joined #ocaml

21:41 hyphen has quit [Ping timeout: 244 seconds]

21:42 hyphen has joined #ocaml

21:45 wingsorc has joined #ocaml

21:56 hyphen has quit [Ping timeout: 252 seconds]

21:58 hyphen has joined #ocaml

22:02 olle has quit [Ping timeout: 268 seconds]

22:11 dh` has quit [Ping timeout: 252 seconds]

22:11 dh` has joined #ocaml

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

22:15 rgrinberg has joined #ocaml

22:19 szkl has quit [Quit: Connection closed for inactivity]

22:19 rgrinberg has quit [Client Quit]

22:20 omegatron has quit [Quit: Power is a curious thing. It can be contained, hidden, locked away, and yet it always breaks free.]

22:46 Haudegen has quit [Ping timeout: 252 seconds]

22:49 bartholin has quit [Quit: Leaving]

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

22:56 dnh has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

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

23:05 kurfen has quit [Ping timeout: 268 seconds]

23:05 hyphen has joined #ocaml

23:13 kurfen has joined #ocaml

23:33 hyphen has quit [Read error: Connection reset by peer]

23:37 hyphen has joined #ocaml

23:43 hyphen has quit [Ping timeout: 252 seconds]

23:50 hyphen has joined #ocaml