#racket on 2018-12-14 — irc logs at freenode.irclog.whitequark.org

2018-11-14 19:02 lexi-lambda changed the topic of #racket to: Racket v7.1 has been released: http://blog.racket-lang.org/2018/10/racket-v7-1.html -- Racket -- https://racket-lang.org -- https://pkgs.racket-lang.org -- Paste at http://pasterack.org

00:15 Diagon has quit [Quit: Leaving]

00:17 notzmv has quit [Ping timeout: 250 seconds]

00:20 notzmv has joined #racket

00:21 YuGiOhJCJ has quit [Remote host closed the connection]

00:21 YuGiOhJCJ has joined #racket

00:25 Diagon has joined #racket

00:44 mzan has left #racket [#racket]

00:47 keep_learning has joined #racket

00:51 keep_learning has quit [Client Quit]

00:57 ziyourenxiang has joined #racket

01:29 keep_learning has joined #racket

01:32 keep_learning has quit [Client Quit]

02:07 ng0_ has joined #racket

02:10 ng0 has quit [Ping timeout: 256 seconds]

02:18 _whitelogger has joined #racket

02:52 pie___ has joined #racket

02:54 notzmv has quit [Ping timeout: 250 seconds]

02:55 Diagon has quit [Quit: Leaving]

02:55 pie__ has quit [Ping timeout: 260 seconds]

02:57 notzmv has joined #racket

03:01 Codaraxis has quit [Quit: Leaving]

03:03 keep_learning has joined #racket

03:06 keep_learning has quit [Client Quit]

03:08 chckyn has joined #racket

03:13 Blkt has quit [Ping timeout: 252 seconds]

03:15 chckyn has quit [Quit: ERC (IRC client for Emacs 26.1)]

03:15 chckyn has joined #racket

03:19 chckyn has left #racket [#racket]

03:21 Blkt has joined #racket

03:34 keep_learning has joined #racket

03:38 keep_learning has quit [Client Quit]

03:50 jao has quit [Disconnected by services]

03:50 jao has joined #racket

03:59 dddddd has quit [Remote host closed the connection]

04:04 lose has joined #racket

04:09 jao has quit [Disconnected by services]

04:09 jao has joined #racket

04:14 jao has quit [Ping timeout: 268 seconds]

04:19 lose has quit [Remote host closed the connection]

04:25 rnmhdn has joined #racket

04:33 FreeFull has quit [Read error: Connection reset by peer]

05:00 sauvin has joined #racket

05:04 pierpal has quit [Quit: Poof]

05:04 pierpal has joined #racket

05:32 notzmv has quit [Ping timeout: 246 seconds]

05:35 libertyprime has quit [Ping timeout: 250 seconds]

05:35 notzmv has joined #racket

05:40 endformationage has quit [Ping timeout: 268 seconds]

05:40 keep_learning has joined #racket

05:44 keep_learning has quit [Client Quit]

05:45 pera has joined #racket

05:49 pera has quit [Ping timeout: 240 seconds]

06:03 g00s has quit [Ping timeout: 250 seconds]

06:03 YuGiOhJCJ has quit [Quit: YuGiOhJCJ]

06:13 Codaraxis has joined #racket

06:14 keep_learning has joined #racket

06:17 keep_learning has quit [Client Quit]

06:27 notzmv has quit [Ping timeout: 268 seconds]

06:32 mzan has joined #racket

06:43 notzmv has joined #racket

07:06 notzmv has quit [Ping timeout: 250 seconds]

07:10 notzmv has joined #racket

08:00 keep_learning has joined #racket

08:04 keep_learning has quit [Client Quit]

08:08 keep_learning has joined #racket

08:10 notzmv has quit [Ping timeout: 272 seconds]

08:11 keep_learning has quit [Client Quit]

08:12 notzmv has joined #racket

08:16 orivej has joined #racket

08:18 buyfn has joined #racket

08:22 orivej has quit [Ping timeout: 250 seconds]

08:24 buyfn has quit [Ping timeout: 250 seconds]

08:51 kawzeg has joined #racket

08:51 kawzeg has quit [Client Quit]

09:15 lavaflow has quit [Ping timeout: 250 seconds]

09:43 lavaflow has joined #racket

09:51 Falacer has joined #racket

09:52 lavaflow has quit [Ping timeout: 250 seconds]

10:05 orivej has joined #racket

10:09 meepdeew has quit [Remote host closed the connection]

10:14 Sgeo_ has quit [Read error: Connection reset by peer]

10:15 Sgeo_ has joined #racket

10:23 lavaflow has joined #racket

10:28 lavaflow has quit [Ping timeout: 246 seconds]

10:45 libertyprime has joined #racket

10:47 notzmv has quit [Ping timeout: 250 seconds]

10:48 iyzsong has joined #racket

10:48 rnmhdn has quit [Read error: Connection reset by peer]

10:49 notzmv has joined #racket

10:51 rnmhdn has joined #racket

10:58 lavaflow has joined #racket

11:03 lavaflow has quit [Ping timeout: 246 seconds]

11:07 keep_learning has joined #racket

11:10 keep_learning has quit [Client Quit]

11:17 pierpal has quit [Quit: Poof]

11:17 pierpal has joined #racket

11:33 lavaflow has joined #racket

11:38 lavaflow has quit [Ping timeout: 250 seconds]

11:40 lavaflow has joined #racket

11:44 mzan has left #racket [#racket]

11:45 lavaflow has quit [Ping timeout: 250 seconds]

11:50 lavaflow has joined #racket

11:55 lavaflow has quit [Ping timeout: 250 seconds]

12:01 lavaflow has joined #racket

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

12:05 lavaflow has quit [Ping timeout: 246 seconds]

12:08 orivej has joined #racket

12:16 pierpal has quit [Quit: Poof]

12:16 pierpal has joined #racket

12:24 mzan has joined #racket

12:33 lavaflow has joined #racket

12:38 lavaflow has quit [Ping timeout: 245 seconds]

13:01 libertyprime has quit [Ping timeout: 250 seconds]

13:02 lavaflow has joined #racket

13:06 lockywolf has joined #racket

13:06 lavaflow has quit [Ping timeout: 250 seconds]

13:11 pie__ has joined #racket

13:13 pie___ has quit [Remote host closed the connection]

13:17 lavaflow has joined #racket

13:22 lavaflow has quit [Ping timeout: 246 seconds]

13:24 notzmv has quit [Ping timeout: 240 seconds]

13:27 notzmv has joined #racket

13:36 lavaflow has joined #racket

13:39 Lowl3v3l has joined #racket

13:40 lavaflow has quit [Ping timeout: 250 seconds]

13:58 Falacer has quit [Quit: leaving]

14:05 lockywolf has quit [Ping timeout: 250 seconds]

14:12 lavaflow has joined #racket

14:20 lavaflow has quit [Ping timeout: 246 seconds]

14:20 Falacer has joined #racket

14:25 acarrico has quit [Ping timeout: 250 seconds]

14:38 lavaflow has joined #racket

14:39 acarrico has joined #racket

14:41 dddddd has joined #racket

14:43 lavaflow has quit [Ping timeout: 250 seconds]

14:48 sleepnap has joined #racket

14:49 iyzsong has quit [Ping timeout: 252 seconds]

14:51 notzmv has quit [Quit: WeeChat 2.3]

15:00 lavaflow has joined #racket

15:01 pie__ has quit [Remote host closed the connection]

15:03 quipa has joined #racket

15:04 lavaflow has quit [Ping timeout: 268 seconds]

15:19 pie__ has joined #racket

15:20 pie__ has quit [Remote host closed the connection]

15:20 pie__ has joined #racket

15:22 endformationage has joined #racket

15:22 davidl has joined #racket

15:24 pie___ has joined #racket

15:24 pie__ has quit [Remote host closed the connection]

15:25 pie___ has quit [Remote host closed the connection]

15:25 pie___ has joined #racket

15:28 pie___ has quit [Remote host closed the connection]

15:29 pie___ has joined #racket

15:30 pie___ has quit [Remote host closed the connection]

16:11 ziyourenxiang has quit [Ping timeout: 250 seconds]

16:11 lavaflow has joined #racket

16:16 lavaflow has quit [Ping timeout: 250 seconds]

16:23 rnmhdn has quit [Read error: Connection reset by peer]

16:27 Falacer has quit [Quit: leaving]

16:28 rnmhdn has joined #racket

16:32 lavaflow has joined #racket

16:36 lavaflow has quit [Ping timeout: 250 seconds]

16:42 pera has joined #racket

17:07 lavaflow has joined #racket

17:08 jao has joined #racket

17:17 _apg has joined #racket

17:52 ajk_ has joined #racket

17:56 <ajk_> Hello, I was wondering what's the best way to provide both a typed and untyped version of a library allowing a user to 'require' whichever version they want?

18:01 pierpal has quit [Quit: Poof]

18:02 pierpal has joined #racket

18:04 quipa has quit [Remote host closed the connection]

18:08 <lexi-lambda> ajk_: If you write a library in Typed Racket, then untyped Racket code can require and use the library without having to do anything special.

18:16 <ajk_> lexi-lambda: Aah thanks!

18:21 pera has quit [Quit: leaving]

18:45 ajk_ has quit [Quit: leaving]

19:10 meepdeew has joined #racket

19:20 libertyprime has joined #racket

19:34 libertyprime has quit [Ping timeout: 250 seconds]

19:36 libertyprime has joined #racket

19:38 FreeFull has joined #racket

19:38 rnmhdn has quit [Ping timeout: 272 seconds]

19:49 lose has joined #racket

19:50 lose has quit [Client Quit]

19:51 libertyprime has quit [Ping timeout: 250 seconds]

19:52 lose has joined #racket

20:13 lose has quit [Remote host closed the connection]

21:00 ng0_ is now known as ng0

21:07 mzan has left #racket [#racket]

21:09 libertyprime has joined #racket

21:14 libertyprime has quit [Ping timeout: 268 seconds]

21:32 ubLIX has joined #racket

21:37 wingsorc has joined #racket

21:59 newbie1 has joined #racket

21:59 <newbie1> hi all, Given that use-foldr consumes a (listof Nat): (define (use-foldr L) (foldr myfun "some-str" L)) What is the contract for myfun ? What is the contract for use-foldr ? can someone guide me?

22:03 pera has joined #racket

22:09 newbie1 has quit [Ping timeout: 256 seconds]

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

22:20 notzmv has joined #racket

22:20 orivej has joined #racket

22:31 groovy2shoes has quit [Quit: moritura te salutat]

22:38 Sgeo_ has quit [Read error: Connection reset by peer]

22:40 zmt00 has quit [Ping timeout: 252 seconds]

22:41 zmt00 has joined #racket

22:56 sleepnap has left #racket [#racket]

23:06 wingsorc has quit [Quit: Leaving]

23:06 lose has joined #racket

23:09 ziyourenxiang has joined #racket

23:11 lose has quit [Remote host closed the connection]

23:17 lose has joined #racket

23:19 lose has quit [Client Quit]

23:20 lose has joined #racket

23:28 endformationage has quit [Quit: WeeChat 2.3]

23:51 lose has quit [Ping timeout: 272 seconds]

23:55 evhan has quit [Ping timeout: 244 seconds]

23:57 Sgeo has joined #racket

23:59 g00s has joined #racket