#racket on 2019-10-31 — irc logs at freenode.irclog.whitequark.org

2019-09-16 20:37 samth changed the topic of #racket to: Racket v7.4 has been released: https://blog.racket-lang.org/2019/08/racket-v7-4.html -- Racket -- https://racket-lang.org -- https://pkgs.racket-lang.org -- Paste at http://pasterack.org

00:10 pera has quit [Quit: leaving]

00:42 Codaraxis has quit [Read error: Connection reset by peer]

00:50 FreeFull has quit []

00:55 efm has quit [Read error: Connection reset by peer]

00:56 efm has joined #racket

01:22 DGASAU has quit [Ping timeout: 265 seconds]

01:26 DGASAU has joined #racket

01:33 keep-learning[m] has joined #racket

01:34 sword865 has joined #racket

01:53 efm has quit [Remote host closed the connection]

01:53 efm has joined #racket

02:15 efm has quit [Ping timeout: 268 seconds]

02:15 Codaraxis has joined #racket

02:18 orivej has joined #racket

02:22 efm has joined #racket

02:35 orivej has quit [Ping timeout: 268 seconds]

02:54 dented42 has joined #racket

03:05 xd1le has joined #racket

03:14 Nomenclatura has joined #racket

03:14 orivej has joined #racket

03:23 dented42 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

03:36 dented42 has joined #racket

03:38 endformationage has quit [Quit: WeeChat 2.6]

03:42 libertyprime has quit [Ping timeout: 264 seconds]

03:46 dented42 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

03:48 ma__ has joined #racket

04:04 sword865 has quit [Quit: Connection closed for inactivity]

04:08 libertyprime has joined #racket

04:21 Codaraxis_ has joined #racket

04:21 Codaraxis__ has joined #racket

04:25 Codaraxis has quit [Ping timeout: 265 seconds]

04:25 Codaraxis has joined #racket

04:25 Codaraxis_ has quit [Ping timeout: 240 seconds]

04:28 Codaraxis__ has quit [Ping timeout: 265 seconds]

04:38 _whitelogger has joined #racket

04:43 sword865 has joined #racket

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

05:02 libertyprime has joined #racket

05:07 Nomenclatura has quit [Quit: q]

05:10 Codaraxis_ has joined #racket

05:13 Codaraxis has quit [Ping timeout: 240 seconds]

05:22 Codaraxis__ has joined #racket

05:22 sauvin has joined #racket

05:25 Codaraxis_ has quit [Ping timeout: 240 seconds]

05:38 Codaraxis_ has joined #racket

05:41 Codaraxis__ has quit [Ping timeout: 240 seconds]

05:47 _whitelogger has joined #racket

05:49 libertyprime has quit [Ping timeout: 265 seconds]

05:51 libertyprime has joined #racket

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

06:17 dented42 has joined #racket

06:25 dddddd has quit [Read error: Connection reset by peer]

06:28 dented42 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

06:55 mzan has joined #racket

06:59 even4void has joined #racket

07:00 even4void has quit [Client Quit]

07:06 libertyprime has quit [Ping timeout: 240 seconds]

07:08 libertyprime has joined #racket

07:12 Codaraxis__ has joined #racket

07:16 Codaraxis_ has quit [Ping timeout: 265 seconds]

07:17 orivej has joined #racket

07:17 libertyprime has quit [Ping timeout: 268 seconds]

07:18 libertyprime has joined #racket

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

07:55 badkins_ has quit [Ping timeout: 265 seconds]

07:59 badkins has joined #racket

08:00 orivej has joined #racket

08:08 Fernando-Basso has joined #racket

08:23 orivej has quit [Ping timeout: 240 seconds]

08:30 orivej has joined #racket

08:37 orivej has quit [Ping timeout: 265 seconds]

08:39 orivej has joined #racket

08:47 _whitelogger has joined #racket

08:49 Codaraxis_ has joined #racket

08:52 orivej has quit [Ping timeout: 276 seconds]

08:52 ng0 has joined #racket

08:53 Codaraxis__ has quit [Ping timeout: 265 seconds]

09:01 ma__ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

09:02 libertyprime has quit [Ping timeout: 240 seconds]

09:19 libertyprime has joined #racket

09:21 ma__ has joined #racket

09:22 Ven`` has joined #racket

09:27 Codaraxis__ has joined #racket

09:31 Codaraxis_ has quit [Ping timeout: 268 seconds]

09:33 manualcrank has joined #racket

09:33 ma__ has quit [Quit: Textual IRC Client: www.textualapp.com]

09:35 jokul has quit [Ping timeout: 240 seconds]

09:35 Ven`` has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

09:36 jokul has joined #racket

09:39 Fernando-Basso has quit [Quit: Leaving]

09:42 Ven`` has joined #racket

09:43 mzan has quit [Ping timeout: 240 seconds]

09:51 <xd1le> in typed racket, can I basically use :print-type in the repl to typecheck an expression without running it even if it typechecks?

09:51 <xd1le> or is that not how it works in typed racket?

09:52 <xd1le> basically looking for a way to typecheck a program without running it, if possible

10:03 Ven`` has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

10:10 mceier has quit [Ping timeout: 268 seconds]

10:15 mceier has joined #racket

10:20 Codaraxis_ has joined #racket

10:24 Codaraxis__ has quit [Ping timeout: 265 seconds]

10:28 Ven`` has joined #racket

10:33 Codaraxis__ has joined #racket

10:37 Codaraxis_ has quit [Ping timeout: 240 seconds]

10:38 Ven`` has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

10:42 iyzsong has joined #racket

10:43 Ven`` has joined #racket

10:46 Ven`` has quit [Read error: Connection reset by peer]

10:55 hjek has joined #racket

11:01 libertyprime has quit [Ping timeout: 240 seconds]

11:03 libertyprime has joined #racket

11:18 mceier has quit [Ping timeout: 240 seconds]

11:22 mceier has joined #racket

12:23 mzan has joined #racket

12:26 mzan has quit [Client Quit]

12:45 orivej has joined #racket

12:48 endformationage has joined #racket

12:58 sdu has joined #racket

13:02 hjek has quit [Ping timeout: 265 seconds]

13:11 hjek has joined #racket

13:13 iyzsong has quit [Quit: ZNC 1.7.1 - https://znc.in]

13:13 iyzsong has joined #racket

13:25 <samth> yes, you can do that at the REPL in typed/racket

13:25 mzan has joined #racket

13:27 sagax has joined #racket

13:34 <xd1le> samth: ty!

13:41 hjek has quit [Ping timeout: 265 seconds]

13:44 dddddd has joined #racket

13:53 iyzsong has quit [Quit: ZNC 1.7.1 - https://znc.in]

14:14 sword865 has quit [Quit: Connection closed for inactivity]

15:13 dented42 has joined #racket

15:18 orivej has quit [Ping timeout: 276 seconds]

15:30 dented42 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

15:50 xd1le has quit [Quit: leaving]

15:50 manualcrank has quit [Quit: WeeChat 1.9.1]

16:00 sdu has quit [Remote host closed the connection]

16:17 pera has joined #racket

16:24 Codaraxis_ has joined #racket

16:28 tazmanoo_ has joined #racket

16:28 Codaraxis__ has quit [Ping timeout: 265 seconds]

16:34 sagax has quit [Quit: Konversation terminated!]

16:53 sagax has joined #racket

17:33 orivej has joined #racket

17:35 mzan has quit [Quit: Leaving]

17:37 DGASAU has quit [Read error: Connection reset by peer]

17:38 DGASAU has joined #racket

17:55 manualcrank has joined #racket

17:57 orivej has quit [Ping timeout: 240 seconds]

18:11 orivej has joined #racket

19:01 tazmanoo_ has quit [Read error: Connection reset by peer]

19:02 Codaraxis_ has quit [Ping timeout: 268 seconds]

19:21 dustyweb has quit [Remote host closed the connection]

19:32 casaca has quit [Ping timeout: 268 seconds]

19:32 casaca has joined #racket

19:56 casaca has quit [Ping timeout: 265 seconds]

19:56 casaca has joined #racket

20:07 tazmanoo has joined #racket

20:22 casaca has quit [Ping timeout: 265 seconds]

20:23 casaca has joined #racket

20:27 FreeFull has joined #racket

20:47 Codaraxis has joined #racket

21:09 tazmanoo has quit [Ping timeout: 265 seconds]

21:47 dTal has quit [Ping timeout: 240 seconds]

21:53 m1dnight_ has quit [Ping timeout: 252 seconds]

21:55 m1dnight_ has joined #racket

22:09 Fernando-Basso has joined #racket

22:13 m1dnight_ has quit [Read error: Connection reset by peer]

22:14 m1dnight_ has joined #racket

22:33 dented42 has joined #racket

22:33 dented42 has quit [Client Quit]

22:34 dented42 has joined #racket

22:41 dented42 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

23:08 tazmanoo has joined #racket

23:10 ng0 has quit [Ping timeout: 260 seconds]

23:19 tazmanoo has quit [Read error: Connection reset by peer]

23:23 ng0 has joined #racket

23:57 tazmanoo has joined #racket