#racket on 2021-05-10 — irc logs at freenode.irclog.whitequark.org

2021-05-01 07:25 dzoe changed the topic of #racket to: Racket :: Next meetup - today/tonight Sat, 1 May 2021 UTC at 20:00 https://gather.town/app/wH1EDG3McffLjrs0/racket-users | https://racket-lang.org | https://pkgs.racket-lang.org | Paste at http://pasterack.org | This is the right place to ask for help with (Dr)Racket. Remember to wait around for an answer! | https://racket-news.com/

00:00 johnjay has quit [Ping timeout: 252 seconds]

00:02 johnjay has joined #racket

00:05 badkins has quit [Ping timeout: 240 seconds]

00:08 badkins has joined #racket

00:12 c2f0 has quit [Ping timeout: 252 seconds]

00:16 libertyprime has joined #racket

00:24 badkins has quit [Ping timeout: 252 seconds]

00:39 acarrico has quit [Ping timeout: 265 seconds]

00:46 badkins has joined #racket

00:55 orivej has quit [Ping timeout: 246 seconds]

00:55 orivej has joined #racket

01:02 rgherdt has joined #racket

01:02 lwhjp has joined #racket

01:06 rgherdt has quit [Ping timeout: 260 seconds]

01:06 badkins has quit [Remote host closed the connection]

01:07 badkins has joined #racket

01:14 phillbush has quit [Quit: Leaving]

01:21 badkins has quit [Remote host closed the connection]

01:22 badkins has joined #racket

01:28 badkins has quit [Ping timeout: 260 seconds]

01:47 juanfra has quit [Remote host closed the connection]

01:48 juanfra has joined #racket

02:03 ormaaj[m] has joined #racket

02:31 Codaraxis_ has joined #racket

02:34 Codaraxis has quit [Ping timeout: 240 seconds]

03:01 evdubs_ has joined #racket

03:03 johnjay has quit [Quit: WeeChat 2.3]

03:04 evdubs__ has quit [Ping timeout: 240 seconds]

03:04 johnjay has joined #racket

03:18 caente has quit [Ping timeout: 268 seconds]

03:20 evdubs__ has joined #racket

03:22 evdubs_ has quit [Ping timeout: 240 seconds]

03:26 evdubs_ has joined #racket

03:29 evdubs__ has quit [Ping timeout: 268 seconds]

03:45 badkins has joined #racket

03:49 badkins has quit [Ping timeout: 260 seconds]

04:20 evdubs__ has joined #racket

04:23 evdubs has joined #racket

04:23 evdubs_ has quit [Ping timeout: 268 seconds]

04:25 evdubs__ has quit [Ping timeout: 268 seconds]

04:44 andrei-n has joined #racket

04:51 pounce_ is now known as pounce

05:12 narimiran has joined #racket

05:19 orivej has quit [Ping timeout: 240 seconds]

05:20 ridik has joined #racket

05:25 orivej has joined #racket

05:32 rgherdt has joined #racket

05:34 endformationage has quit [Quit: WeeChat 2.9]

05:36 Codaraxis has joined #racket

05:39 Codaraxis_ has quit [Ping timeout: 260 seconds]

05:46 badkins has joined #racket

05:50 badkins has quit [Ping timeout: 240 seconds]

06:07 fredmanglis has joined #racket

06:17 ridik_ has joined #racket

06:20 ridik has quit [Ping timeout: 240 seconds]

06:30 Sgeo_ has quit [Read error: Connection reset by peer]

06:52 cantstanya has quit [Remote host closed the connection]

06:53 cantstanya has joined #racket

06:56 badkins has joined #racket

06:59 Lowl3v3l has joined #racket

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

07:06 c2f0 has joined #racket

07:29 epony has quit [Ping timeout: 240 seconds]

07:47 badkins has joined #racket

07:49 c2f00 has joined #racket

07:51 badkins has quit [Ping timeout: 260 seconds]

07:52 c2f0 has quit [Ping timeout: 240 seconds]

08:58 andrei-n has quit [Read error: Connection reset by peer]

08:58 andrei-n has joined #racket

09:09 epony has joined #racket

09:48 badkins has joined #racket

09:52 badkins has quit [Ping timeout: 240 seconds]

10:46 andrei-n has quit [Quit: Leaving]

10:49 orivej has quit [Ping timeout: 265 seconds]

11:13 badkins has joined #racket

11:18 badkins has quit [Ping timeout: 265 seconds]

11:30 phillbush has joined #racket

12:09 badkins has joined #racket

12:16 badkins has quit [Ping timeout: 260 seconds]

12:29 nebunez has joined #racket

12:33 Vaelatern has quit [Ping timeout: 252 seconds]

12:37 niflce has joined #racket

12:46 caente has joined #racket

12:59 badkins has joined #racket

13:04 rj has joined #racket

13:09 badkins has quit [Ping timeout: 240 seconds]

13:12 badkins has joined #racket

13:13 caente has quit [Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/]

13:14 caente has joined #racket

13:14 caente has quit [Remote host closed the connection]

13:16 caente has joined #racket

13:17 caente has quit [Client Quit]

13:19 caente has joined #racket

13:21 badkins has quit [Ping timeout: 260 seconds]

13:30 niflce has left #racket ["ERC (IRC client for Emacs 27.2)"]

13:32 rj has quit [Ping timeout: 240 seconds]

13:36 notzmv has quit [Read error: Connection reset by peer]

13:37 rj has joined #racket

14:07 badkins has joined #racket

14:08 aeth_ has joined #racket

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

14:11 aeth_ is now known as aeth

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

14:11 badkins has joined #racket

14:14 orivej has joined #racket

14:14 rj has quit [Ping timeout: 240 seconds]

14:16 endformationage has joined #racket

14:16 aeth has quit [Ping timeout: 252 seconds]

14:17 aeth has joined #racket

14:18 rj has joined #racket

14:24 Sgeo has joined #racket

14:59 rj has quit [Ping timeout: 240 seconds]

15:02 rj has joined #racket

15:10 cantstanya has quit [Remote host closed the connection]

15:11 cantstanya has joined #racket

15:12 acarrico has joined #racket

15:29 rj has quit [Remote host closed the connection]

15:29 rj has joined #racket

15:38 c2f00 has quit [Ping timeout: 260 seconds]

15:39 irc_user has joined #racket

15:43 rj has quit [Ping timeout: 240 seconds]

15:47 rj has joined #racket

15:48 c2f0 has joined #racket

15:54 c2f00 has joined #racket

15:54 c2f0 has quit [Ping timeout: 252 seconds]

16:14 nebunez has quit [Ping timeout: 268 seconds]

16:27 rj has quit [Ping timeout: 240 seconds]

16:29 narimiran has quit [Ping timeout: 240 seconds]

16:30 notzmv has joined #racket

16:33 rj has joined #racket

16:40 nebunez has joined #racket

16:43 kaytwo has joined #racket

17:03 Vaelatern has joined #racket

17:10 badkins has quit [Remote host closed the connection]

17:11 Vaelatern has quit [Ping timeout: 260 seconds]

17:13 rj has quit [Ping timeout: 240 seconds]

17:18 rj has joined #racket

17:24 badkins has joined #racket

17:25 evdubs_ has joined #racket

17:28 evdubs has quit [Ping timeout: 268 seconds]

17:34 yoctocell has joined #racket

17:34 Vaelatern has joined #racket

17:37 evdubs__ has joined #racket

17:39 evdubs_ has quit [Ping timeout: 240 seconds]

17:58 evdubs_ has joined #racket

18:01 evdubs__ has quit [Ping timeout: 240 seconds]

18:08 nebunez has quit [Ping timeout: 246 seconds]

18:14 rj has quit [Ping timeout: 240 seconds]

18:22 rj has joined #racket

18:35 nebunez has joined #racket

18:51 ridik_ has quit [Read error: Connection reset by peer]

18:57 fredmanglis has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]

18:59 rj has quit [Ping timeout: 240 seconds]

19:01 badkins has quit [Remote host closed the connection]

19:05 evdubs__ has joined #racket

19:07 rj has joined #racket

19:08 evdubs_ has quit [Ping timeout: 240 seconds]

19:13 nebunez has quit [Ping timeout: 260 seconds]

19:16 narimiran has joined #racket

19:19 badkins has joined #racket

19:29 nebunez has joined #racket

19:36 <kaytwo> does the racket compiler use function contracts for optimization?

19:43 rj has quit [Ping timeout: 240 seconds]

19:48 rj has joined #racket

19:59 <amirouche> Use function contracts to optimize the generated code?

20:01 badkins has quit [Remote host closed the connection]

20:01 badkins has joined #racket

20:04 <kaytwo> yeah, do they work like type hints in common lisp? e.g., if i declare an arg is a fixint, does the generated code inside the function know to use fixint-specific functions?

20:11 narimiran has quit [Ping timeout: 240 seconds]

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

20:14 badkins has joined #racket

20:18 irc_user has quit [Quit: Connection closed for inactivity]

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

20:21 <rgherdt> kaytwo: afaik no, but I'm no expert. I know typed-racket does this kind of optimization. You may also try asking in the slack channel

20:26 rj has quit [Ping timeout: 240 seconds]

20:29 badkins has joined #racket

20:33 badkins has quit [Ping timeout: 240 seconds]

20:35 c2f0 has joined #racket

20:37 c2f00 has quit [Ping timeout: 246 seconds]

20:37 rj has joined #racket

20:47 <kaytwo> hmm, ok. i'm still figuring out plain racket. i'll check out Typed later. thanks.

20:48 nebunez has quit [Ping timeout: 252 seconds]

20:49 nebunez has joined #racket

21:03 nebunez has quit [Ping timeout: 265 seconds]

21:11 rj has quit [Ping timeout: 240 seconds]

21:17 rj has joined #racket

21:44 rgherdt has quit [Ping timeout: 260 seconds]

21:56 Lowl3v3l has quit [Remote host closed the connection]

21:57 countvajhula has joined #racket

22:02 <countvajhula> in library code requires, is there any difference in using fully qualified collection paths vs module-relative paths? E.g. (require current-collection/path/to/module) vs (require "path/to/module.rkt"), or are these exactly equivalent?

22:05 NieDzejkob has quit [Remote host closed the connection]

22:06 NieDzejkob has joined #racket

22:10 badkins has joined #racket

22:29 yoctocell has quit [Ping timeout: 260 seconds]

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

22:36 nebunez has joined #racket

23:11 nebunez has quit [Ping timeout: 246 seconds]

23:48 countvajhula has quit [Ping timeout: 250 seconds]

23:50 badkins has joined #racket

23:54 badkins has quit [Ping timeout: 252 seconds]