#racket on 2023-07-16 — 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:04 badkins has quit [Remote host closed the connection]

00:04 badkins has joined #racket

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

00:10 badkins has joined #racket

00:16 codaraxis has joined #racket

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

00:17 badkins has joined #racket

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

00:23 badkins has joined #racket

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

00:28 mono_ has quit [Ping timeout: 272 seconds]

00:28 badkins has joined #racket

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

00:34 badkins has joined #racket

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

00:47 notzmv has joined #racket

01:00 badkins has joined #racket

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

01:01 badkins has joined #racket

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

01:06 badkins has joined #racket

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

01:12 badkins has joined #racket

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

01:25 badkins has joined #racket

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

01:31 badkins has joined #racket

01:35 <bremner> https://docs.racket-lang.org/guide/define.html has an example for "avg"

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

01:36 badkins has joined #racket

01:38 <skeemer> does racket as common lisp allow function redefinition at runtime?

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

01:42 badkins has joined #racket

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

01:47 badkins has joined #racket

01:51 <bremner> skeemer: in the sense that you can mutate variables (or parameters), then yes.

01:52 <skeemer> bremner in the sense that i can change functions of a program at runtime... while it is running

01:52 <skeemer> e.g., this cannot be done with most other programming languages

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

01:52 <bremner> skeemer: well functions are values in racket, and can be created at runtime

01:53 badkins has joined #racket

01:53 <skeemer> bremner, ok so it also like common lisp has this concept of a live running image right ?

01:55 <bremner> hmm. Not to the same degree I think. I don't think you can e.g. save and restore images in racket. But you have a REPL.

01:55 <bremner> and https://docs.racket-lang.org/guide/parameterize.html is useful for dynamic binding of functions

01:56 <skeemer> bremner, ohh i see are you aware of any scheme that allows for that ?

01:56 <bremner> not really. There are some famous rants by schemers about how images are a trap :)

01:57 <bremner> because you can get a state that is hard to reproduce from source

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

01:58 badkins has joined #racket

02:03 badkins has quit [Remote host closed the connection]

02:04 badkins has joined #racket

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

02:09 badkins has joined #racket

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

02:15 badkins has joined #racket

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

02:20 badkins has joined #racket

02:25 badkins has quit [Remote host closed the connection]

02:26 badkins has joined #racket

02:31 badkins has quit [Remote host closed the connection]

02:31 badkins has joined #racket

02:35 lucasta has quit [Remote host closed the connection]

02:35 notzmv has quit [Ping timeout: 245 seconds]

02:36 badkins has quit [Remote host closed the connection]

02:37 badkins has joined #racket

02:41 badkins has quit [Remote host closed the connection]

02:42 badkins has joined #racket

02:43 Psybur has quit [Ping timeout: 272 seconds]

02:45 Psybur has joined #racket

02:47 badkins has quit [Remote host closed the connection]

02:47 badkins has joined #racket

02:52 badkins has quit [Remote host closed the connection]

02:53 badkins has joined #racket

02:58 badkins has quit [Remote host closed the connection]

02:59 badkins has joined #racket

03:04 badkins has quit [Remote host closed the connection]

03:04 badkins has joined #racket

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

03:10 badkins has joined #racket

03:15 badkins has quit [Remote host closed the connection]

03:16 badkins has joined #racket

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

03:21 notzmv has joined #racket

03:21 badkins has joined #racket

03:24 mwnaylor has quit [Remote host closed the connection]

03:26 badkins has quit [Remote host closed the connection]

03:27 badkins has joined #racket

03:29 mwnaylor has joined #racket

03:32 badkins has quit [Remote host closed the connection]

03:33 badkins has joined #racket

03:35 codaraxis has quit [Quit: Leaving]

03:35 mwnaylor has quit [Ping timeout: 260 seconds]

03:38 badkins has quit [Remote host closed the connection]

03:38 badkins has joined #racket

03:43 badkins has quit [Remote host closed the connection]

03:44 badkins has joined #racket

03:49 badkins has quit [Remote host closed the connection]

03:49 badkins has joined #racket

03:55 badkins has quit [Remote host closed the connection]

03:55 badkins has joined #racket

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

04:01 badkins has joined #racket

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

04:06 badkins has joined #racket

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

04:12 badkins has joined #racket

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

04:18 badkins has joined #racket

04:23 badkins has quit [Remote host closed the connection]

04:23 badkins has joined #racket

04:28 badkins has quit [Remote host closed the connection]

04:29 badkins has joined #racket

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

04:34 badkins has joined #racket

04:39 badkins has quit [Remote host closed the connection]

04:40 badkins has joined #racket

04:45 badkins has quit [Remote host closed the connection]

04:46 badkins has joined #racket

04:50 badkins has quit [Remote host closed the connection]

04:51 badkins has joined #racket

04:56 badkins has quit [Remote host closed the connection]

04:56 badkins has joined #racket

04:59 shawnw has joined #racket

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

05:02 badkins has joined #racket

05:07 badkins has quit [Remote host closed the connection]

05:07 badkins has joined #racket

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

05:13 badkins has joined #racket

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

05:23 badkins has joined #racket

05:28 badkins has quit [Remote host closed the connection]

05:28 badkins has joined #racket

05:33 badkins has quit [Remote host closed the connection]

05:34 badkins has joined #racket

05:39 badkins has quit [Remote host closed the connection]

05:39 badkins has joined #racket

05:44 badkins has quit [Remote host closed the connection]

05:45 badkins has joined #racket

05:50 badkins has quit [Remote host closed the connection]

05:50 badkins has joined #racket

05:55 badkins has quit [Remote host closed the connection]

05:56 badkins has joined #racket

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

06:01 badkins has joined #racket

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

06:07 badkins has joined #racket

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

06:12 badkins has joined #racket

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

06:19 badkins has joined #racket

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

06:25 badkins has joined #racket

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

06:30 badkins has joined #racket

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

06:36 badkins has joined #racket

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

06:42 badkins has joined #racket

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

06:47 badkins has joined #racket

06:51 mjt128 has quit [Remote host closed the connection]

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

06:53 badkins has joined #racket

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

06:58 badkins has joined #racket

07:03 badkins has quit [Remote host closed the connection]

07:04 badkins has joined #racket

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

07:10 badkins has joined #racket

07:15 badkins has quit [Remote host closed the connection]

07:15 badkins has joined #racket

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

07:22 badkins has joined #racket

07:27 badkins has quit [Remote host closed the connection]

07:27 badkins has joined #racket

07:33 badkins has quit [Remote host closed the connection]

07:34 badkins has joined #racket

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

07:39 badkins has joined #racket

07:44 badkins has quit [Remote host closed the connection]

07:44 badkins has joined #racket

07:49 badkins has quit [Remote host closed the connection]

07:50 badkins has joined #racket

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

07:54 badkins has quit [Remote host closed the connection]

07:55 badkins has joined #racket

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

08:00 badkins has joined #racket

08:05 badkins has quit [Remote host closed the connection]

08:25 Tuplanolla has joined #racket

08:44 badkins has joined #racket

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

08:45 badkins has joined #racket

08:48 xgqtd has joined #racket

08:50 badkins has quit [Remote host closed the connection]

08:50 badkins has joined #racket

08:53 xgqt has quit [*.net *.split]

08:53 troglodito has quit [*.net *.split]

08:55 badkins has quit [Remote host closed the connection]

08:56 badkins has joined #racket

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

09:01 badkins has joined #racket

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

09:07 badkins has joined #racket

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

09:12 badkins has joined #racket

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

09:18 badkins has joined #racket

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

09:24 badkins has joined #racket

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

09:29 badkins has joined #racket

09:31 skapata has quit [Remote host closed the connection]

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

09:35 badkins has joined #racket

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

09:40 badkins has joined #racket

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

09:52 badkins has joined #racket

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

09:58 badkins has joined #racket

10:00 notzmv has joined #racket

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

10:03 badkins has joined #racket

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

10:08 badkins has joined #racket

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

10:14 badkins has joined #racket

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

10:19 badkins has joined #racket

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

10:25 badkins has joined #racket

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

10:30 badkins has joined #racket

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

10:36 badkins has joined #racket

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

10:41 badkins has joined #racket

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

10:48 badkins has joined #racket

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

10:54 badkins has joined #racket

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

10:59 badkins has joined #racket

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

11:04 badkins has joined #racket

11:08 xgqtd is now known as xgqt

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

11:10 badkins has joined #racket

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

11:15 badkins has joined #racket

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

11:20 badkins has joined #racket

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

11:26 badkins has joined #racket

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

11:31 badkins has joined #racket

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

11:37 badkins has joined #racket

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

11:42 badkins has joined #racket

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

11:53 badkins has joined #racket

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

11:59 badkins has joined #racket

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

12:04 badkins has joined #racket

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

12:10 badkins has joined #racket

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

12:16 badkins has joined #racket

12:19 raghavgururajan has joined #racket

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

12:21 badkins has joined #racket

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

12:26 badkins has joined #racket

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

12:33 badkins has joined #racket

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

12:38 badkins has joined #racket

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

12:43 badkins has joined #racket

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

12:49 badkins has joined #racket

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

12:55 badkins has joined #racket

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

13:00 badkins has joined #racket

13:05 badkins has quit [Remote host closed the connection]

13:06 badkins has joined #racket

13:08 notzmv has quit [Ping timeout: 246 seconds]

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

13:11 badkins has joined #racket

13:13 shawnw has quit [Ping timeout: 250 seconds]

13:16 badkins has quit [Remote host closed the connection]

13:17 badkins has joined #racket

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

13:23 badkins has joined #racket

13:28 badkins has quit [Remote host closed the connection]

13:28 badkins has joined #racket

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

13:34 badkins has joined #racket

13:39 badkins has quit [Remote host closed the connection]

13:40 badkins has joined #racket

13:45 badkins has quit [Remote host closed the connection]

13:45 badkins has joined #racket

13:53 badkins has quit [Remote host closed the connection]

13:53 badkins has joined #racket

14:08 badkins has quit [Quit: Leaving...]

15:40 bremner has quit [Remote host closed the connection]

15:40 bremner has joined #racket

15:42 parnikkapore has joined #racket

15:45 parnikkapore is now known as Parn_

15:46 Parn_ is now known as Parnikkapore

15:52 pnkp has joined #racket

15:54 Parnikkapore has quit [Read error: Connection reset by peer]

15:55 pnkp has quit [Client Quit]

16:25 Origin has joined #racket

17:17 lucasta has joined #racket

17:18 lucasta has quit [Remote host closed the connection]

17:19 lucasta has joined #racket

17:31 lucasta has quit [Remote host closed the connection]

18:21 mono_ has joined #racket

18:34 mono_ has quit [Ping timeout: 272 seconds]

19:00 mono_ has joined #racket

19:22 mono_ has quit [Remote host closed the connection]

19:22 mono_ has joined #racket

19:46 dhil has joined #racket

20:03 mono_ has quit [Remote host closed the connection]

20:41 dhil has quit [Ping timeout: 245 seconds]

20:43 skapata has joined #racket

21:34 ur5us has joined #racket

22:35 morte_ has joined #racket

23:28 HerlockSholmes has quit [Quit: BRB!]

23:29 HerlockSholmes has joined #racket

23:36 lucasta has joined #racket