orivej has quit [Ping timeout: 245 seconds]
liberiga has joined #racket
jao has quit [Remote host closed the connection]
Guest44921 has joined #racket
Guest44921 has quit [Remote host closed the connection]
jao- has joined #racket
jao- is now known as jao
efm has quit [Remote host closed the connection]
efm has joined #racket
liberiga has quit [Quit: Leaving]
efm has quit [Remote host closed the connection]
efm has joined #racket
orivej has joined #racket
jsomedon has joined #racket
YuGiOhJCJ has joined #racket
iyzsong has joined #racket
salinasc has joined #racket
sword865 has joined #racket
FreeFull has quit []
salinasc has quit [Remote host closed the connection]
jao has quit [Ping timeout: 245 seconds]
zmt00 has quit [Quit: Leaving]
zmt00 has joined #racket
salinasc has joined #racket
vraid has quit [Ping timeout: 240 seconds]
YuGiOhJCJ has quit [Remote host closed the connection]
YuGiOhJCJ has joined #racket
_whitelogger has joined #racket
salinasc has quit [Remote host closed the connection]
salinasc has joined #racket
`420 is now known as livoreno
salinasc has quit [Remote host closed the connection]
salinasc has joined #racket
manualcrank has quit [Quit: WeeChat 1.9.1]
_whitelogger has joined #racket
endformationage has quit [Ping timeout: 268 seconds]
ubLIX has joined #racket
ubLIX has quit [Quit: ubLIX]
revtintin has joined #racket
pera has quit [Ping timeout: 276 seconds]
pera has joined #racket
<
lavaflow>
well it turns out my seemingly reasonable plan to implement transactions is entirely unreasonable
<
lavaflow>
seemed to work well when I tried a bulk insert of a dozen row ids, but choked when I tried 100,000
<
lavaflow>
(it's still fucking running lmao)
<
lavaflow>
woops, wrong channel
ng0 has quit [Quit: Alexa, when is the end of world?]
ng0 has joined #racket
lockywolf has joined #racket
lavaflow has quit [Quit: WeeChat 2.5]
pinicarus has joined #racket
<
pinicarus>
hi racketeers
<
pinicarus>
quick question: is there a way to define a "ranged" integer type in typed/racket? like "integers between N and M"?
<
pinicarus>
basically, I'm looking if there's a way to constraint types but maybe that's just a job for contracts?
lavaflow has joined #racket
lavaflow has quit [Client Quit]
lavaflow has joined #racket
salinasc has quit [Remote host closed the connection]
iyzsong has joined #racket
salinasc has joined #racket
salinasc has quit [Remote host closed the connection]
salinasc has joined #racket
<
ZombieChicken>
or CLP
salinasc has quit [Remote host closed the connection]
dddddd has quit [Remote host closed the connection]
libertyprime has joined #racket
pera has quit [Quit: leaving]
<
pinicarus>
hmm, I managed to use experimental refinement to express some constraints on function arguments
<
pinicarus>
but couldn't get refinement on function result
<
pinicarus>
my toy example is a function returning a random value between a lower and a upper bound
<
dzoe>
I would suspect that using other contract form than -> should allow you to do that.
<
dzoe>
Actually thinking of it, -> should suffice.
<
pinicarus>
dzoe: thx! I had trouble expressing the refinements on the return type but the example on build-vector nailed it
ZombieChicken has quit [Quit: WeeChat 2.6]
revtintin has quit [Quit: WeeChat 1.9.1]
chiefgoat has quit [Ping timeout: 240 seconds]
FreeFull has joined #racket
lockywolf has quit [Ping timeout: 268 seconds]
Fernando-Basso has joined #racket
ZombieChicken has joined #racket
mzan has joined #racket
qbmonkey has quit [Ping timeout: 264 seconds]
qbmonkey has joined #racket
qbmonkey has quit [Remote host closed the connection]
qbmonkey has joined #racket
libertyprime has quit [Ping timeout: 265 seconds]
zipper has joined #racket
zipper has quit [Client Quit]
ZombieChicken has quit [Quit: WeeChat 2.6]
libertyprime has joined #racket
jao has joined #racket
jao has quit [Ping timeout: 240 seconds]
YuGiOhJCJ has quit [Quit: YuGiOhJCJ]
Ven`` has joined #racket
salinasc has joined #racket
jsomedon has quit [Quit: jsomedon]
Ven`` has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Ven`` has joined #racket
Ven`` has quit [Client Quit]
ym has quit [Read error: Connection reset by peer]
salinasc has quit [Remote host closed the connection]
libertyprime has quit [Quit: leaving]
ziyourenxiang has quit [Remote host closed the connection]
ziyourenxiang has joined #racket
analogue has joined #racket
dddddd has joined #racket
sword865 has quit [Quit: Connection closed for inactivity]
acarrico has quit [Ping timeout: 265 seconds]
ubLIX has joined #racket
pinicarus has quit [Quit: Leaving]
jao has joined #racket
orivej has quit [Ping timeout: 240 seconds]
endformationage has joined #racket
ng0 has quit [Remote host closed the connection]
ng0 has joined #racket
pera has joined #racket
ziyourenxiang has quit [Ping timeout: 268 seconds]
Fernando-Basso has quit [Remote host closed the connection]
Ven`` has joined #racket
p4bl0 has joined #racket
ym has joined #racket
ubLIX has quit [Quit: ubLIX]
mzan has quit [Ping timeout: 240 seconds]
orivej has joined #racket
thallada has quit [Quit: WeeChat 2.4]
orivej has quit [Ping timeout: 240 seconds]
analogue has quit [Remote host closed the connection]
analogue has joined #racket
Sgeo__ has joined #racket
Sgeo_ has quit [Ping timeout: 240 seconds]
casaca has quit [Ping timeout: 240 seconds]
casaca has joined #racket
q9929t has joined #racket
q9929t has quit [Client Quit]
davidl_ has joined #racket
analogue has quit [Remote host closed the connection]
davidl has quit [Ping timeout: 245 seconds]
analogue has joined #racket
mzan has joined #racket
mzan has quit [Client Quit]
Ven`` has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
mzan has joined #racket
acarrico has joined #racket
emacsomancer has quit [Quit: WeeChat 2.6]
ym has quit [Read error: Connection reset by peer]
ym has joined #racket
m1dnight_ has quit [Quit: WeeChat 2.4]
m1dnight_ has joined #racket
ubLIX has joined #racket
analogue has quit [Quit: Leaving]
pera has quit [Ping timeout: 240 seconds]
ubLIX has quit [Quit: ubLIX]
pera has joined #racket
orivej has joined #racket
ubLIX has joined #racket
Ven`` has joined #racket
salinasc has joined #racket
pera has quit [Ping timeout: 276 seconds]
ubLIX has quit [Quit: ubLIX]
jsomedon has joined #racket
ZombieChicken has joined #racket
pera has joined #racket
<
lavaflow>
does anybody have any inkling of when 7.5 might be released? sometime in a few months I'm guessing, judging by past release frequency?
<
lavaflow>
I'm pretty eager to get 8d2b0ba "Add native dark mode to macOS apps "
<
erkin>
lavaflow: You can get a snapshot build if you don't mind running cutting edge software.
<
erkin>
I don't think it's at v7.5 right now though, so that feature mightn't even be implemented at this time.
<
lavaflow>
it was committed in august after the 7.4 release
<
lavaflow>
I might try out a snapshot just to get a taste for it, though I'd prefer to run a regular release for day to day use
<
erkin>
I'd expect the next version to release this year at least. :-P
jsomedon has quit [Read error: Connection reset by peer]
emacsomancer has joined #racket
jsomedon has joined #racket
Ven`` has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
ubLIX has joined #racket
ziyourenxiang has joined #racket
mzan has quit [Quit: Leaving]
jao has quit [Ping timeout: 240 seconds]