#racket on 2018-12-05 — 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:01 ziyourenxiang has joined #racket

00:41 ubLIX has quit [Quit: ubLIX]

00:59 hjek has quit [Quit: Leaving.]

01:11 <mrm> I love how every time there's a flamewar on emacs-devel, RMS is always smack in the middle of it.

01:12 <bremner> that's slightly more on topic in #emacs ;)

01:12 <mrm> Bah, mischat.

01:12 <mrm> My bad.

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

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

01:36 g00s has quit [Quit: Textual IRC Client: www.textualapp.com]

01:37 ZombieChicken has joined #racket

01:41 Sgeo has joined #racket

01:43 Sgeo__ has quit [Ping timeout: 250 seconds]

02:02 pie___ has joined #racket

02:05 pie__ has quit [Ping timeout: 268 seconds]

02:19 adolby has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]

02:21 adolby has joined #racket

02:26 davidl has quit [Ping timeout: 250 seconds]

02:27 adolby has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]

02:31 adolby has joined #racket

02:39 adolby has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]

02:41 Arcaelyx has joined #racket

02:58 mahmudov has quit [Ping timeout: 250 seconds]

03:04 lockywolf has joined #racket

03:04 lockywolf_ has joined #racket

03:04 lockywolf has quit [Client Quit]

03:16 <ZombieChicken> Anyone know of a simple 2D graphics enegine for a game? I don't need a physics engine

04:24 lockywolf_ has quit [Ping timeout: 268 seconds]

04:36 <dustyweb> ZombieChicken: hi!

04:36 <dustyweb> Lux and mode-lambda

04:37 <dustyweb> big-bang for grownups :)

04:38 lockywolf has joined #racket

04:39 <dustyweb> you can even use Lux with the canvas writing tools (ships with support for that) but I'd recommend Lux

04:39 <dustyweb> er

04:39 <dustyweb> recommend mode-lambda

04:39 <dustyweb> for performance reasons

04:39 <dustyweb> that said

04:39 <dustyweb> mode-lambda is kinda hard to understand

04:40 <dustyweb> so Lux + canvas (maybe with pict) is easier to get started fast

04:40 <ZombieChicken> just need something stupid simple tbh

04:40 <dustyweb> even big-bang may be a good idea then

04:40 <ZombieChicken> Looking to play around with something roguelike or civ-ish

04:40 <dustyweb> ah

04:40 <dustyweb> do Lux

04:40 <dustyweb> another reason why:

04:40 <dustyweb> you can not only use mode-lambda or pict, you can also use raart

04:41 <dustyweb> which supports ascii/terminal graphics

04:41 <dustyweb> when I wrote Racktris I added support for graphical or ascii modes

04:41 <dustyweb> and lux made it easy

04:41 <dustyweb> raart is A+ btw

04:41 <dustyweb> and would be perfect for a roguelike

04:42 <ZombieChicken> so raart, lux, mode-lamba, or big-bang?

04:43 <dustyweb> Lux is just the underlying engine loopy machinery

04:43 <dustyweb> so use Lux, then choose your renderer (raart for terminals, mode-lambda / pict for graphics)

04:44 <dustyweb> ZombieChicken: https://gitlab.com/dustyweb/racktris if you want inspiration

04:47 sauvin has joined #racket

04:51 <ZombieChicken> ty

04:51 jao has quit [Ping timeout: 240 seconds]

05:06 <ZombieChicken> dustyweb: looking at raart, it looks like it doesn't require lux. is that correct?

05:07 <dustyweb> ZombieChicken: correct!

05:07 <dustyweb> you can use it without it

05:08 <dustyweb> Lux just provides a nice game engine core

05:09 libertyprime has quit [Ping timeout: 245 seconds]

05:15 endformationage has quit [Quit: WeeChat 2.3]

05:26 _whitelogger has joined #racket

05:32 Sgeo_ has joined #racket

05:35 Sgeo has quit [Ping timeout: 246 seconds]

05:37 pie___ has quit [Quit: Leaving]

05:43 libertyprime has joined #racket

05:55 libertyprime has quit [Quit: leaving]

06:47 slemonide has joined #racket

06:56 pierpal has quit [Quit: Poof]

06:56 pierpal has joined #racket

06:58 <ZombieChicken> hmm

06:58 <ZombieChicken> So I'm having a problem with raco not being able to use HTTPS for some reason

06:59 <ZombieChicken> anyone know how to debug that?

07:03 <ZombieChicken> oh well. Guess I'll try and do this by hand

07:06 lockywolf_ has joined #racket

07:08 g00s has joined #racket

07:09 lockywolf has quit [Ping timeout: 250 seconds]

07:11 lockywolf_ has quit [Ping timeout: 260 seconds]

07:59 rnmhdn has joined #racket

08:07 slemonide has quit [Ping timeout: 250 seconds]

08:09 mzan has joined #racket

08:24 slemonide has joined #racket

08:34 rnmhdn has quit [Ping timeout: 246 seconds]

08:42 g00s has quit [Quit: Textual IRC Client: www.textualapp.com]

09:03 slemonide has quit [Ping timeout: 268 seconds]

09:15 ubLIX has joined #racket

09:16 slemonide has joined #racket

09:35 rnmhdn has joined #racket

09:45 ubLIX has quit [Quit: ubLIX]

09:50 quipa has joined #racket

09:51 rnmhdn has quit [Quit: WeeChat 2.3]

09:53 rnmhdn has joined #racket

10:17 quipa has quit [Remote host closed the connection]

10:18 quipa has joined #racket

10:32 dustyweb has quit [Ping timeout: 268 seconds]

10:32 hjek has joined #racket

10:33 hjek has quit [Client Quit]

10:46 dddddd has joined #racket

11:04 iyzsong has joined #racket

11:20 ZombieChicken has quit [Ping timeout: 256 seconds]

11:23 slemonide has quit [Ping timeout: 250 seconds]

11:49 quipa has quit [Remote host closed the connection]

11:50 quipa has joined #racket

11:51 quipa has quit [Remote host closed the connection]

11:51 quipa has joined #racket

11:58 lockywolf has joined #racket

12:14 rnmhdn has quit [Ping timeout: 250 seconds]

12:36 lockywolf has quit [Ping timeout: 252 seconds]

12:40 lockywolf has joined #racket

12:42 rnmhdn has joined #racket

12:58 rnmhdn has quit [Ping timeout: 244 seconds]

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

13:22 rnmhdn has joined #racket

13:24 lockywolf_ has joined #racket

13:27 lockywolf has quit [Ping timeout: 245 seconds]

13:35 rnmhdn has quit [Ping timeout: 245 seconds]

13:46 mzan has quit [Ping timeout: 250 seconds]

13:48 rnmhdn has joined #racket

13:51 tautologico has joined #racket

13:55 rnmhdn has quit [Ping timeout: 246 seconds]

13:56 lockywolf_ has quit [Ping timeout: 250 seconds]

14:09 massimo_zaniboni has joined #racket

14:14 rnmhdn has joined #racket

14:25 massimo_zaniboni is now known as mzan

14:27 rnmhdn has quit [Ping timeout: 272 seconds]

14:48 iyzsong has quit [Ping timeout: 272 seconds]

14:49 jao has joined #racket

14:51 dbmikus_ has joined #racket

14:51 sleepnap has joined #racket

14:57 ng0 has joined #racket

15:22 dbmikus_ has quit [Ping timeout: 268 seconds]

15:26 lockywolf has joined #racket

15:26 dbmikus_ has joined #racket

15:26 lockywolf has quit [Remote host closed the connection]

15:30 lockywolf has joined #racket

15:31 lockywolf has quit [Remote host closed the connection]

15:32 lockywolf has joined #racket

15:38 sleepnap has quit [Ping timeout: 252 seconds]

15:42 rnmhdn has joined #racket

15:51 sleepnap has joined #racket

16:20 lockywolf has quit [Remote host closed the connection]

16:20 lockywolf has joined #racket

16:43 Lowl3v3l has joined #racket

16:46 mzan has left #racket [#racket]

17:08 ziyourenxiang has quit [Ping timeout: 250 seconds]

17:40 ubLIX has joined #racket

17:49 pera has joined #racket

18:11 rnmhdn has quit [Ping timeout: 250 seconds]

18:22 slemonide has joined #racket

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

18:39 dan_f has joined #racket

18:58 dan_f has quit [Quit: dan_f]

19:06 jao has quit [Ping timeout: 246 seconds]

19:09 handicraftsman has joined #racket

19:18 dbmikus__ has joined #racket

19:19 dbmikus_ has quit [Ping timeout: 250 seconds]

19:21 g00s has joined #racket

19:31 mzan has joined #racket

19:52 jao has joined #racket

19:56 slemonide has quit [Ping timeout: 250 seconds]

19:59 slemonide has joined #racket

19:59 nolanv has quit [Quit: WeeChat 2.2]

20:21 sze42 has joined #racket

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

20:37 libertyprime has joined #racket

20:40 slemonide has quit [Quit: slemonide]

20:42 slemonide has joined #racket

21:04 slemonide has quit [Ping timeout: 245 seconds]

21:09 <sze42> I am trying to implement a custom event, but I am not sure if there is a simpler solution I have overlooked. Is there a better way than using a semaphore for this? http://pasterack.org/pastes/51502

21:10 nolanv has joined #racket

21:11 nolanv has quit [Client Quit]

21:14 nolanv has joined #racket

21:39 slemonide has joined #racket

21:44 lavaflow has quit [Read error: Connection reset by peer]

21:47 lavaflow has joined #racket

22:05 slemonide has quit [Ping timeout: 250 seconds]

22:17 sleepnap has quit [Quit: Leaving.]

22:17 slemonide has joined #racket

22:22 ng0 has quit [Quit: Alexa, when is the end of world?]

22:27 pera has quit [Ping timeout: 268 seconds]

22:36 slemonide has quit [Quit: slemonide]

23:05 pera has joined #racket

23:32 <lf94> looking at design by contract. wondering: what is the benefit vs regular typed racket....

23:32 <lf94> http://docs.racket-lang.org/guide/contract-boundaries.html

23:40 acarrico has joined #racket

23:40 dbmikus__ has quit [Ping timeout: 245 seconds]

23:49 <tautologico> lf94: one point in favor of contracts is that because they're checked at run-time, it is easier to check for more specific conditions than what is usually available with types, e.g. not only check that the input parameter is an integer, but an integer > 10

23:50 <lf94> are contracts terminating

23:50 <lf94> always

23:50 <lf94> to me this sounds like the revelation i had the other day.

23:51 <lf94> lambda calculus itself can be its own type system

23:51 <lf94> i.e. being able to check any input

23:51 <lf94> but if this is the case: it is possible the type is unsound or non-terminating

23:52 <lf94> so that's why i ask: are contracts guaranteed to terminate?

23:52 <lf94> I guess if there is no recursion, yeah...

23:55 <tautologico> AFAIK you can't specify arbitrary functions as contracts, you have to use the provided combinators, so I guess they're guaranteed to terminate

23:57 pera has quit [Ping timeout: 250 seconds]

23:57 pera has joined #racket

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