#ocaml on 2021-05-25 — irc logs at freenode.irclog.whitequark.org

2021-05-20 07:45 adrien changed the topic of #ocaml to: Channel available on irc.libera.chat | 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://irclog.whitequark.org/ocaml

00:10 zebrag has quit [Remote host closed the connection]

00:24 dhil has quit [Ping timeout: 268 seconds]

00:45 infinigon has quit [Ping timeout: 252 seconds]

00:51 infinigon has joined #ocaml

01:05 infinigon has quit [*.net *.split]

01:05 dwt has quit [*.net *.split]

01:05 infinity0 has quit [*.net *.split]

01:05 arecaceae has quit [*.net *.split]

01:05 Jesin has quit [*.net *.split]

01:05 ArthurSt1ong has quit [*.net *.split]

01:05 astronavt has quit [*.net *.split]

01:05 sagax has quit [*.net *.split]

01:15 infinigon has joined #ocaml

01:15 ArthurSt1ong has joined #ocaml

01:15 dwt has joined #ocaml

01:15 infinity0 has joined #ocaml

01:15 astronavt has joined #ocaml

01:15 Jesin has joined #ocaml

01:15 arecaceae has joined #ocaml

01:15 sagax has joined #ocaml

01:15 Jesin has quit [Max SendQ exceeded]

01:16 Jesin has joined #ocaml

01:43 kini has quit [Remote host closed the connection]

01:44 kini has joined #ocaml

02:33 mxns has quit [Ping timeout: 260 seconds]

02:43 kini has quit [Remote host closed the connection]

02:44 kini has joined #ocaml

02:47 aquijoule__ has joined #ocaml

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

03:10 arecaceae has quit [Remote host closed the connection]

03:10 arecaceae has joined #ocaml

03:22 <d_bot> <mimoo> best http server framework for ocaml?

05:14 waleee-cl has quit [Quit: Connection closed for inactivity]

05:37 narimiran_ has joined #ocaml

05:55 Jesin has quit [Ping timeout: 240 seconds]

06:08 infinity0_ has joined #ocaml

06:08 infinity0_ has quit [Changing host]

06:08 infinity0_ has joined #ocaml

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

07:38 TC01 has quit [Remote host closed the connection]

07:40 TC01 has joined #ocaml

07:51 Jesin has joined #ocaml

08:01 gareppa has joined #ocaml

08:08 angerman has quit [Ping timeout: 240 seconds]

08:09 caasih has quit [Ping timeout: 252 seconds]

08:09 gareppa has quit [Quit: Leaving]

08:09 zebrag has joined #ocaml

08:10 <d_bot> <hhugo> I've replied on the GitHub issue

08:11 higherorder__ has quit [Ping timeout: 250 seconds]

08:12 pmonson has quit [Ping timeout: 258 seconds]

08:16 pmonson has joined #ocaml

08:20 wildsebastian has quit [Ping timeout: 260 seconds]

08:21 pmonson has quit [Ping timeout: 272 seconds]

08:23 bartholin has joined #ocaml

08:23 pmonson has joined #ocaml

08:23 olle has joined #ocaml

08:25 higherorder__ has joined #ocaml

08:26 angerman has joined #ocaml

08:26 wildsebastian has joined #ocaml

08:27 caasih has joined #ocaml

08:32 tane has joined #ocaml

08:43 gareppa has joined #ocaml

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

08:46 haesbaert has joined #ocaml

08:46 haesbaert has left #ocaml [#ocaml]

08:53 gareppa has joined #ocaml

09:00 gareppa has quit [Remote host closed the connection]

09:03 gareppa has joined #ocaml

09:03 gareppa has quit [Remote host closed the connection]

09:06 gareppa has joined #ocaml

09:27 narimiran_ is now known as narimiran

09:44 zebrag has quit [Quit: Konversation terminated!]

09:44 zebrag has joined #ocaml

09:55 dhil has joined #ocaml

09:58 gareppa has quit [Quit: Leaving]

10:01 <olle> Is there a way to statically measure the composability of functions?

10:02 <Chouhartem> olle, you can do it using a χ² test I guess

10:05 <olle> Chouhartem: what's that? oO

10:06 <olle> I was thinking about quote between length of function name and distance (in chars) between function names. :d

10:08 <Chouhartem> but how do you check equality between two semantically equivalent functions that don't share the same name (in chars)?

10:08 pqwy[m] has quit [*.net *.split]

10:08 BitPuffin has quit [*.net *.split]

10:08 runciter has quit [*.net *.split]

10:08 madgen_ has quit [*.net *.split]

10:08 Armael has quit [*.net *.split]

10:08 cross has quit [*.net *.split]

10:08 tane has quit [Remote host closed the connection]

10:09 tane has joined #ocaml

10:09 tane has quit [Remote host closed the connection]

10:09 tane has joined #ocaml

10:09 pqwy[m] has joined #ocaml

10:09 Armael has joined #ocaml

10:09 runciter has joined #ocaml

10:09 cross has joined #ocaml

10:09 madgen_ has joined #ocaml

10:09 BitPuffin has joined #ocaml

10:10 <olle> Chouhartem: T_T

10:10 <olle> Well, we have code duplication checks, but it's stupid

10:11 inkbottle[m] has quit [Ping timeout: 245 seconds]

10:11 avsm[m] has quit [Ping timeout: 245 seconds]

10:12 lnxw37d4 has quit [Ping timeout: 258 seconds]

10:12 pqwy[m] has quit [Ping timeout: 248 seconds]

10:12 aspiwack[m] has quit [Ping timeout: 245 seconds]

10:12 labor[m] has quit [Ping timeout: 245 seconds]

10:12 jimt[m] has quit [Ping timeout: 245 seconds]

10:12 BitPuffin has quit [Ping timeout: 248 seconds]

10:12 dieggsy has quit [Ping timeout: 276 seconds]

10:12 radiopotin[m] has quit [Ping timeout: 245 seconds]

10:12 flux has quit [Ping timeout: 246 seconds]

10:12 dash has quit [Ping timeout: 245 seconds]

10:13 Tardigreat[m] has quit [Ping timeout: 276 seconds]

10:13 suqingxi[m] has quit [Ping timeout: 276 seconds]

10:13 Sumera[m] has quit [Ping timeout: 276 seconds]

10:13 adrianbrink has quit [*.net *.split]

10:13 alexey has quit [*.net *.split]

10:13 ahf has quit [*.net *.split]

10:13 lisq has quit [*.net *.split]

10:13 theglass has quit [*.net *.split]

10:13 Enjolras has quit [*.net *.split]

10:13 mosterdt has quit [*.net *.split]

10:14 adrianbrink has joined #ocaml

10:14 ahf has joined #ocaml

10:14 alexey has joined #ocaml

10:14 Enjolras has joined #ocaml

10:14 theglass has joined #ocaml

10:14 mosterdt has joined #ocaml

10:14 lisq has joined #ocaml

10:14 dhil has quit [*.net *.split]

10:14 hackinghorn has quit [*.net *.split]

10:14 mal`` has quit [*.net *.split]

10:14 stux|RC has quit [*.net *.split]

10:14 OPeritel_ has quit [*.net *.split]

10:14 beajeanm has quit [*.net *.split]

10:14 brettgilio_ has quit [*.net *.split]

10:14 jsoo has quit [*.net *.split]

10:14 dan64 has quit [*.net *.split]

10:14 troydm has quit [*.net *.split]

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

10:14 vodkaInf1rno has quit [*.net *.split]

10:14 _tjr_ has quit [*.net *.split]

10:14 jerith_ has quit [*.net *.split]

10:14 wagle has quit [*.net *.split]

10:14 dmbaturin has quit [*.net *.split]

10:16 brettgilio has joined #ocaml

10:16 smondet[m] has quit [Ping timeout: 258 seconds]

10:16 hackinghorn has joined #ocaml

10:16 beajeanm has joined #ocaml

10:16 dhil has joined #ocaml

10:16 dan64 has joined #ocaml

10:16 jsoo has joined #ocaml

10:16 OPeritel_ has joined #ocaml

10:16 vodkaInf1rno has joined #ocaml

10:16 jerith_ has joined #ocaml

10:16 troydm has joined #ocaml

10:16 wagle has joined #ocaml

10:16 _tjr_ has joined #ocaml

10:16 dmbaturin has joined #ocaml

10:16 mal`` has joined #ocaml

10:16 so has joined #ocaml

10:16 sadiq has quit [*.net *.split]

10:16 bacam has quit [*.net *.split]

10:16 emias has quit [*.net *.split]

10:16 asm89 has quit [*.net *.split]

10:16 delysin has quit [*.net *.split]

10:16 penguwin has quit [*.net *.split]

10:17 stux|RC has joined #ocaml

10:18 jeroud has quit [*.net *.split]

10:18 adi__________ has quit [*.net *.split]

10:18 mrallen1 has quit [*.net *.split]

10:18 artart78 has quit [*.net *.split]

10:18 thizanne has quit [*.net *.split]

10:18 dckc has quit [*.net *.split]

10:18 landonf has quit [*.net *.split]

10:18 notnotdan_ has quit [*.net *.split]

10:18 tmhoang520 has quit [*.net *.split]

10:18 Madars has quit [*.net *.split]

10:18 clockish has quit [*.net *.split]

10:18 Leonidas has quit [*.net *.split]

10:18 nore has quit [*.net *.split]

10:18 eagleflo has quit [*.net *.split]

10:18 cemerick has quit [*.net *.split]

10:18 tryte has quit [*.net *.split]

10:18 cantstanya has quit [*.net *.split]

10:18 andreas303 has quit [*.net *.split]

10:18 adrien has quit [*.net *.split]

10:18 SoF has quit [*.net *.split]

10:18 theblatte has quit [*.net *.split]

10:18 zozozo has quit [*.net *.split]

10:18 Drup has quit [*.net *.split]

10:18 johnelse has quit [*.net *.split]

10:18 engil has quit [*.net *.split]

10:18 bartholin has quit [*.net *.split]

10:18 Jesin has quit [*.net *.split]

10:18 arecaceae has quit [*.net *.split]

10:18 terrorjack has quit [*.net *.split]

10:18 srax has quit [*.net *.split]

10:18 chrisz has quit [*.net *.split]

10:18 rak has quit [*.net *.split]

10:18 haskell_1 has quit [*.net *.split]

10:18 Exagone313 has quit [*.net *.split]

10:18 rks` has quit [*.net *.split]

10:18 ahf has quit [Ping timeout: 252 seconds]

10:20 landonf has joined #ocaml

10:20 bartholin has joined #ocaml

10:20 artart78 has joined #ocaml

10:20 thizanne has joined #ocaml

10:20 cantstanya has joined #ocaml

10:20 mrallen1 has joined #ocaml

10:20 jeroud has joined #ocaml

10:20 adi__________ has joined #ocaml

10:20 adrien has joined #ocaml

10:20 SoF has joined #ocaml

10:20 andreas303 has joined #ocaml

10:20 rak has joined #ocaml

10:20 tmhoang520 has joined #ocaml

10:20 zozozo has joined #ocaml

10:20 eagleflo has joined #ocaml

10:20 cemerick has joined #ocaml

10:20 terrorjack has joined #ocaml

10:20 dckc has joined #ocaml

10:20 arecaceae has joined #ocaml

10:20 srax has joined #ocaml

10:20 tryte has joined #ocaml

10:20 chrisz has joined #ocaml

10:20 notnotdan_ has joined #ocaml

10:20 Jesin has joined #ocaml

10:20 rks` has joined #ocaml

10:20 Drup has joined #ocaml

10:20 Exagone313 has joined #ocaml

10:20 johnelse has joined #ocaml

10:20 engil has joined #ocaml

10:20 haskell_1 has joined #ocaml

10:20 theblatte has joined #ocaml

10:20 nore has joined #ocaml

10:20 clockish has joined #ocaml

10:20 Leonidas has joined #ocaml

10:20 Madars has joined #ocaml

10:20 so has quit [Max SendQ exceeded]

10:20 tryte has quit [Max SendQ exceeded]

10:20 cantstanya has quit [Max SendQ exceeded]

10:20 andreas303 has quit [Max SendQ exceeded]

10:20 tryte has joined #ocaml

10:21 cantstanya has joined #ocaml

10:21 bacam has joined #ocaml

10:21 penguwin has joined #ocaml

10:21 sadiq has joined #ocaml

10:21 delysin has joined #ocaml

10:21 asm89 has joined #ocaml

10:21 emias has joined #ocaml

10:21 brettgilio has quit [*.net *.split]

10:21 higherorder__ has quit [*.net *.split]

10:21 TC01 has quit [*.net *.split]

10:21 narimiran has quit [*.net *.split]

10:21 infinigon has quit [*.net *.split]

10:21 dwt has quit [*.net *.split]

10:21 olle has quit [*.net *.split]

10:21 ArthurSt1ong has quit [*.net *.split]

10:21 astronavt has quit [*.net *.split]

10:21 sagax has quit [*.net *.split]

10:23 ahf has joined #ocaml

10:24 kakadu has joined #ocaml

10:24 higherorder__ has joined #ocaml

10:24 brettgilio has joined #ocaml

10:24 TC01 has joined #ocaml

10:24 infinigon has joined #ocaml

10:24 olle has joined #ocaml

10:24 narimiran has joined #ocaml

10:24 dwt has joined #ocaml

10:24 ArthurSt1ong has joined #ocaml

10:24 astronavt has joined #ocaml

10:24 sagax has joined #ocaml

10:24 ahf has joined #ocaml

10:24 ahf has quit [Changing host]

10:26 andreas303 has joined #ocaml

10:26 gareppa has joined #ocaml

10:27 lobo has quit [*.net *.split]

10:27 habnabit_ has quit [*.net *.split]

10:27 averell has quit [*.net *.split]

10:27 Johann has quit [*.net *.split]

10:27 dinosaure has quit [*.net *.split]

10:27 habnabit_ has joined #ocaml

10:27 lobo has joined #ocaml

10:28 averell has joined #ocaml

10:28 dinosaure has joined #ocaml

10:28 Johann has joined #ocaml

10:28 so has joined #ocaml

10:38 waleee-cl has joined #ocaml

10:44 zebrag has quit [Quit: Konversation terminated!]

10:44 zebrag has joined #ocaml

10:51 jimt[m] has joined #ocaml

10:54 inkbottle[m] has joined #ocaml

10:54 dieggsy has joined #ocaml

10:57 clockish has quit [Ping timeout: 246 seconds]

10:58 clockish_ has joined #ocaml

10:58 tmhoang520 has quit [Ping timeout: 246 seconds]

10:58 clockish_ is now known as clockish

10:59 tmhoang520 has joined #ocaml

11:02 DanC has joined #ocaml

11:02 dckc has quit [Ping timeout: 246 seconds]

11:02 Madars has quit [Ping timeout: 246 seconds]

11:03 nore has quit [Ping timeout: 246 seconds]

11:03 nore has joined #ocaml

11:04 labor[m] has joined #ocaml

11:06 radiopotin[m] has joined #ocaml

11:06 Tardigreat[m] has joined #ocaml

11:06 notnotdan_ has quit [Ping timeout: 246 seconds]

11:07 notnotdan_ has joined #ocaml

11:07 Leonidas has quit [Ping timeout: 246 seconds]

11:07 Leonidas has joined #ocaml

11:08 lnxw37d4 has joined #ocaml

11:12 aspiwack[m] has joined #ocaml

11:12 avsm[m] has joined #ocaml

11:21 pqwy[m] has joined #ocaml

11:21 BitPuffin has joined #ocaml

11:25 smondet[m] has joined #ocaml

11:28 gareppa has quit [Quit: Leaving]

11:29 Madars has joined #ocaml

11:29 dash has joined #ocaml

11:35 suqingxi[m] has joined #ocaml

11:36 Sumera[m] has joined #ocaml

11:38 <olle> Chouhartem: Oh, that's chi square?

11:39 flux has joined #ocaml

11:44 zebrag has quit [Quit: Konversation terminated!]

11:44 zebrag has joined #ocaml

12:12 gareppa has joined #ocaml

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

12:25 gareppa has joined #ocaml

13:41 Haudegen has joined #ocaml

13:44 zebrag has quit [Quit: Konversation terminated!]

13:44 zebrag has joined #ocaml

13:46 delysin has quit [Quit: WeeChat 3.1]

14:03 gareppa has quit [Quit: Leaving]

14:45 zebrag has quit [Quit: Konversation terminated!]

14:45 zebrag has joined #ocaml

14:59 bartholin has quit [Quit: Leaving]

15:10 zebrag has quit [Quit: Konversation terminated!]

15:35 _whitelogger has joined #ocaml

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

15:47 bjorkintosh has joined #ocaml

15:48 <drewolson> is it considered idiomatic to add compiler flags to your dune file to open e.g. base implicitly?

15:50 ArthurStrong has joined #ocaml

15:52 ArthurSt1ong has quit [Read error: Connection reset by peer]

15:54 arecaceae has quit [Remote host closed the connection]

15:56 arecaceae has joined #ocaml

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

16:30 bjorkintosh has quit [Remote host closed the connection]

17:32 Haudegen has joined #ocaml

17:37 ArthurStrong has quit [Quit: leaving]

17:42 nullcone has quit [Quit: Connection closed for inactivity]

17:51 lobo has left #ocaml ["WeeChat 2.3"]

18:03 mxns has joined #ocaml

18:30 averell has quit [*.net *.split]

18:30 sadiq has quit [*.net *.split]

18:30 bacam has quit [*.net *.split]

18:30 emias has quit [*.net *.split]

18:30 asm89 has quit [*.net *.split]

18:30 penguwin has quit [*.net *.split]

18:30 sadiq has joined #ocaml

18:31 asm89 has joined #ocaml

18:31 penguwin has joined #ocaml

18:31 bacam has joined #ocaml

18:31 emias has joined #ocaml

19:05 mxns has quit [Ping timeout: 250 seconds]

19:13 jerith_ is now known as jerith

19:29 Leonidas has quit [Ping timeout: 240 seconds]

19:29 Leonidas has joined #ocaml

20:16 narimiran has quit [Ping timeout: 272 seconds]

20:17 <d_bot> <stab> i'd say no

20:53 ghosthell has joined #ocaml

20:53 <ghosthell> Trans-Universal Transportation Equipment Wanted. PM Me with offers.666

20:56 Simerax has joined #ocaml

20:56 Simerax has quit [Client Quit]

21:01 tane has quit [Quit: Leaving]

21:43 ghosthell has quit [Remote host closed the connection]

21:44 ghosthell has joined #ocaml

21:55 DanC has quit [Ping timeout: 260 seconds]

21:57 dckc has joined #ocaml

22:35 kini has quit [Remote host closed the connection]

22:36 kini has joined #ocaml

23:06 Haudegen has quit [Ping timeout: 252 seconds]