lexi-lambda changed the topic of #racket to: Racket v7.5 has been released: https://blog.racket-lang.org/2019/11/racket-v7-5.html -- Racket -- https://racket-lang.org -- https://pkgs.racket-lang.org -- Paste at http://pasterack.org
libertyprime has quit [Ping timeout: 258 seconds]
nullman has quit [Ping timeout: 265 seconds]
nullman has joined #racket
libertyprime has joined #racket
lavaflow has quit [Quit: WeeChat 2.6]
badkins has joined #racket
lavaflow has joined #racket
badkins has quit [Ping timeout: 268 seconds]
iyzsong has joined #racket
analogue has joined #racket
badkins has joined #racket
badkins has quit [Ping timeout: 260 seconds]
orivej has joined #racket
soegaard has quit [Quit: soegaard]
endobson has joined #racket
endobson has quit [Client Quit]
endobson has joined #racket
pera has quit [Quit: leaving]
true-grue has quit [Read error: Connection reset by peer]
Trieste has quit [Ping timeout: 258 seconds]
lavaflow has quit [Ping timeout: 265 seconds]
libertyprime has quit [Ping timeout: 268 seconds]
Trieste has joined #racket
libertyprime has joined #racket
analogue has quit [Quit: Leaving]
libertyprime has quit [Ping timeout: 258 seconds]
iyzsong has quit [Remote host closed the connection]
iyzsong has joined #racket
Lowl3v3l has quit [Ping timeout: 265 seconds]
Lowl3v3l has joined #racket
endobson has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
libertyprime has joined #racket
ayerhart has quit [Quit: ayerhart]
cartwright has quit [Ping timeout: 240 seconds]
ayerhart has joined #racket
mario-goulart has quit [Ping timeout: 265 seconds]
lavaflow has joined #racket
klltkr has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
cartwright has joined #racket
ayerhart has quit [Quit: ayerhart]
vraid has quit [Ping timeout: 268 seconds]
ayerhart has joined #racket
libertyprime has quit [Ping timeout: 268 seconds]
klltkr has joined #racket
Codaraxis has quit [Read error: Connection reset by peer]
klltkr has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Blkt has joined #racket
cartwright has quit [Remote host closed the connection]
cartwright has joined #racket
cartwright has quit [Read error: Connection reset by peer]
cartwright has joined #racket
FreeFull has quit []
Codaraxis has joined #racket
libertyprime has joined #racket
endformationage has quit [Quit: WeeChat 2.6]
aidalgol has joined #racket
libertyprime has quit [Ping timeout: 260 seconds]
libertyprime has joined #racket
libertyprime has quit [Read error: Connection reset by peer]
libertyprime has joined #racket
soegaard has joined #racket
libertyprime has quit [Ping timeout: 258 seconds]
libertyprime has joined #racket
lockywolf has joined #racket
lockywolf_ has joined #racket
soegaard_ has joined #racket
lockywolf has quit [Ping timeout: 268 seconds]
soegaard has quit [Ping timeout: 268 seconds]
soegaard_ is now known as soegaard
libertyprime has quit [Ping timeout: 268 seconds]
YuGiOhJCJ has joined #racket
libertyprime has joined #racket
mario-goulart has joined #racket
rgherdt has quit [Remote host closed the connection]
Lowl3v3l has quit [Ping timeout: 265 seconds]
sauvin has joined #racket
Lowl3v3l has joined #racket
dddddd has joined #racket
endobson has joined #racket
mzan has joined #racket
rgherdt has joined #racket
badkins has joined #racket
orivej has quit [Ping timeout: 258 seconds]
badkins has quit [Ping timeout: 268 seconds]
dddddd has quit [Ping timeout: 268 seconds]
endobson has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
dddddd has joined #racket
Naptra has joined #racket
boeg has left #racket [#racket]
boeg has joined #racket
libertyprime has quit [Remote host closed the connection]
orivej has joined #racket
ZombieChicken has joined #racket
klltkr has joined #racket
klltkr has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
klltkr has joined #racket
YuGiOhJCJ has quit [Quit: YuGiOhJCJ]
curiouscreature has joined #racket
<curiouscreature> Hey all :) In plai-typed, there is typechecking to ensure that expressions are well-formed. When entering an expression into the REPL, it tells the type and the value. However, is there a way to directely find out the type of an expression, without having to rely on the REPL?
<bremner> curiouscreature: iirc, plai-typed has a predicate has-type?
<bremner> curiouscreature: btw, if you have a choice, IMHO plait is nicer than plai-typed
<curiouscreature> bremner: has-type is not exactly what I need (since I don't know the type beforehand) but this is likely the pointer I need to access plai-typed typechecking, thank you!
<curiouscreature> Will also check out plait, thanks :)
lockywolf_ has quit [Ping timeout: 258 seconds]
nikoala has quit [Remote host closed the connection]
nikoala has joined #racket
klltkr has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
dustyweb has joined #racket
<dustyweb> howdy
<notnotdan> hi
Sgeo__ has joined #racket
Sgeo_ has quit [Ping timeout: 260 seconds]
<notnotdan> congrats on the release of your game dustyweb
<dustyweb> hi thanks notnotdan :)
<dustyweb> I'm now playing with adding a time traveling debugger to it to show off some of the cool things that Goblins can do
<notnotdan> ooh interesting
notzmv has joined #racket
orivej has quit [Ping timeout: 265 seconds]
manualcrank has quit [Quit: WeeChat 1.9.1]
vraid has joined #racket
curiouscreature has quit [Ping timeout: 260 seconds]
catonano has joined #racket
soegaard has quit [Quit: soegaard]
soegaard has joined #racket
catonano has quit [Quit: catonano]
catonano has joined #racket
catonano has quit [Quit: catonano]
catonano has joined #racket
nullman has quit [Ping timeout: 272 seconds]
nullman has joined #racket
orivej has joined #racket
iyzsong has quit [Quit: ZNC 1.7.1 - https://znc.in]
lockywolf_ has joined #racket
lockywolf_ has quit [Client Quit]
lockywolf_ has joined #racket
lockywolf_ has quit [Max SendQ exceeded]
lockywolf_ has joined #racket
lockywolf_ has quit [Ping timeout: 240 seconds]
badkins has joined #racket
nullman has quit [Remote host closed the connection]
nullman has joined #racket
sagax has quit [Quit: Konversation terminated!]
dddddd has quit [Ping timeout: 268 seconds]
sagax has joined #racket
efm has joined #racket
lockywolf has joined #racket
dddddd has joined #racket
lockywolf_ has joined #racket
lockywolf has quit [Ping timeout: 268 seconds]
true-grue has joined #racket
endobson has joined #racket
endobson has quit [Client Quit]
mzan has quit [Ping timeout: 268 seconds]
soegaard has quit [Quit: soegaard]
soegaard has joined #racket
rgherdt has quit [Quit: Leaving]
soegaard has quit [Quit: soegaard]
soegaard has joined #racket
badkins has quit [Remote host closed the connection]
saemcro has joined #racket
badkins has joined #racket
endobson has joined #racket
badkins has quit [Ping timeout: 265 seconds]
endobson has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
lockywolf_ has quit [Ping timeout: 265 seconds]
mzan has joined #racket
narimiran has joined #racket
vraid has quit [Quit: Leaving]
Lowl3v3l has quit [Read error: Connection reset by peer]
Lowl3v3l has joined #racket
endobson has joined #racket
endobson has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
rgherdt has joined #racket
endformationage has joined #racket
badkins has joined #racket
aidalgol has quit [Remote host closed the connection]
dddddd has quit [Ping timeout: 265 seconds]
badkins has quit [Ping timeout: 268 seconds]
dddddd has joined #racket
badkins has joined #racket
soegaard has quit [Quit: soegaard]
pera has joined #racket
FreeFull has joined #racket
soegaard has joined #racket
badkins has quit [Ping timeout: 272 seconds]
soegaard has quit [Quit: soegaard]
DGASAU has quit [Read error: Connection reset by peer]
soegaard has joined #racket
DGASAU has joined #racket
orivej has quit [Ping timeout: 268 seconds]
mzan has quit [Quit: Leaving]
horatiohb has joined #racket
<bremner> TIL racket trace shows tail calls by indentation level
<bremner> somewhat non-obvious from the documentation, at least for me
acarrico has quit [Ping timeout: 272 seconds]
sauvin has quit [Read error: Connection reset by peer]
manualcrank has joined #racket
pera has quit [Quit: leaving]
Arcaelyx has joined #racket
saemcro has quit [Ping timeout: 258 seconds]
catonano_ has joined #racket
catonano has quit [Ping timeout: 272 seconds]
catonano_ is now known as catonano
soegaard has quit [Quit: soegaard]
Codaraxis has quit [Ping timeout: 265 seconds]
soegaard has joined #racket
orivej has joined #racket
<soegaard> bremner: Apropos Check Syntax in DrRacket shows tail recursion by changing the color of the arrow. Also hard to guess.
<bremner> oh! good to know.
klltkr has joined #racket
narimiran has quit [Ping timeout: 258 seconds]
Codaraxis has joined #racket
horatiohb has quit [Ping timeout: 268 seconds]
pera has joined #racket
soegaard has quit [Quit: soegaard]
soegaard has joined #racket
Fernando-Basso has joined #racket
badkins has joined #racket
badkins has quit [Ping timeout: 268 seconds]
rgherdt has quit [Ping timeout: 272 seconds]
ArthurStrong has joined #racket
soegaard has quit [Quit: soegaard]
soegaard has joined #racket
mzan has joined #racket
soegaard has quit [Quit: soegaard]
soegaard has joined #racket
efm has quit [Ping timeout: 265 seconds]
Codaraxis has quit [Ping timeout: 245 seconds]
acarrico has joined #racket
m1dnight_ has quit [Ping timeout: 265 seconds]
m1dnight_ has joined #racket
soegaard has quit [Quit: soegaard]
soegaard has joined #racket
m1dnight_ has quit [Read error: Connection reset by peer]
m1dnight_ has joined #racket
Codaraxis has joined #racket
badkins has joined #racket
badkins has quit [Remote host closed the connection]
<dustyweb> really showing off that Spritely Goblins supports time travel debugging (sorta) :)
Fernando-Basso has quit [Quit: Leaving]
badkins has joined #racket
Arcaelyx has quit [Quit: Arcaelyx]
badkins has quit [Ping timeout: 258 seconds]