#ocaml on 2020-09-23 — irc logs at freenode.irclog.whitequark.org

2020-09-11 13:16 companion_cube changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.11 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.11/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml

00:01 h14u has quit [Quit: Leaving]

01:29 inkbottle has joined #ocaml

01:30 zebrag has quit [Ping timeout: 260 seconds]

01:30 webshinra has quit [Remote host closed the connection]

01:58 vicfred has quit [Remote host closed the connection]

01:58 vicfred has joined #ocaml

02:20 Manis[m] has quit [Ping timeout: 260 seconds]

02:20 jun has quit [Ping timeout: 260 seconds]

02:29 _whitelogger has joined #ocaml

02:39 _whitelogger has joined #ocaml

02:41 ransom has joined #ocaml

02:41 ransom has quit [Client Quit]

02:42 webshinra has quit [Remote host closed the connection]

02:55 webshinra has joined #ocaml

03:36 rig0rmortis has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

03:49 mfp has quit [Ping timeout: 256 seconds]

04:06 _whitelogger has joined #ocaml

04:20 waleee-cl has quit [Quit: Connection closed for inactivity]

04:37 mmohammadi9812 has joined #ocaml

04:46 ansiwen has quit [Quit: ZNC 1.7.1 - https://znc.in]

04:50 narimiran has joined #ocaml

04:50 ansiwen has joined #ocaml

04:51 vicfred has quit [Quit: Leaving]

05:16 osa1 has joined #ocaml

05:40 sonologico has quit [Remote host closed the connection]

06:14 gjaldon_ has joined #ocaml

06:58 Haudegen has joined #ocaml

07:01 decentpenguin has quit [Read error: Connection reset by peer]

07:03 decentpenguin has joined #ocaml

07:35 ggole has joined #ocaml

08:17 jbrown has joined #ocaml

08:26 Serpent7776 has joined #ocaml

08:27 vicfred has joined #ocaml

08:31 <d_bot> <ostera> @Mando what are you looking for?

08:54 mmohammadi9812 has quit [Ping timeout: 246 seconds]

09:05 narimiran has quit [Ping timeout: 272 seconds]

09:07 olle has joined #ocaml

09:10 mmohammadi9812 has joined #ocaml

09:15 dhil has joined #ocaml

09:24 narimiran has joined #ocaml

09:29 <d_bot> <EduardoRFS> @ostera just think of lambda as the lambda calculus with blocks, is good enough for things

09:30 <d_bot> <EduardoRFS> but interesting thought you was doing bytecode -> erlang

09:32 <d_bot> <ostera> yeah, i am now

09:35 berke has joined #ocaml

09:49 mfp has joined #ocaml

09:53 nullcone has quit [Quit: Connection closed for inactivity]

09:54 mmohammadi9812 has quit [Quit: I quit (╯°□°）╯︵ ┻━┻]

10:24 mbuf has joined #ocaml

10:51 MasterBen has joined #ocaml

11:01 dhil has quit [Ping timeout: 260 seconds]

11:03 farn__ has quit [Ping timeout: 244 seconds]

11:04 lisq has quit [Ping timeout: 244 seconds]

11:04 lobo has quit [Ping timeout: 256 seconds]

11:04 lisq has joined #ocaml

11:07 dhil has joined #ocaml

11:07 farn__ has joined #ocaml

11:16 lobo has joined #ocaml

11:34 mmohammadi9812 has joined #ocaml

11:35 laokz has joined #ocaml

11:37 tane has joined #ocaml

11:45 osa1 has quit [Ping timeout: 260 seconds]

11:54 waleee-cl has joined #ocaml

12:04 mmohammadi98126 has joined #ocaml

12:04 mmohammadi9812 has quit [Ping timeout: 258 seconds]

12:04 mmohammadi98126 is now known as mmohammadi9812

12:15 mmohammadi9812 has quit [Ping timeout: 246 seconds]

12:20 mbuf has quit [Quit: Leaving]

12:20 mmohammadi9812 has joined #ocaml

12:31 nkly has quit [Quit: ZNC 1.6.6+deb1ubuntu0.2 - http://znc.in]

12:35 mmohammadi9812 has quit [Ping timeout: 240 seconds]

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

12:39 mmohammadi9812 has joined #ocaml

12:43 osa1 has joined #ocaml

12:45 h14u has joined #ocaml

13:06 <d_bot> <darrenldl> is there any particularly terrible problems that might occur if say i allow negative unix timestamp in a library?

13:06 <d_bot> <darrenldl>

13:06 <d_bot> <darrenldl> (mostly in the case of ocaml world, but also curious about allow negative unix timestamp in general)

13:06 <d_bot> <darrenldl> (by unix timestamp i meant seconds since 00:00:00 UTC on 1 January 1970)

13:18 rig0rmortis has joined #ocaml

13:26 <olle> yes

13:26 <olle> database engines will not support this, I think.

13:26 <olle> what's your use-case?

13:29 <Putonlalla> I was surprised the extra underscore in `function | _ :: [] _ -> true | _ -> false` is not an error. What's actually going on there?

13:30 <Drup> can you show the code ?

13:32 <Putonlalla> Me? That's the whole thing.

13:32 <d_bot> <craigfe> ```

13:32 <d_bot> <craigfe> 1 | let f = function _ :: [] _ -> true | _ -> false

13:32 <d_bot> <craigfe> ^

13:32 <d_bot> <craigfe> Warning 28: wildcard pattern given as argument to a constant constructor

13:32 <d_bot> <craigfe> ```

13:32 <octachron> It is read as ([] _) which is indeed

13:32 <octachron> valid

13:32 <d_bot> <craigfe> (seems like it should be an error by default to me)

13:35 <Putonlalla> How is it valid, octachron?

13:36 <octachron> By the definition of patterns? `[]` is a consructor and `Constructor _` is a valid pattern

13:36 <d_bot> <ggole> `_` ranges over any number of arguments, including zero

13:37 <Putonlalla> Oh.

13:37 <octachron> let f (true _) (false _) ((::) _) ([] _) (() _) = ()

13:37 <Putonlalla> So it's more like `{}` in Haskell.

13:37 <octachron> is both horrendous and syntactically correct

13:39 <Putonlalla> Indeed, you can write `let {f :: Bool -> Bool -> [a] -> [b] -> () -> (); f (True {}) (False {}) ((:) {}) ([] {}) (() {}) = ()}`.

13:40 nicoo has quit [Remote host closed the connection]

13:40 rig0rmortis has quit [Quit: Textual IRC Client: www.textualapp.com]

13:41 <Drup> I know and understand why they did that, but ugh.

13:41 nicoo has joined #ocaml

13:43 <d_bot> <darrenldl> > database engines will not support this, I think.

13:43 <d_bot> <darrenldl> @olle#0000 oh, right, database, oop

13:43 <d_bot> <darrenldl> > what's your use-case?

13:43 <d_bot> <darrenldl> it's largely for logic that's internal to the library, but if the user asks things about time before 1970, and asks it to return in unix timestamp, it'll gladly return negatives as well

13:43 Haudegen has joined #ocaml

13:48 mmohammadi98120 has joined #ocaml

13:50 mmohammadi9812 has quit [Ping timeout: 272 seconds]

13:50 mmohammadi98120 is now known as mmohammadi9812

13:52 MasterBen has quit [Remote host closed the connection]

13:54 <olle> what's wrong with ISO dates?

13:56 <d_bot> <Et7f3> IRC users please use `` around short snippet

13:57 <d_bot> <Et7f3> because _ is underline on discord

13:57 <d_bot> <Et7f3> ~~underline~~ italic

13:59 <d_bot> <darrenldl> re olle: internally, it requires doing computation over collections of intervals, i.e. `(int * int64) Seq.t`. externally, nothing wrong with ISO dates actually... i'll update the doc to suggest using ISO date as storage, thanks!

14:06 mmohammadi9812 has quit [Ping timeout: 258 seconds]

14:07 mmohammadi9812 has joined #ocaml

14:07 <d_bot> <wtetzner> What does `type t = ..` mean?

14:09 <theblatte> it's an extensible variant with no variants declared initially

14:09 <d_bot> <wtetzner> So it works kinda like exceptions?

14:09 <def> yep, exn is (internally) defined as type exn = ..

14:10 <theblatte> except you still get exhaustiveness checks for extensible variants?

14:10 <d_bot> <octachron> See also https://ocaml.org/manual/extensiblevariants.html

14:10 <theblatte> (a bit rusty)

14:10 toppler has quit [Remote host closed the connection]

14:11 <def> no

14:11 <theblatte> ah you're forced to handle a default "_" case when matching

14:11 <companion_cube> it literally cannot be exhaustive :)

14:12 <d_bot> <octachron> This is also the case of exceptions: `fun Not_found -> ()` raises a warning

14:12 <theblatte> well you could decide to close the world at some point :)

14:12 <d_bot> <ostera> so you wouldn't consider `_` being exhaustive, even tho it matches on everything?

14:12 <companion_cube> it matches everything, it's just not what one would call an exhaustive matching

14:13 <theblatte> _ is a special case of exhustive

14:13 <theblatte> +a

14:13 <companion_cube> it's exhaustive and fragile, if I believe the compiler warnings

14:21 rig0rmortis has joined #ocaml

14:22 <d_bot> <wtetzner> The match is technically exhaustive, but you wouldn't be benefitting from exhaustiveness checking.

14:23 laokz has quit [Quit: Leaving]

14:27 rig0rmortis has quit [Ping timeout: 272 seconds]

14:54 Tuplanolla has joined #ocaml

14:55 mmohammadi9812 has quit [Ping timeout: 265 seconds]

15:16 spew has joined #ocaml

15:38 mmohammadi9812 has joined #ocaml

15:58 berke has quit [Ping timeout: 258 seconds]

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

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

16:05 mmohammadi9812 has joined #ocaml

16:07 ggole has quit [Quit: Leaving]

16:13 olle has quit [Ping timeout: 258 seconds]

16:13 nkly has joined #ocaml

16:19 mmohammadi9812 has quit [Quit: I quit (╯°□°）╯︵ ┻━┻]

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

16:22 mmohammadi9812 has joined #ocaml

16:26 nkly has joined #ocaml

16:52 rig0rmortis has joined #ocaml

16:56 rig0rmortis has quit [Ping timeout: 256 seconds]

16:57 Haudegen has joined #ocaml

17:03 <brettgilio> https://arxiv.org/pdf/2009.05539.pdf cool essay

17:06 vicfred has quit [Remote host closed the connection]

17:07 vicfred has joined #ocaml

17:46 nkly has quit [Quit: ZNC 1.6.6+deb1ubuntu0.2 - http://znc.in]

17:49 nkly has joined #ocaml

18:01 kanishka has joined #ocaml

18:06 nicoo has quit [Remote host closed the connection]

18:07 nicoo has joined #ocaml

18:08 gjaldon_ has quit [Quit: Connection closed for inactivity]

18:28 reynir has quit [Ping timeout: 260 seconds]

18:30 reynir has joined #ocaml

19:15 jnavila has joined #ocaml

19:33 dhil has quit [Quit: Leaving]

19:35 kanishka has quit [Ping timeout: 245 seconds]

19:36 dhil has joined #ocaml

19:45 narimiran has quit [Ping timeout: 258 seconds]

19:51 amiloradovsky has joined #ocaml

20:02 mmohammadi9812 has quit [Quit: I quit (╯°□°）╯︵ ┻━┻]

20:19 jnavila has quit [Quit: Konversation terminated!]

20:25 zebrag has joined #ocaml

20:25 inkbottle has quit [Ping timeout: 240 seconds]

20:33 ransom has joined #ocaml

20:34 osa1 has quit [Ping timeout: 265 seconds]

20:37 amiloradovsky has quit [Ping timeout: 240 seconds]

20:37 amiloradovsky has joined #ocaml

20:38 mmohammadi9812 has joined #ocaml

20:47 mmohammadi9812 has quit [Quit: I quit (╯°□°）╯︵ ┻━┻]

20:49 robmyers has quit [Ping timeout: 244 seconds]

20:49 cemerick has quit [Ping timeout: 240 seconds]

20:50 alehander92 has quit [Ping timeout: 244 seconds]

20:50 mjvoge02 has quit [Ping timeout: 244 seconds]

20:50 bytesighs has quit [Ping timeout: 260 seconds]

20:50 higherorder has quit [Ping timeout: 260 seconds]

20:50 Duns_Scrotus has quit [Ping timeout: 272 seconds]

20:50 caasih has quit [Ping timeout: 244 seconds]

20:50 JSharp has quit [Ping timeout: 244 seconds]

20:50 bitonic has quit [Ping timeout: 260 seconds]

20:50 ec has quit [Ping timeout: 244 seconds]

20:50 l1x has quit [Ping timeout: 246 seconds]

20:50 jmct has quit [Ping timeout: 240 seconds]

20:51 cbarrett has quit [Ping timeout: 260 seconds]

20:51 SrPx has quit [Ping timeout: 260 seconds]

20:51 waleee-cl has quit [Ping timeout: 260 seconds]

20:51 stephe has quit [Ping timeout: 260 seconds]

20:51 angerman has quit [Ping timeout: 260 seconds]

20:51 mjvoge02 has joined #ocaml

20:52 Duns_Scrotus has joined #ocaml

20:52 cemerick has joined #ocaml

20:52 sspi__ has quit [Ping timeout: 260 seconds]

20:52 mgsk has quit [Ping timeout: 260 seconds]

20:52 bytesighs has joined #ocaml

20:52 caasih has joined #ocaml

20:52 cbarrett has joined #ocaml

20:52 SrPx has joined #ocaml

20:52 ec has joined #ocaml

20:52 JSharp has joined #ocaml

20:52 sspi__ has joined #ocaml

20:53 waleee-cl has joined #ocaml

20:53 jmct has joined #ocaml

20:53 angerman has joined #ocaml

20:53 mgsk has joined #ocaml

20:53 stephe has joined #ocaml

20:53 robmyers has joined #ocaml

20:53 alehander92 has joined #ocaml

20:53 bitonic has joined #ocaml

20:53 higherorder has joined #ocaml

20:56 l1x has joined #ocaml

21:01 amiloradovsky has quit [Ping timeout: 240 seconds]

21:04 Serpent7776 has quit [Quit: leaving]

21:24 amiloradovsky has joined #ocaml

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

21:34 reynir has joined #ocaml

21:42 nullcone has joined #ocaml

21:47 tane has quit [Quit: Leaving]

21:47 bronsen has quit [Quit: WeeChat 2.9]

21:54 bronsen has joined #ocaml

21:56 robmyers has quit [Ping timeout: 260 seconds]

21:59 robmyers has joined #ocaml

22:07 lisq has quit [Quit: lisq]

22:07 lisq has joined #ocaml

22:19 reynir has quit [Ping timeout: 240 seconds]

22:20 reynir has joined #ocaml

22:24 dhil has quit [Ping timeout: 260 seconds]

22:28 amiloradovsky has quit [Remote host closed the connection]

22:30 amiloradovsky has joined #ocaml

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

22:50 adi_________ has quit [Read error: Connection reset by peer]

22:50 jmct has quit [Read error: Connection reset by peer]

22:50 mrallen1 has quit [Read error: Connection reset by peer]

22:50 alehander92 has quit [Ping timeout: 240 seconds]

22:50 pgiarrusso has quit [Ping timeout: 244 seconds]

22:50 cqc has quit [Read error: Connection reset by peer]

22:50 bytesighs has quit [Read error: Connection reset by peer]

22:50 waleee-cl has quit [Ping timeout: 240 seconds]

22:50 strmpnk has quit [Read error: Connection reset by peer]

22:50 metadave has quit [Ping timeout: 260 seconds]

22:50 sspi__ has quit [Read error: Connection reset by peer]

22:50 SrPx has quit [Ping timeout: 240 seconds]

22:50 stylewarning has quit [Ping timeout: 240 seconds]

22:50 rdivyanshu has quit [Ping timeout: 240 seconds]

22:50 Boarders has quit [Ping timeout: 240 seconds]

22:51 angerman has quit [Ping timeout: 260 seconds]

22:51 nullcone has quit [Ping timeout: 260 seconds]

22:51 caasih has quit [Ping timeout: 260 seconds]

22:51 ec has quit [Ping timeout: 260 seconds]

22:51 cemerick has quit [Ping timeout: 260 seconds]

22:51 adi_________ has joined #ocaml

22:51 jmct has joined #ocaml

22:51 bitonic has quit [Ping timeout: 272 seconds]

22:51 mrallen1 has joined #ocaml

22:51 wildsebastian has quit [Ping timeout: 260 seconds]

22:51 kristjansson has quit [Ping timeout: 260 seconds]

22:52 bytesighs has joined #ocaml

22:52 cbarrett has quit [Ping timeout: 272 seconds]

22:52 spew has quit [Ping timeout: 272 seconds]

22:52 cemerick has joined #ocaml

22:52 spew has joined #ocaml

22:52 metadave has joined #ocaml

22:52 kristjansson has joined #ocaml

22:53 bitonic has joined #ocaml

22:53 JSharp has quit [Ping timeout: 240 seconds]

22:53 angerman has joined #ocaml

22:53 Duns_Scrotus has quit [Ping timeout: 260 seconds]

22:53 cqc has joined #ocaml

22:53 strmpnk has joined #ocaml

22:53 alehander92 has joined #ocaml

22:54 pgiarrusso has joined #ocaml

22:54 sspi__ has joined #ocaml

22:54 wildsebastian has joined #ocaml

22:54 rdivyanshu has joined #ocaml

22:54 ec has joined #ocaml

22:54 waleee-cl has joined #ocaml

22:54 <brettgilio> Hey all, I am working on an implementation of an IRC server in OCaml. I am working through the networking logic right now, and am curious about opinions on handling IO concurrency in a situation like this. With Multicore domains not being out yet, I am given two primary options, Lwt's monadic promise style system or the Unix/Thread module with native mutex threads. Im curious how you all would proceed here.,

22:54 cbarrett has joined #ocaml

22:54 stylewarning has joined #ocaml

22:54 SrPx has joined #ocaml

22:55 <companion_cube> that's probably a place where Lwt shines

22:55 caasih has joined #ocaml

22:55 nullcone has joined #ocaml

22:55 adrianbrink has quit [Ping timeout: 260 seconds]

22:56 adrianbrink has joined #ocaml

22:56 Duns_Scrotus has joined #ocaml

22:56 JSharp has joined #ocaml

22:56 jmct has quit [Ping timeout: 246 seconds]

22:57 Boarders has joined #ocaml

22:58 cemerick has quit [Ping timeout: 256 seconds]

22:58 spew has quit [Ping timeout: 256 seconds]

22:58 pgiarrusso has quit [Ping timeout: 258 seconds]

22:59 <brettgilio> companion_cube: Yeah, I think so as well. I tried to find similar benchmarks for say a few thousand connections comparing the two, but there isnt much.

22:59 jmct has joined #ocaml

22:59 <companion_cube> I think threads would work well, but you might have to configure your kernel

22:59 <companion_cube> so, lwt is probably simpler

23:00 <brettgilio> Hmm. I hadn't considered that aspect of it.

23:00 spew has joined #ocaml

23:01 cemerick has joined #ocaml

23:02 <brettgilio> That is enough to convince me right there.

23:02 <brettgilio> I'll just go with Lwt for now

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

23:10 pgiarrusso has joined #ocaml

23:13 <brettgilio> Thanks

23:13 <brettgilio> companion_cube:

23:17 ec is now known as ELLIOTTCABLE

23:18 ELLIOTTCABLE is now known as ec

23:18 amiloradovsky has quit [Remote host closed the connection]

23:21 amiloradovsky has joined #ocaml

23:28 minwuek has joined #ocaml