#racket on 2022-05-28 — irc logs at libera.irclog.whitequark.org

2022-05-25 08:19 tonyg changed the topic of #racket to: The Racket Programming Language -- https://racket-lang.org/ -- https://gather.town/app/wH1EDG3McffLjrs0/racket-users -- http://pasterack.org -- logged at https://libera.irclog.whitequark.org/racket/ -- This is the right place to ask for help with (Dr)Racket. Remember to wait around for an answer!

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

00:18 X-Scale has quit [Ping timeout: 256 seconds]

00:33 littlebobeep has quit [Ping timeout: 240 seconds]

00:43 X-Scale has joined #racket

00:45 badkins has joined #racket

00:49 littlebobeep has joined #racket

00:50 badkins has quit [Ping timeout: 250 seconds]

01:06 badkins has joined #racket

01:12 badkins has quit [Ping timeout: 256 seconds]

01:35 ur5us has quit [Ping timeout: 255 seconds]

01:44 ttree has joined #racket

01:54 ttree has quit [Quit: Leaving]

01:55 ttree has joined #racket

02:09 aidalgol has quit [Ping timeout: 246 seconds]

02:09 aidalgol_ has joined #racket

02:22 littlebobeep has quit [Ping timeout: 240 seconds]

02:34 littlebobeep has joined #racket

02:40 aidalgol_ is now known as aidalgol

02:40 littlebo1eep has joined #racket

02:43 littlebobeep has quit [Ping timeout: 240 seconds]

02:52 littlebobeep has joined #racket

02:56 littlebo1eep has quit [Ping timeout: 240 seconds]

03:22 littlebo1eep has joined #racket

03:25 littlebobeep has quit [Ping timeout: 240 seconds]

03:54 ur5us has joined #racket

03:57 badkins has joined #racket

03:57 littlebo1eep has quit [Ping timeout: 240 seconds]

04:01 badkins has quit [Ping timeout: 255 seconds]

04:03 littlebobeep has joined #racket

04:13 yagamisato has quit [Ping timeout: 258 seconds]

04:14 yagamisato has joined #racket

04:24 badkins has joined #racket

04:29 badkins has quit [Ping timeout: 244 seconds]

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

04:38 ur5us has quit [Quit: Leaving]

04:44 badkins has joined #racket

04:48 badkins has quit [Ping timeout: 246 seconds]

05:14 tumdum has joined #racket

05:44 skapata has quit [Ping timeout: 260 seconds]

05:44 badkins has joined #racket

05:49 badkins has quit [Ping timeout: 255 seconds]

05:49 skapata has joined #racket

05:49 skapata has quit [Changing host]

05:49 skapata has joined #racket

06:07 skapata has quit [Ping timeout: 258 seconds]

06:15 ttree has quit [Ping timeout: 240 seconds]

06:20 skapata has joined #racket

06:21 littlebobeep has quit [Ping timeout: 240 seconds]

06:27 tumdum has quit [Ping timeout: 258 seconds]

06:33 littlebobeep has joined #racket

06:43 badkins has joined #racket

06:48 badkins has quit [Ping timeout: 244 seconds]

06:55 littlebobeep has quit [Ping timeout: 240 seconds]

06:56 badkins has joined #racket

07:00 badkins has quit [Ping timeout: 255 seconds]

07:07 littlebobeep has joined #racket

07:19 littlebobeep has quit [Ping timeout: 240 seconds]

07:21 littlebobeep has joined #racket

07:37 littlebo1eep has joined #racket

07:41 littlebobeep has quit [Ping timeout: 240 seconds]

07:49 littlebo1eep has quit [Ping timeout: 240 seconds]

08:12 littlebobeep has joined #racket

08:17 littlebo1eep has joined #racket

08:18 littlebobeep has quit [Ping timeout: 240 seconds]

08:40 littlebo1eep has quit [Ping timeout: 240 seconds]

08:47 littlebobeep has joined #racket

09:07 littlebobeep has quit [Ping timeout: 240 seconds]

09:10 skapata has quit [Quit: Ĝis.]

09:12 littlebobeep has joined #racket

09:16 srji has joined #racket

09:26 littlebo1eep has joined #racket

09:26 littlebobeep has quit [Ping timeout: 240 seconds]

09:41 littlebobeep has joined #racket

09:42 littlebo1eep has quit [Ping timeout: 240 seconds]

10:01 gproto23 has joined #racket

10:10 littlebobeep has quit [Ping timeout: 240 seconds]

10:16 littlebobeep has joined #racket

10:20 tumdum has joined #racket

10:30 badkins has joined #racket

10:35 badkins has quit [Ping timeout: 256 seconds]

11:22 littlebobeep has quit [Ping timeout: 240 seconds]

11:28 littlebobeep has joined #racket

11:37 badkins has joined #racket

11:41 badkins has quit [Ping timeout: 246 seconds]

11:47 badkins has joined #racket

11:51 badkins has quit [Ping timeout: 244 seconds]

12:12 gproto23 has quit [Remote host closed the connection]

12:17 littlebobeep has quit [Ping timeout: 240 seconds]

12:18 littlebobeep has joined #racket

12:40 badkins has joined #racket

12:44 badkins has quit [Ping timeout: 255 seconds]

12:52 littlebobeep has quit [Ping timeout: 240 seconds]

13:12 littlebobeep has joined #racket

13:37 jao has joined #racket

14:02 littlebo1eep has joined #racket

14:02 littlebobeep has quit [Ping timeout: 240 seconds]

14:05 monkey_ has joined #racket

14:11 littlebo1eep has quit [Ping timeout: 240 seconds]

14:13 tumdum has quit [Ping timeout: 255 seconds]

14:14 badkins has joined #racket

14:16 littlebobeep has joined #racket

14:19 badkins has quit [Ping timeout: 244 seconds]

14:43 Avichi has joined #racket

14:49 Avichi has quit [Quit: Client closed]

14:50 Avichi has joined #racket

15:00 littlebobeep has quit [Ping timeout: 240 seconds]

15:08 ttree has joined #racket

15:24 kengruven has quit [Quit: Leaving.]

15:29 badkins has joined #racket

15:33 badkins has quit [Ping timeout: 255 seconds]

15:45 dTal is now known as CodependentChick

15:47 CodependentChick is now known as dTal

16:02 monkey_ has quit [Ping timeout: 240 seconds]

16:16 badkins has joined #racket

16:21 badkins has quit [Ping timeout: 246 seconds]

17:01 badkins has joined #racket

17:11 badkins has quit [Ping timeout: 250 seconds]

17:21 badkins has joined #racket

17:28 badkins has quit [Ping timeout: 256 seconds]

17:30 badkins has joined #racket

17:37 badkins has quit [Ping timeout: 246 seconds]

17:59 badkins has joined #racket

18:03 tumdum has joined #racket

18:04 badkins has quit [Ping timeout: 255 seconds]

18:15 notzmv has quit [Ping timeout: 244 seconds]

18:31 tumdum has quit [Ping timeout: 260 seconds]

19:35 badkins has joined #racket

19:40 badkins has quit [Ping timeout: 246 seconds]

19:42 badkins has joined #racket

19:49 badkins has quit [Ping timeout: 255 seconds]

19:50 skapata has joined #racket

19:50 skapata has quit [Changing host]

20:02 msiism has joined #racket

20:08 <msiism> I've just run a little test on which of two ways of checking whether a list is empty and then returning the empty list would be faster.

20:08 <msiism> Surprisingly, there was no meaningful difference.

20:08 <msiism> Here's what I did: https://paste.debian.net/plainh/2aa23dfa

20:09 <msiism> So, this is `(eq? lst '()) '()` versus `(empty? lst) empty`.

20:10 <msiism> Now, I'm trying to understand why the first one is not noticably faster.

20:11 kengruven has joined #racket

20:11 <bremner> msiism: that seems like the kind of optimization you can trust the compiler to handle?

20:12 <msiism> Okay, I see. So, is `empty?` implemented as `(eq? lst '())`, actually?

20:12 <msiism> Oh, I could look that up, actually.

20:12 <bremner> it could be. It might do some typechecking also.

20:13 <bremner> rudybot: eval (empty? 42)

20:13 <rudybot> bremner: your sandbox is ready

20:13 <rudybot> bremner: ; Value: #f

20:13 badkins has joined #racket

20:13 <bremner> perhaps so.

20:18 badkins has quit [Ping timeout: 244 seconds]

20:19 <msiism> Hm… I'm not able to locate the defintion of `empty?` at this point. But it's not too important.

20:37 notzmv has joined #racket

20:39 <bremner> it's defined as equivalent to null?

20:41 <msiism> Yeah, that's what the reference says.

20:41 <msiism> Just seeing it now.

21:31 badkins has joined #racket

22:08 ASau has quit [Read error: Connection reset by peer]

22:14 badkins has quit [Remote host closed the connection]

22:41 jao has quit [Ping timeout: 246 seconds]

22:43 jao has joined #racket

22:51 msiism has left #racket [Konversation vaporized.]

23:19 aidalgol has quit [Ping timeout: 246 seconds]

23:19 badkins has joined #racket

23:20 aidalgol has joined #racket

23:23 badkins has quit [Ping timeout: 244 seconds]

23:33 jao has quit [Ping timeout: 258 seconds]

23:35 jao has joined #racket