codingquark has quit [Remote host closed the connection]
codingquark has joined #racket
codingquark has quit [Ping timeout: 276 seconds]
codingquark has joined #racket
xgqt has quit [Ping timeout: 240 seconds]
xgqt has joined #racket
codingquark has quit [Read error: Connection reset by peer]
codingquark has joined #racket
monkey_ has quit [Remote host closed the connection]
kengruven has joined #racket
kengruven has quit [Client Quit]
codingquark has quit [Ping timeout: 276 seconds]
badkins has joined #racket
badkins has quit [Ping timeout: 255 seconds]
codingquark has joined #racket
codingquark has quit [Read error: Connection reset by peer]
codingquark has joined #racket
dos__^^ has joined #racket
badkins has joined #racket
badkins has quit [Ping timeout: 244 seconds]
mon_aaraj has joined #racket
mon_aaraj has quit [Ping timeout: 240 seconds]
mon_aaraj has joined #racket
[deleted] has quit [Read error: Connection reset by peer]
livoreno has joined #racket
ttree has quit [Ping timeout: 240 seconds]
mon_aaraj has quit [Ping timeout: 240 seconds]
mon_aaraj has joined #racket
Avichi has joined #racket
mon_aaraj has quit [Ping timeout: 276 seconds]
mon_aaraj has joined #racket
williewillus has quit [Quit: Ping timeout (120 seconds)]
williewillus1 has joined #racket
williewillus0 has joined #racket
williewillus1 has quit [Ping timeout: 276 seconds]
taw10 has joined #racket
badkins has joined #racket
badkins has quit [Ping timeout: 255 seconds]
TeddyDD has quit [Ping timeout: 256 seconds]
TeddyDD has joined #racket
mon_aaraj has quit [Ping timeout: 244 seconds]
mon_aaraj has joined #racket
badkins has joined #racket
badkins has quit [Ping timeout: 256 seconds]
codaraxis__ has quit [Ping timeout: 276 seconds]
Avichi has quit [Quit: Client closed]
mon_aaraj has quit [Ping timeout: 276 seconds]
mon_aaraj has joined #racket
mon_aaraj has quit [Ping timeout: 240 seconds]
mon_aaraj has joined #racket
badkins has joined #racket
mon_aaraj has quit [Ping timeout: 272 seconds]
mon_aaraj has joined #racket
badkins has quit [Ping timeout: 244 seconds]
mon_aaraj has quit [Ping timeout: 244 seconds]
mon_aaraj has joined #racket
badkins has joined #racket
badkins has quit [Ping timeout: 256 seconds]
badkins has joined #racket
Psybur has quit [Ping timeout: 246 seconds]
winny has quit [Read error: Connection reset by peer]
winny has joined #racket
ncf has joined #racket
morte_ has joined #racket
<ncf>
if i type 1 or '1 at the REPL they're both printed as 1, but ''1 is printed as ''1. why?
<ncf>
i'd expect the evaluation to remove one layer of quoting and print '1
<ncf>
my guess so far is that the REPL tries to print things so that they can be re-entered at the REPL to get the same thing, but it cannot tell the difference between 1 and '1 because they both evaluate to 1
<ncf>
in other words, the first two cases evaluate to the datum 1, and the canonical representation for that is just 1, whereas ''1 evaluates to the S-expression (quote 1) which must be quoted in order to be preserved so it outputs (quote (quote 1))
kenran has joined #racket
badkins has quit [Remote host closed the connection]
<ns12>
ncf: "if i type 1 or '1 at the REPL they're both printed as 1, but ''1 is printed as ''1" - Interesting. Did you observe a similar behavior in any other Scheme implementation?
<ncf>
so in Guile Scheme, i get 1 → 1, '1 → 1, ''1 → (quote 1)
<ncf>
which suggests that S-expressions are printed as-is without a quote
<ncf>
in emacs M-x ielm, 1 → 1, '1 → 1, ''1 → '1
johnjaye has joined #racket
<johnjaye>
question. is the function list? defined in racket/src/Chezscheme/s/5_2.ss
<johnjaye>
i can't find where list? is defined but i don't think it's in that file
livoreno has quit [Ping timeout: 244 seconds]
livoreno has joined #racket
<ncf>
and the same thing in SBCL
notzmv has quit [Ping timeout: 244 seconds]
ur5us has joined #racket
badkins has joined #racket
ur5us has quit [Ping timeout: 244 seconds]
badkins has quit [Remote host closed the connection]
cwebber has quit [Ping timeout: 272 seconds]
morte_ has quit [Ping timeout: 240 seconds]
ttree has joined #racket
badkins has joined #racket
badkins has quit [Ping timeout: 256 seconds]
mon_aaraj has quit [Ping timeout: 240 seconds]
mon_aaraj has joined #racket
notzmv has joined #racket
badkins has joined #racket
badkins has quit [Ping timeout: 244 seconds]
badkins has joined #racket
badkins has quit [Ping timeout: 256 seconds]
badkins has joined #racket
badkins has quit [Ping timeout: 244 seconds]
livoreno has quit [Read error: Connection reset by peer]
livoreno has joined #racket
mon_aaraj has quit [Ping timeout: 244 seconds]
Avichi has joined #racket
jelewis2 has joined #racket
lewisje has quit [Ping timeout: 264 seconds]
Avichi has quit [Ping timeout: 252 seconds]
badkins has joined #racket
cwebber has joined #racket
codaraxis has joined #racket
badkins has quit [Remote host closed the connection]
ur5us has joined #racket
kenran has quit [Quit: WeeChat info:version]
livoreno has quit [Read error: Connection reset by peer]
[deleted] has joined #racket
badkins has joined #racket
badkins has quit [Ping timeout: 255 seconds]
ur5us has quit [Ping timeout: 240 seconds]
badkins has joined #racket
[deleted] has quit [Ping timeout: 256 seconds]
xgqt has quit [Ping timeout: 244 seconds]
xgqt has joined #racket
kenran has joined #racket
kenran has quit [Client Quit]
sxn has joined #racket
sxn has quit []
sxn has joined #racket
sxn has quit [Changing host]
sxn has joined #racket
sxn has quit []
sxn has joined #racket
sxn has quit [Client Quit]
sxn has joined #racket
sxn has quit [Client Quit]
Avichi has joined #racket
Avichi has quit [Quit: Client closed]
badkins has quit [Remote host closed the connection]
badkins has joined #racket
morte_ has joined #racket
badkins has quit [Remote host closed the connection]