#racket on 2020-06-22 — irc logs at freenode.irclog.whitequark.org

2020-05-03 17:48 samth changed the topic of #racket to: Racket v7.7 has been released: https://blog.racket-lang.org/2020/05/racket-v7-7.html -- Racket -- https://racket-lang.org -- https://pkgs.racket-lang.org -- Paste at http://pasterack.org

00:01 nullman has quit [Ping timeout: 240 seconds]

00:01 nullman has joined #racket

00:05 aidalgol has quit [Ping timeout: 246 seconds]

00:08 orivej has quit [Ping timeout: 264 seconds]

00:32 _whitelogger has joined #racket

00:33 tilpner_ has joined #racket

00:35 tilpner has quit [Ping timeout: 240 seconds]

00:35 tilpner_ is now known as tilpner

00:36 aidalgol has joined #racket

00:48 efm has quit [Quit: Konversation terminated!]

01:41 lockywolf has joined #racket

02:28 nikita_ has joined #racket

02:31 nikita` has quit [Ping timeout: 260 seconds]

02:55 lockywolf_ has joined #racket

02:58 lockywolf has quit [Ping timeout: 258 seconds]

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

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

03:30 casaca has joined #racket

04:02 _whitelogger has joined #racket

04:10 nullman has quit [Ping timeout: 258 seconds]

04:10 nullman has joined #racket

04:26 _whitelogger has joined #racket

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

04:54 orivej has joined #racket

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

05:03 orivej has joined #racket

05:09 lockywolf__ has joined #racket

05:10 lockywolf__ has quit [Max SendQ exceeded]

05:10 lockywolf__ has joined #racket

05:11 lockywolf_ has quit [Ping timeout: 240 seconds]

05:11 lockywolf__ has quit [Max SendQ exceeded]

05:12 lockywolf__ has joined #racket

05:13 lockywolf__ has quit [Max SendQ exceeded]

05:13 lockywolf__ has joined #racket

05:14 lockywolf__ has quit [Max SendQ exceeded]

05:15 lockywolf__ has joined #racket

05:17 lockywolf_ has joined #racket

05:18 lockywolf_ has quit [Max SendQ exceeded]

05:19 lockywolf_ has joined #racket

05:19 lockywolf_ has quit [Remote host closed the connection]

05:19 lockywolf__ has quit [Ping timeout: 246 seconds]

05:20 lockywolf_ has joined #racket

05:21 lockywolf_ has quit [Max SendQ exceeded]

05:21 lockywolf_ has joined #racket

05:22 lockywolf_ has quit [Max SendQ exceeded]

05:23 lockywolf_ has joined #racket

05:23 narimiran has joined #racket

05:24 lockywolf_ has quit [Max SendQ exceeded]

05:24 lockywolf_ has joined #racket

05:25 orivej has quit [Ping timeout: 246 seconds]

05:25 orivej has joined #racket

05:25 lockywolf_ has quit [Max SendQ exceeded]

05:26 lockywolf_ has joined #racket

05:26 c7d9 has joined #racket

05:27 lockywolf_ has quit [Remote host closed the connection]

05:27 lockywolf_ has joined #racket

05:28 lockywolf_ has quit [Max SendQ exceeded]

05:29 lockywolf_ has joined #racket

05:30 lockywolf_ has quit [Max SendQ exceeded]

05:44 rgherdt has joined #racket

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

05:48 orivej has joined #racket

05:55 Lowl3v3l has quit [Quit: Leaving.]

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

06:16 orivej has joined #racket

06:31 orivej has quit [Quit: No Ping reply in 180 seconds.]

06:32 orivej has joined #racket

06:43 orivej has quit [Ping timeout: 258 seconds]

06:45 YuGiOhJCJ has joined #racket

06:46 nikita_ is now known as nikita`

06:47 Codaraxis__ has joined #racket

06:50 Codaraxis_ has quit [Ping timeout: 240 seconds]

07:02 _whitelogger has joined #racket

07:33 aidalgol has joined #racket

07:50 _apg has joined #racket

07:58 Codaraxis_ has joined #racket

08:02 Codaraxis__ has quit [Ping timeout: 246 seconds]

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

08:27 ArthurStrong has joined #racket

08:48 orivej has joined #racket

08:52 dddddd has quit [Ping timeout: 260 seconds]

08:59 orivej_ has joined #racket

09:01 orivej has quit [Ping timeout: 256 seconds]

09:17 sagax has joined #racket

10:16 orivej_ has quit [Read error: Connection reset by peer]

10:17 orivej has joined #racket

10:27 orivej has quit [Ping timeout: 240 seconds]

10:34 TCZ has joined #racket

11:32 orivej has joined #racket

11:41 <erkin> Is it possible to import only `define' and `lambda' from racket/base?

11:50 c7d9 has quit [Remote host closed the connection]

11:58 orivej_ has joined #racket

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

12:07 orivej has joined #racket

12:08 orivej_ has quit [Ping timeout: 240 seconds]

12:17 orivej has quit [Quit: No Ping reply in 180 seconds.]

12:19 orivej has joined #racket

12:30 ephemera_ has quit [Quit: No Ping reply in 180 seconds.]

12:31 ephemera_ has joined #racket

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

12:39 TCZ has quit [Quit: Leaving]

12:45 orivej has quit [Ping timeout: 264 seconds]

12:45 orivej has joined #racket

12:53 orivej has quit [Quit: No Ping reply in 180 seconds.]

12:54 orivej has joined #racket

12:56 TCZ has joined #racket

13:07 orivej has quit [Quit: No Ping reply in 180 seconds.]

13:09 orivej has joined #racket

13:17 orivej_ has joined #racket

13:17 orivej has quit [Ping timeout: 264 seconds]

13:28 orivej_ has quit [Quit: No Ping reply in 180 seconds.]

13:29 <samth> erkin: (require (only-in racket/base define lambda))

13:30 orivej has joined #racket

13:41 rgherdt has quit [Quit: Leaving]

13:44 <erkin> samth: What would I put in the #lang line though?

13:45 <samth> oh, you want a language that's just that

13:45 <erkin> Yeah, to see how much of a language I can implement with lambda calculus alone.

13:45 <samth> you have to define a module that just provides those two things

13:45 <samth> although you need to provide #%app as well

13:46 <erkin> Hmm

13:46 <erkin> Is it possible to rid the reader of numbers as well?

13:46 TCZ has quit [Quit: Leaving]

13:48 TCZ has joined #racket

13:51 TCZ has quit [Client Quit]

13:52 dataangel has quit [Ping timeout: 240 seconds]

13:54 orivej has quit [Ping timeout: 256 seconds]

13:54 orivej has joined #racket

13:55 rgherdt has joined #racket

14:00 <samth> erkin: if you just provide those bindings, numbers won't be allowed

14:00 <samth> rudybot: init racket/base

14:00 <rudybot> samth: your racket/base sandbox is ready

14:01 <samth> rudybot: (module lam racket/base (provide define lambda #%app))

14:01 <rudybot> samth: Done.

14:01 <samth> rudybot: (module lam racket/base (provide #%module-begin define lambda #%app))

14:01 <rudybot> samth: Done.

14:01 <samth> rudybot: (module x 'lam (lambda (x) x))

14:01 <rudybot> samth: Done.

14:02 <samth> rudybot: (module x 'lam (lambda (x) 5))

14:02 <rudybot> samth: error: eval:1:27: ?: literal data is not allowed; <NEWLINE> no #%datum syntax transformer is bound <NEWLINE> in: 5

14:02 <samth> rudybot: (module x 'lam (lambda (x) (x x)))

14:02 <rudybot> samth: Done.

14:02 <samth> rudybot: (require 'x)

14:02 <rudybot> samth: ; stdout: "#<procedure>\n"

14:05 acarrico has joined #racket

14:14 orivej has quit [Quit: No Ping reply in 180 seconds.]

14:15 orivej has joined #racket

14:18 TCZ has joined #racket

14:20 ArthurStrong has quit [Ping timeout: 240 seconds]

14:22 ArthurStrong has joined #racket

14:25 dddddd has joined #racket

14:25 orivej has quit [Quit: No Ping reply in 180 seconds.]

14:26 orivej has joined #racket

14:35 orivej has quit [Quit: No Ping reply in 180 seconds.]

14:38 orivej has joined #racket

14:47 orivej_ has joined #racket

14:49 orivej has quit [Ping timeout: 240 seconds]

15:09 orivej_ has quit [Ping timeout: 260 seconds]

15:09 orivej has joined #racket

15:10 <erkin> Oh nice

15:11 <erkin> I take it I can do, say (define 0 (λ (f) (λ (x) x)))?

15:16 <erkin> Hmm

15:16 <erkin> I specified (module lam racket/base (provide define λ #%app #%module-begin)) but I'm still getting "no #%module-begin binding" error.

15:21 orivej has quit [Ping timeout: 256 seconds]

15:21 orivej has joined #racket

15:22 <erkin> Ah, I don't need to wrap it in (module ...) if it's #lang s-exp

15:26 <erkin> Excellent!

15:45 orivej has quit [Ping timeout: 246 seconds]

15:46 orivej has joined #racket

16:02 orivej has quit [Quit: No Ping reply in 180 seconds.]

16:03 orivej has joined #racket

16:10 badkins has joined #racket

16:14 orivej has quit [Quit: No Ping reply in 180 seconds.]

16:14 orivej has joined #racket

16:20 Lowl3v3l has joined #racket

16:21 Sgeo has joined #racket

16:37 YuGiOhJCJ has quit [Quit: YuGiOhJCJ]

16:37 orivej has quit [Read error: Connection reset by peer]

16:37 orivej_ has joined #racket

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

16:45 badkins has joined #racket

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

16:54 orivej_ has quit [Ping timeout: 265 seconds]

16:54 orivej has joined #racket

17:00 badkins has joined #racket

17:10 TCZ has quit [Quit: Leaving]

17:13 orivej has quit [Ping timeout: 260 seconds]

17:14 orivej_ has joined #racket

17:15 jellie has joined #racket

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

17:25 orivej has joined #racket

17:33 orivej has quit [Ping timeout: 265 seconds]

17:33 orivej has joined #racket

17:42 jellie has quit [Ping timeout: 246 seconds]

17:48 orivej_ has joined #racket

17:50 orivej has quit [Ping timeout: 256 seconds]

17:51 notzmv has quit [Read error: Connection reset by peer]

17:57 orivej_ has quit [Ping timeout: 256 seconds]

17:58 orivej has joined #racket

18:06 jellie has joined #racket

18:15 orivej has quit [Quit: No Ping reply in 180 seconds.]

18:16 orivej has joined #racket

18:23 sauvin has quit [Read error: Connection reset by peer]

18:25 jellie has quit [Ping timeout: 258 seconds]

18:26 orivej has quit [Quit: No Ping reply in 180 seconds.]

18:26 orivej has joined #racket

18:28 jellie has joined #racket

18:29 jellie has quit [Read error: Connection reset by peer]

18:30 jellie has joined #racket

18:47 orivej has quit [Ping timeout: 260 seconds]

18:47 orivej has joined #racket

18:58 akkad has joined #racket

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

19:00 narimiran has joined #racket

19:02 jellie has joined #racket

19:03 orivej has quit [Quit: No Ping reply in 180 seconds.]

19:05 orivej has joined #racket

19:05 aidalgol has quit [Remote host closed the connection]

19:07 akkad is now known as Ober

19:25 orivej has quit [Quit: No Ping reply in 180 seconds.]

19:26 orivej has joined #racket

19:34 zmt01 has joined #racket

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

19:36 badkins has joined #racket

19:38 zmt00 has quit [Ping timeout: 260 seconds]

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

19:43 badkins has joined #racket

19:46 orivej has quit [Ping timeout: 256 seconds]

19:46 orivej has joined #racket

20:14 TCZ has joined #racket

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

20:33 orivej has quit [Ping timeout: 265 seconds]

20:33 jellie has quit [Quit: WeeChat 2.8]

20:33 orivej has joined #racket

20:53 nikita` has quit [Quit: leaving]

21:00 orivej has quit [Quit: No Ping reply in 180 seconds.]

21:01 orivej has joined #racket

21:11 narimiran has quit [Ping timeout: 265 seconds]

21:14 aidalgol has joined #racket

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

21:23 orivej has quit [Quit: No Ping reply in 180 seconds.]

21:24 orivej has joined #racket

21:32 orivej has quit [Ping timeout: 260 seconds]

21:32 orivej has joined #racket

21:40 orivej has quit [Ping timeout: 246 seconds]

21:41 orivej has joined #racket

21:49 orivej has quit [Ping timeout: 260 seconds]

21:50 orivej has joined #racket

21:51 emacsen has joined #racket

21:51 vraid has joined #racket

21:52 notzmv has joined #racket

22:13 orivej has quit [Quit: No Ping reply in 180 seconds.]

22:14 orivej has joined #racket

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

22:17 badkins has joined #racket

22:22 badkins has quit [Ping timeout: 240 seconds]

22:23 badkins has joined #racket

22:44 orivej has quit [Quit: No Ping reply in 210 seconds.]

22:45 orivej has joined #racket

22:54 orivej has quit [Ping timeout: 260 seconds]

22:54 orivej_ has joined #racket

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

22:55 badkins has joined #racket

22:57 TCZ has quit [Quit: Leaving]

23:00 badkins has quit [Ping timeout: 256 seconds]

23:11 orivej_ has quit [Ping timeout: 258 seconds]

23:22 dataangel has joined #racket

23:29 rgherdt has quit [Ping timeout: 260 seconds]

23:33 TCZ has joined #racket

23:37 badkins has joined #racket

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

23:39 badkins has joined #racket

23:44 badkins has quit [Ping timeout: 246 seconds]

23:56 badkins has joined #racket