#racket on 2019-05-22 — irc logs at freenode.irclog.whitequark.org

2019-03-10 18:20 lexi-lambda changed the topic of #racket to: Racket v7.2 has been released: https://blog.racket-lang.org/2019/01/racket-v7-2.html -- Racket -- https://racket-lang.org -- https://pkgs.racket-lang.org -- Paste at http://pasterack.org

00:00 pierpal has joined #racket

00:16 lockywolf_ has quit [Ping timeout: 276 seconds]

00:16 lavaflow has joined #racket

00:20 meepdeew has quit [Remote host closed the connection]

00:22 moldybits has quit [Quit: WeeChat 2.4]

00:27 libertyprime has quit [Ping timeout: 245 seconds]

00:36 enderby has joined #racket

00:40 moldybits has joined #racket

00:58 lavaflow has quit [Ping timeout: 258 seconds]

00:58 ZombieChicken has joined #racket

01:01 enderby has quit [Ping timeout: 258 seconds]

01:04 lavaflow has joined #racket

01:33 acarrico has joined #racket

01:37 lockywolf has joined #racket

01:37 orivej has quit [Remote host closed the connection]

01:38 orivej has joined #racket

01:42 acarrico has quit [Ping timeout: 272 seconds]

01:50 <samth> tonyg: i just think the "create a separate thread" solution is the right one

01:58 pierpal has quit [Ping timeout: 272 seconds]

02:05 lockywolf_ has joined #racket

02:06 libertyprime has joined #racket

02:07 lockywolf has quit [Ping timeout: 245 seconds]

02:07 lavaflow has quit [Ping timeout: 258 seconds]

02:12 Mayoi is now known as erkin

02:14 GoldRin has joined #racket

02:17 lavaflow has joined #racket

02:45 orivej has quit [Ping timeout: 272 seconds]

02:47 <greghendershott> tonyg: If you write a blog post, it would be interesting to hear you discuss how "just use threads" complicates exn handling etc.

02:50 <greghendershott> samth: lexi-lambda: Not urgent but the channel topic "Racket v7.2 has been released" could use a bump.

02:51 samth changed the topic of #racket to: Racket v7.3 has been released: https://blog.racket-lang.org/2019/05/racket-v7-3.html -- Racket -- https://racket-lang.org -- https://pkgs.racket-lang.org -- Paste at http://pasterack.org

02:59 orivej has joined #racket

03:08 jao has quit [Ping timeout: 258 seconds]

03:18 caltelt_ has joined #racket

03:22 caltelt has quit [Ping timeout: 246 seconds]

03:24 FreeFull has quit []

03:24 libertyprime has quit [Ping timeout: 245 seconds]

03:38 pierpal has joined #racket

03:49 orivej has quit [Ping timeout: 272 seconds]

03:51 libertyprime has joined #racket

03:57 libertyprime has quit [Ping timeout: 248 seconds]

04:05 ohama has quit [Ping timeout: 252 seconds]

04:06 ohama has joined #racket

04:09 dddddd has quit [Remote host closed the connection]

04:09 GoldRin has quit [Remote host closed the connection]

04:25 caltelt_ has quit [Ping timeout: 245 seconds]

04:35 endformationage has quit [Quit: WeeChat 2.4]

04:50 lockywolf_ has quit [Ping timeout: 258 seconds]

05:03 zmt01 has joined #racket

05:07 zmt00 has quit [Ping timeout: 252 seconds]

05:17 `micro has joined #racket

05:21 sauvin has joined #racket

05:24 Arcaelyx has quit [Ping timeout: 252 seconds]

05:31 cbarrett has quit [Ping timeout: 252 seconds]

05:33 rodlogic has quit [Ping timeout: 252 seconds]

05:33 cbarrett has joined #racket

05:34 rodlogic has joined #racket

05:52 moldybits has quit [Quit: WeeChat 2.4]

05:58 davidl has quit [Ping timeout: 244 seconds]

06:34 libertyprime has joined #racket

06:47 <tonyg> greghendershott: yeah that's the one approach i didn't even bother to concretely experiment with. i think it'll be important to do it concretely to have a good comparison.

06:59 orivej has joined #racket

07:05 Sgeo__ has joined #racket

07:08 Sgeo_ has quit [Ping timeout: 244 seconds]

07:15 libertyprime has quit [Ping timeout: 258 seconds]

07:16 libertyprime has joined #racket

07:19 libertyprime has quit [Read error: Connection reset by peer]

07:21 libertyprime has joined #racket

07:31 Sgeo_ has joined #racket

07:35 Sgeo__ has quit [Ping timeout: 272 seconds]

07:38 Sgeo_ has quit [Read error: Connection reset by peer]

07:38 Sgeo_ has joined #racket

08:01 pierpal has quit [Remote host closed the connection]

08:26 miskatonic has joined #racket

08:35 mSSM has joined #racket

08:59 sz0 has quit []

09:00 sz0 has joined #racket

09:10 ubLIX has joined #racket

09:17 Sgeo_ has quit [Read error: Connection reset by peer]

09:17 Sgeo_ has joined #racket

09:19 Sgeo__ has joined #racket

09:19 ubLIX has quit [Ping timeout: 272 seconds]

09:20 manualcrank has quit [Quit: WeeChat 1.9.1]

09:23 Sgeo_ has quit [Ping timeout: 248 seconds]

09:27 ubLIX has joined #racket

09:42 ubLXI has joined #racket

09:45 ubLIX has quit [Ping timeout: 248 seconds]

09:59 ng0 has joined #racket

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

10:10 DGASAU has joined #racket

10:23 _whitelogger has joined #racket

10:32 miskatonic has quit [Quit: ERC (IRC client for Emacs 24.5.1)]

10:36 dddddd has joined #racket

10:48 soegaard has joined #racket

10:49 iyzsong has joined #racket

11:16 ZombieChicken has quit [Quit: Have a nice day]

11:16 notzmv has quit [Ping timeout: 258 seconds]

11:27 ricekrispie2 has joined #racket

11:29 ricekrispie has quit [Ping timeout: 244 seconds]

11:44 acarrico has joined #racket

11:45 lockywolf has joined #racket

12:33 jao has joined #racket

12:42 acarrico has quit [Ping timeout: 246 seconds]

12:44 acarrico has joined #racket

12:46 lockywolf_ has joined #racket

12:49 lockywolf has quit [Ping timeout: 272 seconds]

13:02 soegaard has quit [Quit: soegaard]

13:03 lockywolf__ has joined #racket

13:06 lockywolf_ has quit [Ping timeout: 246 seconds]

13:08 caltelt has joined #racket

13:10 lockywolf_ has joined #racket

13:12 lockywolf__ has quit [Ping timeout: 248 seconds]

13:17 rubic88 has joined #racket

13:40 iyzsong has quit [Read error: Connection reset by peer]

13:45 caltelt has quit [Ping timeout: 245 seconds]

13:46 Arcaelyx has joined #racket

13:47 lockywolf__ has joined #racket

13:49 lockywolf_ has quit [Ping timeout: 245 seconds]

13:49 ng0 has quit [Quit: Alexa, when is the end of world?]

13:57 ubLXI has quit [Quit: ubLXI]

14:00 iclon_ has joined #racket

14:03 jao has quit [Remote host closed the connection]

14:03 iclon__ has quit [Ping timeout: 258 seconds]

14:04 jao has joined #racket

14:08 logicmoo is now known as dmiles

14:15 DGASAU has quit [Ping timeout: 248 seconds]

14:17 DGASAU has joined #racket

14:26 q9929t has joined #racket

14:27 zmt00 has joined #racket

14:29 zmt01 has quit [Ping timeout: 250 seconds]

14:35 cpup has quit [Quit: Breaking stuff]

14:35 cpup has joined #racket

15:00 <tonyg> samth greghendershott: it wasn't *soooo* awful to do it via threads, but there are quite a few subtleties and I'm not yet 100% this captures them all: https://gist.github.com/tonyg/90c2c8406a24b5357aa44b8677089a90#file-partial-reads-rkt-L497-L529

15:00 <tonyg> I do think it's pretty close though.

15:00 <tonyg> And it's probably the least awful productionish solution to the problem :)

15:01 <tonyg> You still have to be careful not to create more than a single event wrapping a given input port, but a single such event can be shared among threads freely

15:03 <tonyg> One potential downside is that, if reading of a frame has started but not stopped, and interest in the outcome goes away, the read will proceed to completion before the read-thread terminates, whereas with the effects-based solution no more reading will happen immediately

15:06 endformationage has joined #racket

15:09 <tonyg> Neither solution handles freely switching between blocking and event-based input well. You have to commit to event-based input once you've started.

15:13 lavaflow has quit [Ping timeout: 246 seconds]

15:16 q9929t has quit [Quit: q9929t]

15:24 lavaflow has joined #racket

15:24 libertyprime has quit [Ping timeout: 272 seconds]

15:27 casaca has quit [Ping timeout: 246 seconds]

15:31 emacsomancer has quit [Ping timeout: 245 seconds]

15:34 casaca has joined #racket

15:37 lavaflow has quit [Ping timeout: 272 seconds]

15:41 <greghendershott> tonyg: At first glance that still seems slightly "event heavy", to me?

15:43 <greghendershott> Could it simply return a channel, which the user could `channel-get` or `sync` as they happen to need?

15:43 <greghendershott> Along these lines: https://gist.github.com/greghendershott/731d20f55288cee6237b0dff3676a6bb

15:44 Sgeo__ has quit [Read error: Connection reset by peer]

15:45 Sgeo__ has joined #racket

15:49 dan_f has joined #racket

15:49 jsomedon has joined #racket

15:55 jsomedon has quit [Quit: jsomedon]

15:56 jsomedon has joined #racket

15:59 lockywolf_ has joined #racket

16:00 urbanslug has joined #racket

16:00 lockywolf__ has quit [Read error: Connection reset by peer]

16:01 lockywolf__ has joined #racket

16:02 lockywolf_ has quit [Read error: Connection reset by peer]

16:03 lockywolf_ has joined #racket

16:05 jsomedon has quit [Quit: jsomedon]

16:06 lockywolf__ has quit [Ping timeout: 245 seconds]

16:07 urbanslug has quit [Read error: Connection reset by peer]

16:08 urbanslug has joined #racket

16:10 urbanslug has quit [Read error: Connection reset by peer]

16:11 urbanslug has joined #racket

16:16 urbanslug has quit [Read error: Connection reset by peer]

16:17 urbanslug has joined #racket

16:20 urbanslug has quit [Read error: Connection reset by peer]

16:21 urbanslug has joined #racket

16:27 urbanslug has quit [Ping timeout: 272 seconds]

16:32 urbanslug has joined #racket

16:41 urbanslug has quit [Read error: Connection reset by peer]

16:41 urbanslug has joined #racket

16:41 urbanslug has quit [Read error: Connection reset by peer]

16:42 urbanslug has joined #racket

16:49 urbanslug has quit [Read error: Connection reset by peer]

16:51 efm has joined #racket

16:51 emacsomancer has joined #racket

16:52 urbanslug has joined #racket

16:53 urbanslug has quit [Read error: Connection reset by peer]

16:55 urbanslug has joined #racket

16:55 urbanslug has quit [Read error: Connection reset by peer]

16:57 urbanslug has joined #racket

16:58 urbanslug has quit [Read error: Connection reset by peer]

16:59 casaca has quit [Ping timeout: 248 seconds]

17:01 casaca has joined #racket

17:06 casaca has quit [Ping timeout: 268 seconds]

17:06 casaca has joined #racket

17:07 urbanslug has joined #racket

17:20 casaca has quit [Ping timeout: 246 seconds]

17:21 acarrico has quit [Ping timeout: 248 seconds]

17:22 casaca has joined #racket

17:24 urbanslug is now known as zipper

17:26 ubLIX has joined #racket

17:31 FreeFull has joined #racket

17:33 casaca has quit [Ping timeout: 272 seconds]

17:33 casaca has joined #racket

17:36 rubic has joined #racket

17:39 rubic88 has quit [Ping timeout: 246 seconds]

17:45 casaca has quit [Ping timeout: 248 seconds]

17:46 acarrico has joined #racket

17:47 manualcrank has joined #racket

17:57 casaca has joined #racket

17:58 lavaflow has joined #racket

18:02 casaca has quit [Ping timeout: 258 seconds]

18:05 zipper has quit [Read error: Connection reset by peer]

18:14 casaca has joined #racket

18:18 longshi has joined #racket

18:25 soegaard has joined #racket

18:30 casaca has quit [Ping timeout: 244 seconds]

18:32 casaca has joined #racket

18:32 sauvin has quit [Ping timeout: 272 seconds]

18:33 selimcan has joined #racket

18:33 sz0 has quit [Quit: Connection closed for inactivity]

18:37 efm has quit [Quit: Konversation terminated!]

18:39 longshi has quit [Quit: WeeChat 2.4]

18:42 zipper has joined #racket

18:45 ym555 has joined #racket

18:46 lavaflow has quit [Ping timeout: 257 seconds]

18:56 dan_f has quit [Quit: dan_f]

18:56 pera has quit [Ping timeout: 246 seconds]

18:57 lavaflow has joined #racket

18:57 zipper has quit [Ping timeout: 272 seconds]

18:58 jao has quit [Ping timeout: 248 seconds]

18:58 zipper has joined #racket

19:00 acarrico has quit [Ping timeout: 258 seconds]

19:04 zipper has quit [Ping timeout: 268 seconds]

19:10 pie__ has joined #racket

19:11 pie___ has quit [Remote host closed the connection]

19:12 pera has joined #racket

19:38 pfdietz has joined #racket

19:39 zipper has joined #racket

19:39 dan_f has joined #racket

19:40 efm has joined #racket

19:47 zipper has quit [Ping timeout: 244 seconds]

19:53 casaca has quit [Ping timeout: 248 seconds]

19:59 zipper has joined #racket

20:00 casaca has joined #racket

20:12 dan_f has quit [Quit: dan_f]

20:13 zipper has quit [Ping timeout: 248 seconds]

20:18 pera has quit [Quit: leaving]

20:18 selimcan has quit [Ping timeout: 258 seconds]

20:21 selimcan has joined #racket

20:33 efm has quit [Quit: Konversation terminated!]

20:45 sleepnap has joined #racket

20:50 selimcan has quit [Remote host closed the connection]

20:53 sleepnap has quit [Quit: Leaving.]

20:56 pera has joined #racket

21:07 sleepnap has joined #racket

21:15 ZombieChicken has joined #racket

21:18 sleepnap has quit [Ping timeout: 245 seconds]

21:20 serpentaddiction has joined #racket

21:23 rubic has quit [Ping timeout: 248 seconds]

21:25 dan_f has joined #racket

21:27 pera has quit [Ping timeout: 244 seconds]

21:28 sleepnap has joined #racket

21:28 ZombieChicken has quit [Quit: Have a nice day]

21:29 pera has joined #racket

21:31 ZombieChicken has joined #racket

21:39 sleepnap has quit [Ping timeout: 258 seconds]

21:58 Fernando-Basso has joined #racket

21:59 serpentaddiction has quit [Remote host closed the connection]

22:02 moldybits has joined #racket

22:05 iclon__ has joined #racket

22:08 caltelt has joined #racket

22:08 iclon_ has quit [Ping timeout: 248 seconds]

22:09 Guest62345 has joined #racket

22:11 mSSM has quit [Ping timeout: 248 seconds]

22:13 dan_f has quit [Quit: dan_f]

22:19 moldybits has quit [Ping timeout: 248 seconds]

22:25 soegaard has quit [Read error: Connection reset by peer]

22:26 soegaard has joined #racket

22:34 soegaard has quit [Read error: Connection reset by peer]

22:35 soegaard has joined #racket

22:37 moldybits has joined #racket

22:45 libertyprime has joined #racket

22:45 Nomenclatura has quit [Quit: q]

22:45 pera has quit [Ping timeout: 258 seconds]

22:49 ubLIX has quit [Ping timeout: 245 seconds]

22:50 pera has joined #racket

22:51 <tonyg> greghendershott: yes, but (1) if the reading thread crashes, the client thread will deadlock if it touches ch more than once and (2) the reading thread always reads ahead one message

22:54 <tonyg> neither of those are showstoppers :)

22:54 <tonyg> here's the code I ended up with in racket-rfc6455 btw: https://github.com/tonyg/racket-rfc6455/blob/7e5e13fe293c8e4dad394debcd2a2a579a87f3f7/net/rfc6455/conn-api.rkt#L130-L172

22:54 <rudybot> https://teensy.info/t73zOl2srR

22:55 <tonyg> and the client event code is https://github.com/tonyg/racket-rfc6455/blob/7e5e13fe293c8e4dad394debcd2a2a579a87f3f7/net/rfc6455/conn-api.rkt#L104-L113

22:55 <rudybot> https://teensy.info/G6cLMLxDVl

22:55 <greghendershott> tonyg: Point. I guess typically I've done those with tcp or udp ports, and the client thread and the ports and everything is in a custodian which can be blown away on e.g. a timeout

22:55 <greghendershott> But. It's not always that simple.

22:56 <tonyg> (another little thing: using nack-evt lets the code avoid committing to reading a message at all if the nack-evt fires before any bytes appear on the input socket)

22:57 <tonyg> greghendershott: yeah I need to practice more with custodians

23:00 <greghendershott> It's nice if there's some higher granularity like "request" or "message" or "transaction", that can be covered by one custodian.

23:00 <greghendershott> At least, I try desperately to find some such higher level of granularity. :)

23:02 <greghendershott> But sometimes con is difficult\ncurrency\n

23:29 cpup has quit [Ping timeout: 246 seconds]

23:35 sagax has quit [Remote host closed the connection]

23:50 acarrico has joined #racket

23:58 ym555 has quit [Ping timeout: 258 seconds]