samth changed the topic of #racket to: Racket v7.3 has been released: https://blog.racket-lang.org/2019/05/racket-v7-3.html -- Racket -- https://racket-lang.org -- https://pkgs.racket-lang.org -- Paste at http://pasterack.org
Sgeo_ has joined #racket
johnjay has quit [Read error: Connection reset by peer]
Sgeo__ has quit [Ping timeout: 272 seconds]
Sgeo__ has joined #racket
Sgeo_ has quit [Ping timeout: 246 seconds]
johnjay has joined #racket
FreeFull has quit []
<clacke_movim> Glad to see the conversation still going on as late as 3 hours ago :-)
<clacke_movim> Baker 10% into the paper describes the use of EQL/eqv?, which has been a cause of confusion for me
<clacke_movim> Racket docs: "Two values are eqv? if and only if they are eq?, unless otherwise specified for a particular datatype."
<clacke_movim> Where the particular datatypes are numbers and characters
johnjay has quit [Read error: Connection reset by peer]
johnjay has joined #racket
<clacke_movim> I have been wondering why that's useful, but Baker explains that it's because people expect eq? to compare two numbers of the same value as equal, because they're traditionally atoms and immutable, but e.g. bigints while immutable aren't necessarily atoms. So eqv? does what people expect.
<technomancy> feels a lot like implementation details leaking
libertyprime has joined #racket
acarrico has joined #racket
acarrico has quit [Ping timeout: 246 seconds]
johnjay has quit [Read error: Connection reset by peer]
dddddd has quit [Remote host closed the connection]
iclon__ has joined #racket
iclon_ has quit [Ping timeout: 246 seconds]
johnjay has joined #racket
johnjay has quit [Read error: Connection reset by peer]
<clacke_movim> And that's exactly what the Baker paper is complaining about :-)
<clacke_movim> I've read 10% of it, some tidbits here: https://libranet.de/display/0b6b25a8-165c-e743-af22-3a0995758969
jsomedon has joined #racket
jsomedon has quit [Client Quit]
keep_learning_M has joined #racket
johnjay has joined #racket
johnjay has quit [Read error: Connection reset by peer]
keep_learning_M has quit [Client Quit]
pera has quit [Quit: leaving]
johnjay has joined #racket
johnjay has quit [Read error: Connection reset by peer]
keep_learning_M has joined #racket
caltelt_ has joined #racket
caltelt has quit [Ping timeout: 258 seconds]
jao has quit [Ping timeout: 246 seconds]
q9929t has joined #racket
q9929t has quit [Ping timeout: 248 seconds]
johnjay has joined #racket
<greghendershott> Updated guide and reference for Racket Mode: https://www.racket-mode.com/
libertyprime has quit [Read error: Connection reset by peer]
caltelt_ has quit [Ping timeout: 272 seconds]
libertyprime has joined #racket
cpup has quit [Quit: Breaking stuff]
cpup has joined #racket
libertyprime has quit [Quit: leaving]
Sgeo_ has joined #racket
johnjay has quit [Read error: Connection reset by peer]
Sgeo__ has quit [Ping timeout: 272 seconds]
johnjay has joined #racket
sauvin has joined #racket
keep_learning_M has quit [Quit: This computer has gone to sleep]
Sgeo__ has joined #racket
Sgeo_ has quit [Ping timeout: 272 seconds]
cpup has quit [Ping timeout: 268 seconds]
lavaflow has quit [Ping timeout: 258 seconds]
sapota has joined #racket
endformationage has quit [Quit: WeeChat 2.4]
cpup has joined #racket
zipper has joined #racket
manualcrank has quit [Quit: WeeChat 1.9.1]
zipper has quit [Ping timeout: 244 seconds]
soegaard has joined #racket
dddddd has joined #racket
ZombieChicken has quit [Disconnected by services]
rjungemann has quit [Ping timeout: 252 seconds]
forgottenwizard has joined #racket
forgottenwizard is now known as ZombieChicken
jhei has quit [Ping timeout: 252 seconds]
gonz_ has quit [Read error: Connection reset by peer]
krono has quit [Ping timeout: 252 seconds]
krono has joined #racket
jhei has joined #racket
gonz_ has joined #racket
rjungemann has joined #racket
dvn has quit [Ping timeout: 248 seconds]
rodlogic has quit [Ping timeout: 250 seconds]
keep_learning_M has joined #racket
rodlogic has joined #racket
jhei has quit [Ping timeout: 252 seconds]
cbarrett has quit [Ping timeout: 250 seconds]
zeeshanlakhani has quit [Ping timeout: 252 seconds]
jhei has joined #racket
cbarrett has joined #racket
krono has quit [Ping timeout: 252 seconds]
zeeshanlakhani has joined #racket
krono has joined #racket
orivej has quit [Ping timeout: 244 seconds]
keep_learning_M has quit [Quit: This computer has gone to sleep]
soegaard has quit [Quit: soegaard]
dmiles has quit []
tilpner has quit [Quit: WeeChat 2.4]
tilpner has joined #racket
zipper has joined #racket
lavaflow has joined #racket
dmiles has joined #racket
lavaflow has quit [Ping timeout: 248 seconds]
soegaard has joined #racket
ZombieChicken has quit [Ping timeout: 256 seconds]
ZombieChicken has joined #racket
zipper has quit [Ping timeout: 272 seconds]
zipper has joined #racket
ZombieChicken has quit [Ping timeout: 256 seconds]
ZombieChicken has joined #racket
zipper has quit [Ping timeout: 248 seconds]
ng0 has joined #racket
<bremner> fancy!
zipper has joined #racket
acarrico has joined #racket
soegaard has quit [Quit: soegaard]
zipper has quit [Ping timeout: 272 seconds]
zipper has joined #racket
<clacke_movim> one of these days I'll have to try it out
<J_Arcane> it's rather nice. I used to use it when I still did Emacs
mfiano has quit [Ping timeout: 245 seconds]
<J_Arcane> I wish there was a VS Code plugin half that good
siel has quit [Ping timeout: 252 seconds]
mfiano has joined #racket
eMBee has joined #racket
siel has joined #racket
ym555 has joined #racket
soegaard has joined #racket
efm has quit [Remote host closed the connection]
acarrico has quit [Ping timeout: 246 seconds]
rubic88 has joined #racket
jao has joined #racket
q9929t has joined #racket
iyzsong has joined #racket
badkins has quit [Remote host closed the connection]
soegaard has quit [Quit: soegaard]
badkins has joined #racket
mSSM has joined #racket
manualcrank has joined #racket
vraid has joined #racket
Arcaelyx has quit [Ping timeout: 246 seconds]
notzmv has quit [Ping timeout: 244 seconds]
notzmv has joined #racket
iyzsong has quit [Ping timeout: 276 seconds]
acarrico has joined #racket
iclon__ has quit [Remote host closed the connection]
Sgeo__ has quit [Read error: Connection reset by peer]
Sgeo__ has joined #racket
iclon has joined #racket
iclon_ has joined #racket
iclon has quit [Ping timeout: 272 seconds]
dan_f has joined #racket
euhmeuh has left #racket [#racket]
mSSM has quit [Ping timeout: 258 seconds]
endformationage has joined #racket
badkins has quit [Remote host closed the connection]
vraid has quit [Ping timeout: 252 seconds]
q9929t has quit [Quit: q9929t]
orivej has joined #racket
vraid has joined #racket
Arcaelyx has joined #racket
ricekrispie has joined #racket
ricekrispie2 has quit [Ping timeout: 258 seconds]
dan_f has quit [Quit: dan_f]
clacke_movim has left #racket [#racket]
clacke_movim has joined #racket
sapota has quit [Quit: Konversation terminated!]
sleepnap has joined #racket
keep_learning_M has joined #racket
efm has joined #racket
raoul1 has quit [Quit: WeeChat 1.9.1]
sleepnap has quit [Ping timeout: 248 seconds]
notzmv has quit [Ping timeout: 268 seconds]
notzmv has joined #racket
notzmv has quit [Ping timeout: 246 seconds]
keep_learning_M has quit [Quit: This computer has gone to sleep]
badkins has joined #racket
efm has quit [Read error: Connection reset by peer]
dan_f has joined #racket
pera has joined #racket
jao has quit [Ping timeout: 268 seconds]
acarrico has quit [Remote host closed the connection]
<winny> that discussion about egal was very amusing, thanks for sharing :)
dan_f has quit [Quit: dan_f]
dan_f has joined #racket
Sgeo__ has quit [Read error: Connection reset by peer]
Sgeo__ has joined #racket
m1dnight_ has quit [Quit: WeeChat 2.4]
pera has quit [Ping timeout: 246 seconds]
sauvin has quit [Read error: Connection reset by peer]
badkins has quit [Remote host closed the connection]
pera has joined #racket
selimcan has joined #racket
dan_f has quit [Quit: dan_f]
badkins has joined #racket
dan_f has joined #racket
FreeFull has joined #racket
badkins has quit [Ping timeout: 252 seconds]
soegaard has joined #racket
mSSM has joined #racket
ubLIX has joined #racket
jao has joined #racket
vraid has quit [Ping timeout: 258 seconds]
soegaard has quit [Quit: soegaard]
dan_f has quit [Quit: dan_f]
badkins has joined #racket
selimcan has quit [Remote host closed the connection]
dimitarvp has joined #racket
dimitarvp has quit [Client Quit]
m1dnight_ has joined #racket
vraid has joined #racket
moldybits has joined #racket
casaca has quit [Ping timeout: 248 seconds]
casaca has joined #racket
rubic88 has quit [Remote host closed the connection]
Fernando-Basso has joined #racket
lavaflow has joined #racket
iclon__ has joined #racket
iclon_ has quit [Ping timeout: 272 seconds]
Jeanne-Kamikaze has joined #racket
Arcaelyx has quit [Read error: Connection reset by peer]
Arcaelyx has joined #racket
ubLX has joined #racket
ubLIX has quit [Ping timeout: 268 seconds]
ubLX is now known as ubLIX
rubic88 has joined #racket
sleepnap has joined #racket