#ocaml on 2021-07-08 — irc logs at libera.irclog.whitequark.org

2021-05-26 13:52 companion_cube changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 4.12 released: https://ocaml.org/releases/4.12.0.html | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/

00:41 wingsorc__ has joined #ocaml

00:42 wingsorc has joined #ocaml

00:56 towel has quit [Ping timeout: 256 seconds]

00:57 towel has joined #ocaml

02:08 leah2 has quit [Read error: Connection reset by peer]

02:15 aquijoule__ has joined #ocaml

02:17 zebrag has quit [Remote host closed the connection]

02:17 aquijoule_ has quit [Ping timeout: 246 seconds]

02:44 eight has quit [Ping timeout: 265 seconds]

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

02:51 adanwan has joined #ocaml

03:45 shawnw has joined #ocaml

03:57 wingsorc has quit [Quit: Leaving]

04:23 mbuf has joined #ocaml

04:56 gravicappa has joined #ocaml

05:45 rgrinberg has joined #ocaml

06:01 mro has joined #ocaml

06:14 favonia has quit [Ping timeout: 252 seconds]

06:23 <d_bot> <joris> Is all this discussion for portability? Because else it is in libc and bound in various ocaml libs on Unix

06:24 shawnw has quit [Ping timeout: 246 seconds]

06:36 eight has joined #ocaml

06:41 unyu has joined #ocaml

06:41 unyu is now known as isekaijin

07:03 sagax has quit [Excess Flood]

07:06 Haudegen has joined #ocaml

07:09 olle_ has quit [Ping timeout: 252 seconds]

07:17 vb has quit [Quit: Lost terminal]

07:17 vb has joined #ocaml

07:18 mro_ has joined #ocaml

07:18 mro has quit [Remote host closed the connection]

07:43 <d_bot> <thangngoc89> No. This is about the ease of use

07:52 <d_bot> <joris> There is ExtUnix.All.realpath. no idea if it works on windows

08:07 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

08:12 gareppa has joined #ocaml

08:13 gareppa has quit [Remote host closed the connection]

08:18 mro_ has quit [Remote host closed the connection]

08:19 leah2 has joined #ocaml

08:25 Tuplanolla has joined #ocaml

08:42 mro has joined #ocaml

08:48 gravicappa has quit [Read error: Connection reset by peer]

08:50 TheRuralJuror has joined #ocaml

08:50 Haudegen has quit [Ping timeout: 272 seconds]

08:58 glassofethanol has joined #ocaml

09:23 bartholin has joined #ocaml

09:26 gravicappa has joined #ocaml

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

09:50 mro has joined #ocaml

10:41 mro_ has joined #ocaml

10:44 mro has quit [Ping timeout: 252 seconds]

11:17 mro_ has quit [Remote host closed the connection]

11:25 neiluj has joined #ocaml

11:26 <neiluj> hey

11:26 <neiluj> TIL: you can define types within a function's signature

11:26 <neiluj> like so: let register : type p q i o e pr. pr directory -> (_, pr, p, q, i, o, e) Service.t

11:27 <neiluj> that's cool :)

11:33 mro has joined #ocaml

11:38 mro has quit [Ping timeout: 256 seconds]

11:50 favonia has joined #ocaml

12:06 isekaijin has quit [Quit: WeeChat 3.2]

12:36 mbuf has quit [Quit: Leaving]

12:51 gareppa has joined #ocaml

12:53 gareppa has quit [Remote host closed the connection]

13:04 emias has joined #ocaml

13:04 mro has joined #ocaml

13:06 emias has left #ocaml [WeeChat 2.3]

13:13 mro has quit [Ping timeout: 252 seconds]

13:15 mro has joined #ocaml

13:20 mro has quit [Ping timeout: 252 seconds]

13:25 mbuf has joined #ocaml

13:48 mro has joined #ocaml

13:53 mro has quit [Ping timeout: 252 seconds]

14:10 mro has joined #ocaml

14:45 mro has quit [Remote host closed the connection]

15:02 mro has joined #ocaml

15:08 mro has quit [Ping timeout: 252 seconds]

15:20 mro has joined #ocaml

16:06 cedric has joined #ocaml

16:20 glassofethanol has quit [Quit: leaving]

16:47 mbuf has quit [Quit: Leaving]

16:49 bartholin has quit [Quit: Leaving]

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

16:57 mro has quit [Remote host closed the connection]

16:59 rgrinberg has joined #ocaml

17:12 neiluj has joined #ocaml

17:17 mro has joined #ocaml

17:22 mro has quit [Ping timeout: 252 seconds]

17:52 mro has joined #ocaml

17:57 mro has quit [Ping timeout: 255 seconds]

17:59 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

18:00 mro has joined #ocaml

18:21 jtck_ has joined #ocaml

18:23 jtck has quit [Ping timeout: 240 seconds]

18:28 waleee has quit [Quit: WeeChat 3.2]

18:29 Absalom has quit [Ping timeout: 240 seconds]

18:31 waleee has joined #ocaml

18:37 rgrinberg has joined #ocaml

19:20 neiluj has quit [Quit: Leaving]

19:27 jinsun_ is now known as jinsun

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

20:41 thvnx has joined #ocaml

20:43 Serpent7776 has quit [Quit: leaving]

20:46 gravicappa has quit [Ping timeout: 246 seconds]

20:56 thvnx has quit [Quit: leaving]

20:57 thvnx has joined #ocaml

21:19 isekaijin has joined #ocaml

22:49 shawnw has joined #ocaml

22:53 TheRuralJuror has quit [Ping timeout: 252 seconds]

23:25 Tuplanolla has quit [Quit: Leaving.]