00:14
Sgeo_ has joined #racket
00:17
johnjay has quit [Read error: Connection reset by peer]
00:18
Sgeo__ has quit [Ping timeout: 272 seconds]
00:26
Sgeo__ has joined #racket
00:30
Sgeo_ has quit [Ping timeout: 246 seconds]
00:38
johnjay has joined #racket
00:39
FreeFull has quit []
00:42
<
clacke_movim >
Glad to see the conversation still going on as late as 3 hours ago :-)
00:43
<
clacke_movim >
Baker 10% into the paper describes the use of EQL/eqv?, which has been a cause of confusion for me
00:45
<
clacke_movim >
Racket docs: "Two values are eqv? if and only if they are eq?, unless otherwise specified for a particular datatype."
00:46
<
clacke_movim >
Where the particular datatypes are numbers and characters
00:47
johnjay has quit [Read error: Connection reset by peer]
00:49
johnjay has joined #racket
00:49
<
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.
00:50
<
technomancy >
feels a lot like implementation details leaking
01:21
libertyprime has joined #racket
01:22
acarrico has joined #racket
01:37
acarrico has quit [Ping timeout: 246 seconds]
01:45
johnjay has quit [Read error: Connection reset by peer]
01:47
dddddd has quit [Remote host closed the connection]
02:04
iclon__ has joined #racket
02:07
iclon_ has quit [Ping timeout: 246 seconds]
02:17
johnjay has joined #racket
02:17
johnjay has quit [Read error: Connection reset by peer]
02:18
<
clacke_movim >
And that's exactly what the Baker paper is complaining about :-)
02:22
jsomedon has joined #racket
02:23
jsomedon has quit [Client Quit]
02:25
keep_learning_M has joined #racket
02:25
johnjay has joined #racket
02:26
johnjay has quit [Read error: Connection reset by peer]
02:29
keep_learning_M has quit [Client Quit]
02:29
pera has quit [Quit: leaving]
02:33
johnjay has joined #racket
02:34
johnjay has quit [Read error: Connection reset by peer]
02:47
keep_learning_M has joined #racket
02:55
caltelt_ has joined #racket
02:57
caltelt has quit [Ping timeout: 258 seconds]
03:01
jao has quit [Ping timeout: 246 seconds]
03:06
q9929t has joined #racket
03:13
q9929t has quit [Ping timeout: 248 seconds]
03:15
johnjay has joined #racket
03:45
libertyprime has quit [Read error: Connection reset by peer]
03:55
caltelt_ has quit [Ping timeout: 272 seconds]
04:01
libertyprime has joined #racket
04:40
cpup has quit [Quit: Breaking stuff]
04:41
cpup has joined #racket
04:59
libertyprime has quit [Quit: leaving]
05:07
Sgeo_ has joined #racket
05:11
johnjay has quit [Read error: Connection reset by peer]
05:11
Sgeo__ has quit [Ping timeout: 272 seconds]
05:13
johnjay has joined #racket
05:14
sauvin has joined #racket
05:26
keep_learning_M has quit [Quit: This computer has gone to sleep]
05:28
Sgeo__ has joined #racket
05:32
Sgeo_ has quit [Ping timeout: 272 seconds]
05:42
cpup has quit [Ping timeout: 268 seconds]
05:54
lavaflow has quit [Ping timeout: 258 seconds]
06:08
sapota has joined #racket
06:10
endformationage has quit [Quit: WeeChat 2.4]
06:12
cpup has joined #racket
06:24
zipper has joined #racket
06:32
manualcrank has quit [Quit: WeeChat 1.9.1]
06:34
zipper has quit [Ping timeout: 244 seconds]
07:29
soegaard has joined #racket
07:34
dddddd has joined #racket
07:34
ZombieChicken has quit [Disconnected by services]
07:34
rjungemann has quit [Ping timeout: 252 seconds]
07:34
forgottenwizard has joined #racket
07:34
forgottenwizard is now known as ZombieChicken
07:36
jhei has quit [Ping timeout: 252 seconds]
07:36
gonz_ has quit [Read error: Connection reset by peer]
07:42
krono has quit [Ping timeout: 252 seconds]
07:43
krono has joined #racket
07:43
jhei has joined #racket
07:47
gonz_ has joined #racket
07:48
rjungemann has joined #racket
08:03
dvn has quit [Ping timeout: 248 seconds]
08:06
rodlogic has quit [Ping timeout: 250 seconds]
08:07
keep_learning_M has joined #racket
08:07
rodlogic has joined #racket
08:09
jhei has quit [Ping timeout: 252 seconds]
08:09
cbarrett has quit [Ping timeout: 250 seconds]
08:10
zeeshanlakhani has quit [Ping timeout: 252 seconds]
08:11
jhei has joined #racket
08:12
cbarrett has joined #racket
08:15
krono has quit [Ping timeout: 252 seconds]
08:16
zeeshanlakhani has joined #racket
08:17
krono has joined #racket
08:18
orivej has quit [Ping timeout: 244 seconds]
08:18
keep_learning_M has quit [Quit: This computer has gone to sleep]
08:22
soegaard has quit [Quit: soegaard]
09:29
tilpner has quit [Quit: WeeChat 2.4]
09:31
tilpner has joined #racket
09:39
zipper has joined #racket
09:41
lavaflow has joined #racket
09:45
dmiles has joined #racket
09:46
lavaflow has quit [Ping timeout: 248 seconds]
09:46
soegaard has joined #racket
10:03
ZombieChicken has quit [Ping timeout: 256 seconds]
10:05
ZombieChicken has joined #racket
10:08
zipper has quit [Ping timeout: 272 seconds]
10:10
zipper has joined #racket
10:14
ZombieChicken has quit [Ping timeout: 256 seconds]
10:16
ZombieChicken has joined #racket
10:26
zipper has quit [Ping timeout: 248 seconds]
10:38
ng0 has joined #racket
11:01
zipper has joined #racket
11:15
acarrico has joined #racket
11:19
soegaard has quit [Quit: soegaard]
11:31
zipper has quit [Ping timeout: 272 seconds]
11:36
zipper has joined #racket
11:48
<
clacke_movim >
one of these days I'll have to try it out
11:49
<
J_Arcane >
it's rather nice. I used to use it when I still did Emacs
11:49
mfiano has quit [Ping timeout: 245 seconds]
11:49
<
J_Arcane >
I wish there was a VS Code plugin half that good
11:50
siel has quit [Ping timeout: 252 seconds]
11:52
mfiano has joined #racket
11:53
eMBee has joined #racket
11:58
siel has joined #racket
12:08
ym555 has joined #racket
12:12
soegaard has joined #racket
12:24
efm has quit [Remote host closed the connection]
12:34
acarrico has quit [Ping timeout: 246 seconds]
12:44
rubic88 has joined #racket
12:47
jao has joined #racket
12:59
q9929t has joined #racket
13:04
iyzsong has joined #racket
13:11
badkins has quit [Remote host closed the connection]
13:12
soegaard has quit [Quit: soegaard]
13:41
badkins has joined #racket
13:47
mSSM has joined #racket
13:50
manualcrank has joined #racket
14:10
vraid has joined #racket
14:17
Arcaelyx has quit [Ping timeout: 246 seconds]
14:22
notzmv has quit [Ping timeout: 244 seconds]
14:25
notzmv has joined #racket
14:48
iyzsong has quit [Ping timeout: 276 seconds]
14:50
acarrico has joined #racket
14:52
iclon__ has quit [Remote host closed the connection]
14:53
Sgeo__ has quit [Read error: Connection reset by peer]
14:54
Sgeo__ has joined #racket
14:55
iclon has joined #racket
14:57
iclon_ has joined #racket
15:00
iclon has quit [Ping timeout: 272 seconds]
15:01
dan_f has joined #racket
15:11
euhmeuh has left #racket [#racket]
15:11
mSSM has quit [Ping timeout: 258 seconds]
15:32
endformationage has joined #racket
15:32
badkins has quit [Remote host closed the connection]
15:33
vraid has quit [Ping timeout: 252 seconds]
15:34
q9929t has quit [Quit: q9929t]
15:36
orivej has joined #racket
15:36
vraid has joined #racket
15:44
Arcaelyx has joined #racket
15:45
ricekrispie has joined #racket
15:48
ricekrispie2 has quit [Ping timeout: 258 seconds]
15:53
dan_f has quit [Quit: dan_f]
15:56
clacke_movim has left #racket [#racket]
15:56
clacke_movim has joined #racket
16:01
sapota has quit [Quit: Konversation terminated!]
16:06
sleepnap has joined #racket
16:19
keep_learning_M has joined #racket
16:27
efm has joined #racket
16:32
raoul1 has quit [Quit: WeeChat 1.9.1]
16:33
sleepnap has quit [Ping timeout: 248 seconds]
16:37
notzmv has quit [Ping timeout: 268 seconds]
16:38
notzmv has joined #racket
16:43
notzmv has quit [Ping timeout: 246 seconds]
16:44
keep_learning_M has quit [Quit: This computer has gone to sleep]
16:59
badkins has joined #racket
17:06
efm has quit [Read error: Connection reset by peer]
17:12
dan_f has joined #racket
17:17
pera has joined #racket
17:26
jao has quit [Ping timeout: 268 seconds]
17:52
acarrico has quit [Remote host closed the connection]
17:52
<
winny >
that discussion about egal was very amusing, thanks for sharing :)
17:56
dan_f has quit [Quit: dan_f]
17:59
dan_f has joined #racket
18:13
Sgeo__ has quit [Read error: Connection reset by peer]
18:13
Sgeo__ has joined #racket
18:14
m1dnight_ has quit [Quit: WeeChat 2.4]
18:18
pera has quit [Ping timeout: 246 seconds]
18:27
sauvin has quit [Read error: Connection reset by peer]
18:33
badkins has quit [Remote host closed the connection]
18:33
pera has joined #racket
18:40
selimcan has joined #racket
18:44
dan_f has quit [Quit: dan_f]
18:44
badkins has joined #racket
18:48
dan_f has joined #racket
18:48
FreeFull has joined #racket
18:53
badkins has quit [Ping timeout: 252 seconds]
19:13
soegaard has joined #racket
19:17
mSSM has joined #racket
19:41
ubLIX has joined #racket
19:42
jao has joined #racket
19:48
vraid has quit [Ping timeout: 258 seconds]
20:04
soegaard has quit [Quit: soegaard]
20:17
dan_f has quit [Quit: dan_f]
20:18
badkins has joined #racket
20:45
selimcan has quit [Remote host closed the connection]
21:13
dimitarvp has joined #racket
21:15
dimitarvp has quit [Client Quit]
21:17
m1dnight_ has joined #racket
21:22
vraid has joined #racket
21:29
moldybits has joined #racket
22:04
casaca has quit [Ping timeout: 248 seconds]
22:05
casaca has joined #racket
22:12
rubic88 has quit [Remote host closed the connection]
22:22
Fernando-Basso has joined #racket
22:25
lavaflow has joined #racket
22:57
iclon__ has joined #racket
23:00
iclon_ has quit [Ping timeout: 272 seconds]
23:07
Jeanne-Kamikaze has joined #racket
23:10
Arcaelyx has quit [Read error: Connection reset by peer]
23:24
Arcaelyx has joined #racket
23:25
ubLX has joined #racket
23:28
ubLIX has quit [Ping timeout: 268 seconds]
23:28
ubLX is now known as ubLIX
23:46
rubic88 has joined #racket
23:50
sleepnap has joined #racket