#racket on 2022-11-08 — 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:15 vancz has joined #racket

00:15 <vancz> Hi, is it possible to pattern match on something being a list without destructuring it?

00:16 tgi has joined #racket

00:18 thegeekinside has quit [Ping timeout: 252 seconds]

00:20 thegeekinside has joined #racket

00:20 <vancz> I've done (and l (list-rest h t)) but that's ugly

00:22 badkins has joined #racket

00:23 tgi has quit [Ping timeout: 252 seconds]

00:23 tgi has joined #racket

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

00:27 thegeekinside has joined #racket

00:29 ec_ has quit [Ping timeout: 255 seconds]

00:30 tgi has quit [Ping timeout: 260 seconds]

00:30 ec_ has joined #racket

00:51 <vancz> ok (list l ...) has been found

00:56 codingquark has quit [Ping timeout: 246 seconds]

01:26 jeosol has quit [Ping timeout: 260 seconds]

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

01:51 badkins has joined #racket

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

02:11 libertyprime has quit [Ping timeout: 260 seconds]

02:24 codingquark has joined #racket

02:25 tgi has joined #racket

02:25 thegeekinside has quit [Ping timeout: 260 seconds]

02:28 libertyprime has joined #racket

02:51 codingquark has quit [Read error: Connection reset by peer]

02:52 codingquark has joined #racket

03:23 monaaraj has joined #racket

03:54 sagax has joined #racket

03:57 ur5us has quit [Ping timeout: 260 seconds]

04:14 badkins has joined #racket

04:19 badkins has quit [Ping timeout: 252 seconds]

04:32 jao has left #racket [#racket]

04:33 libertyprime has quit [Ping timeout: 260 seconds]

04:40 jeosol has joined #racket

04:44 monkey_ has quit [Remote host closed the connection]

05:03 krjst has quit [Read error: Software caused connection abort]

05:03 krjst has joined #racket

05:13 badkins has joined #racket

05:17 badkins has quit [Ping timeout: 260 seconds]

05:57 skapata has quit [Remote host closed the connection]

05:58 sagax has quit [Read error: Connection reset by peer]

05:58 sagax has joined #racket

07:40 ur5us has joined #racket

07:41 libertyprime has joined #racket

08:02 sagax has quit [Ping timeout: 260 seconds]

08:11 libertyprime has quit [Ping timeout: 260 seconds]

08:20 sagax has joined #racket

08:46 libertyprime has joined #racket

08:51 ttree has quit [Ping timeout: 260 seconds]

09:00 badkins has joined #racket

09:04 badkins has quit [Ping timeout: 248 seconds]

09:09 aidalgol_ has joined #racket

09:09 aidalgol has quit [Ping timeout: 252 seconds]

09:13 libertyprime has quit [Ping timeout: 260 seconds]

09:18 sudden has quit [Ping timeout: 248 seconds]

09:19 sudden has joined #racket

09:22 libertyprime has joined #racket

09:25 aidalgol_ is now known as aidalgol

09:52 ur5us has quit [Ping timeout: 260 seconds]

10:18 libertyprime has quit [Ping timeout: 246 seconds]

10:20 <jboy> you can also just use `list?`

10:21 <jboy> (match (list 1 2 3) [list? 'foo] [_ 'bar]) ; => 'foo

10:47 tgi has quit [Ping timeout: 248 seconds]

10:59 libertyprime has joined #racket

11:10 badkins has joined #racket

11:13 libertyprime has quit [Ping timeout: 252 seconds]

11:15 badkins has quit [Ping timeout: 252 seconds]

11:34 jao has joined #racket

11:55 ASau has quit [Quit: ERC (IRC client for Emacs 25.3.1)]

13:33 morte_ has joined #racket

13:37 badkins has joined #racket

13:42 badkins has quit [Ping timeout: 248 seconds]

13:59 badkins has joined #racket

14:17 thegeekinside has joined #racket

14:34 ASau has joined #racket

14:52 cwebber has quit [Read error: Connection reset by peer]

14:58 jeosol has quit [Quit: Client closed]

15:23 skapata has joined #racket

15:32 morte_ has quit [Read error: Connection reset by peer]

15:33 monkey_ has joined #racket

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

16:49 monaaraj has quit [Ping timeout: 252 seconds]

16:51 monaaraj has joined #racket

17:05 badkins has joined #racket

17:23 TCZ has joined #racket

17:24 monkey_ has quit [Ping timeout: 260 seconds]

17:26 monkey_ has joined #racket

17:29 TCZ has quit [Remote host closed the connection]

17:29 monaaraj has quit [Ping timeout: 260 seconds]

17:29 TCZ has joined #racket

17:32 libertyprime has joined #racket

17:32 monkey_ has quit [Ping timeout: 248 seconds]

17:53 TCZ has quit [Remote host closed the connection]

17:53 TCZ has joined #racket

17:54 TCZ has quit [Remote host closed the connection]

17:54 TCZ has joined #racket

17:59 libertyprime has quit [Ping timeout: 260 seconds]

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

18:04 badkins has joined #racket

18:08 badkins has quit [Ping timeout: 252 seconds]

18:10 badkins has joined #racket

18:15 badkins has quit [Ping timeout: 248 seconds]

18:15 morte_ has joined #racket

18:30 TCZ has quit [Quit: Leaving]

18:36 ttree has joined #racket

18:45 badkins has joined #racket

18:54 jeosol has joined #racket

18:59 morte_ has quit [Read error: Connection reset by peer]

19:00 morte_ has joined #racket

19:08 morte_ has quit [Ping timeout: 248 seconds]

19:13 libertyprime has joined #racket

19:43 jeosol has quit [Ping timeout: 260 seconds]

19:55 skapata has quit [Remote host closed the connection]

20:07 monkey_ has joined #racket

20:16 libertyprime has quit [Ping timeout: 246 seconds]

20:22 ur5us has joined #racket

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

20:32 badkins has joined #racket

20:33 libertyprime has joined #racket

20:37 badkins has quit [Ping timeout: 248 seconds]

20:40 badkins has joined #racket

20:40 ttree has quit [Ping timeout: 260 seconds]

20:44 badkins has quit [Ping timeout: 260 seconds]

20:46 jackhill has quit [Ping timeout: 255 seconds]

20:51 ec_ has quit [Ping timeout: 255 seconds]

20:54 ec_ has joined #racket

21:08 cwebber has joined #racket

21:34 monkey_ has quit [Read error: Connection reset by peer]

22:01 thegeekinside has quit [Remote host closed the connection]

22:01 jackhill has joined #racket

22:14 thegeekinside has joined #racket

22:50 badkins has joined #racket

22:58 badkins has quit [Ping timeout: 252 seconds]

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

23:05 xgqt has joined #racket

23:25 monkey_ has joined #racket

23:52 badkins has joined #racket