Arcaelyx has quit [Quit: Arcaelyx]
efm has quit [Read error: Connection reset by peer]
pera has joined #racket
<
jcowan>
The above idea is probably not practical except with base tables, because databases don't do nullability inference, alas.
emacsomancer has joined #racket
ziyourenxiang has joined #racket
ng0 has quit [Quit: Alexa, when is the end of world?]
analogue has quit [Remote host closed the connection]
analogue has joined #racket
efm has joined #racket
soegaard has quit [Quit: soegaard]
efm has quit [Remote host closed the connection]
libertyprime has joined #racket
efm has joined #racket
emacsomancer has quit [Remote host closed the connection]
r2q2 has joined #racket
<
bremner>
they do have nullability declarations fwiw
<
bremner>
I guess you knew that
iyzsong has joined #racket
libertyprime has quit [Remote host closed the connection]
jao has quit [Ping timeout: 276 seconds]
jsgrant_ has joined #racket
analogue has quit [Quit: Leaving]
ZombieChicken has quit [Remote host closed the connection]
<
jcowan>
bremner: Base tables, yes. Not views, much less ad hoc query output.
Fare has quit [Ping timeout: 245 seconds]
<
jcowan>
consider SELECT 1,2 UNION SELECT NULL,NULL
<
jcowan>
you need full-blown bottom-up type infreence
<
bremner>
jcowan: right. I see you're way ahead of me ;)
<
jcowan>
just relaying wasamasa's insight
pera has quit [Ping timeout: 268 seconds]
jsgrant_ has quit [Remote host closed the connection]
vraid has quit [Ping timeout: 240 seconds]
casaca has quit [Quit: leaving]
casaca has joined #racket
orivej has quit [Ping timeout: 265 seconds]
r2q2 has quit [Remote host closed the connection]
niceplace_ has quit [*.net *.split]
bremner has quit [*.net *.split]
gonz_ has quit [*.net *.split]
bkhl has quit [*.net *.split]
dumptruckman has quit [*.net *.split]
gonz_ has joined #racket
endformationage has quit [Quit: WeeChat 2.5]
libertyprime has joined #racket
bkhl has joined #racket
dumptruckman has joined #racket
<
lavaflow>
ecraven: you're right, mapping it to #f was wrong and hasty on my part.
<
lavaflow>
I dislike the sql-null value from db in particular because it doesn't go through place channels unless you serialize it
<
lavaflow>
I'm thinking of just mapping it to some symbol or something
manualcrank has quit [Quit: WeeChat 1.9.1]
_whitelogger has joined #racket
FreeFull has quit []
dddddd has quit [Remote host closed the connection]
_whitelogger has joined #racket
<
ecraven>
lavaflow: I wasn't talking about you specifically, I've done the same thing in my code sometimes, it all depends on many things :-/
<
lavaflow>
when I did it, I didn't consider query-maybe-value that returns false when the query finds nothing to return
<
lavaflow>
at least with sqlite, the rest of the query functions wouldn't return #f ever I think, just the maybe functions
refpga has quit [Ping timeout: 276 seconds]
refpga has joined #racket
ubLIX has joined #racket
^[ has joined #racket
eMBee has quit [Quit: leaving]
eMBee has joined #racket
orivej has joined #racket
ubLIX has quit [Quit: ubLIX]
orivej has quit [Ping timeout: 276 seconds]
orivej has joined #racket
Fernando-Basso has joined #racket
orivej has quit [Ping timeout: 240 seconds]
orivej has joined #racket
orivej has quit [Read error: Connection timed out]
ZombieChicken has joined #racket
ermo has quit [Ping timeout: 240 seconds]
ubLIX has joined #racket
ermo has joined #racket
Fare has joined #racket
dddddd has joined #racket
orivej has joined #racket
ermo has joined #racket
Trieste has quit [Max SendQ exceeded]
Trieste has joined #racket
analogue has joined #racket
ubLIX has quit [Quit: ubLIX]
emacsomancer has joined #racket
FreeFull has joined #racket
analogue has quit [Ping timeout: 245 seconds]
orivej has quit [Ping timeout: 276 seconds]
bremner has joined #racket
libertyprime has quit [Ping timeout: 265 seconds]
Fare has quit [Ping timeout: 265 seconds]
Fare has joined #racket
acarrico has quit [Ping timeout: 245 seconds]
Fernando-Basso has quit [Remote host closed the connection]
Sgeo has joined #racket
Sgeo_ has quit [Ping timeout: 245 seconds]
Fare has quit [Ping timeout: 265 seconds]
iyzsong has quit [Read error: Connection reset by peer]
orivej has joined #racket
emacsomancer has quit [Read error: Connection reset by peer]
ziyourenxiang has quit [Ping timeout: 268 seconds]
davidl has quit [Quit: WeeChat 2.1]
pie_ has joined #racket
pera has joined #racket
efm has quit [Ping timeout: 245 seconds]
orivej has quit [Ping timeout: 240 seconds]
efm has joined #racket
endformationage has joined #racket
m1dnight1 has quit [Ping timeout: 245 seconds]
m1dnight1 has joined #racket
efm has quit [Remote host closed the connection]
efm has joined #racket
Ven`` has joined #racket
orivej has joined #racket
efm has quit [Read error: Connection reset by peer]
Ven`` has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Ven`` has joined #racket
Ven`` has quit [Client Quit]
vraid has joined #racket
efm has joined #racket
jao has joined #racket
refpga has quit [Ping timeout: 265 seconds]
refpga has joined #racket
analogue has joined #racket
efm has quit [Ping timeout: 265 seconds]
jao has quit [Ping timeout: 258 seconds]
acarrico has joined #racket
lavaflow has quit [Ping timeout: 245 seconds]
orivej has quit [Ping timeout: 258 seconds]
orivej has joined #racket
lavaflow has joined #racket
deeglaze has quit [Remote host closed the connection]
Ven`` has joined #racket
_whitelogger has joined #racket
moldybits has quit [Quit: WeeChat 2.4]
BakaKuna has joined #racket
manualcrank has joined #racket
libertyprime has joined #racket
BakaKuna has joined #racket
BakaKuna has quit [Client Quit]
BakaKuna has joined #racket
analogue has quit [Quit: Leaving]
BakaKuna has joined #racket
emacsomancer has joined #racket
lavaflow has quit [Ping timeout: 258 seconds]
lavaflow has joined #racket
jao has joined #racket
jao has quit [Remote host closed the connection]
libertyprime has quit [Ping timeout: 265 seconds]
moldybits has joined #racket
efm has joined #racket
libertyprime has joined #racket
refpga has quit [Read error: Connection reset by peer]
refpga has joined #racket
libertyprime has quit [Ping timeout: 240 seconds]
libertyprime has joined #racket
lavaflow has quit [Ping timeout: 276 seconds]
refpga has quit [Remote host closed the connection]
jao has joined #racket
libertyprime has quit [Ping timeout: 268 seconds]
libertyprime has joined #racket
sagax has quit [Read error: Connection reset by peer]
sagax has joined #racket
FreeFull has quit []
lavaflow has joined #racket
ziyourenxiang has joined #racket
libertyprime has quit [Ping timeout: 268 seconds]
ubLIX has joined #racket