vejetaryenvampir has quit [Quit: vejetaryenvampir]
vejetaryenvampir has joined #racket
nebunez has quit [Ping timeout: 272 seconds]
teardown has quit [Ping timeout: 260 seconds]
badkins has joined #racket
teardown has joined #racket
nan` has joined #racket
Fare has joined #racket
badkins has quit [Ping timeout: 260 seconds]
nan` has quit [Ping timeout: 260 seconds]
evdubs has quit [Remote host closed the connection]
catonano_ has joined #racket
evdubs has joined #racket
catonano has quit [Ping timeout: 260 seconds]
catonano_ is now known as catonano
<countvajhula>
for anyone following along, my question from earlier re: contracts for case-lambda via case-> – it looks like case-lambda clauses are more restrictive than normal lambdas: https://docs.racket-lang.org/reference/lambda.html#%28form._%28%28quote._~23~25kernel%29._case-lambda%29%29
tilpner_ has joined #racket
<countvajhula>
and so the contracts are more restrictive as well, in particular they don't need to support keyword and optional args. so, as the doc for case-> says, functions taking arbitrary (variadic) number of args should use the #rest parameter instead of ...
tilpner has quit [Ping timeout: 272 seconds]
tilpner_ is now known as tilpner
vejetaryenvampir has quit [Ping timeout: 260 seconds]
Fare has quit [Ping timeout: 240 seconds]
countvajhula has quit [Ping timeout: 272 seconds]
Fare has joined #racket
TCZ has quit [Quit: Leaving]
mzan has quit [Quit: No Ping reply in 180 seconds.]
greghendershott has quit [Ping timeout: 240 seconds]
tfb has quit [Ping timeout: 260 seconds]
krono has quit [Ping timeout: 260 seconds]
greghendershott has joined #racket
bitmapper has joined #racket
conjunctive has joined #racket
Boarders has joined #racket
tfb has joined #racket
edmoore has joined #racket
ullbeking has joined #racket
krono has joined #racket
englishm has joined #racket
nan` has joined #racket
nan` has quit [Ping timeout: 258 seconds]
mirrorbird has quit [Quit: Leaving]
mirrorbird has joined #racket
badkins has joined #racket
badkins has quit [Ping timeout: 256 seconds]
Sgeo__ has quit [Read error: Connection reset by peer]
BitPuffin has quit [Quit: killed]
yurb has quit [Quit: killed]
peddie has quit [Quit: killed]
nan` has joined #racket
nan` has quit [Ping timeout: 240 seconds]
mirrorbird has quit [Quit: Leaving]
peddie has joined #racket
peddie has quit [Remote host closed the connection]
BitPuffin has joined #racket
TCZ has joined #racket
yurb has joined #racket
peddie has joined #racket
nullcone has quit [Quit: Connection closed for inactivity]
vejetaryenvampir has joined #racket
TCZ has quit [Quit: Leaving]
nan` has joined #racket
nan` has quit [Ping timeout: 258 seconds]
ephemera_ has quit [Ping timeout: 256 seconds]
TCZ has joined #racket
phillbush has joined #racket
orivej has quit [Quit: orivej]
orivej has joined #racket
badkins has joined #racket
badkins has quit [Ping timeout: 265 seconds]
orivej has quit [Ping timeout: 265 seconds]
dmiles has joined #racket
tilpner has quit [Remote host closed the connection]
tilpner has joined #racket
nan` has joined #racket
narimiran has quit [Ping timeout: 272 seconds]
nan` has quit [Ping timeout: 260 seconds]
srandon111 has joined #racket
badkins has joined #racket
badkins has quit [Ping timeout: 260 seconds]
cantstanya has quit [Remote host closed the connection]
true-grue has joined #racket
cantstanya has joined #racket
mirrorbird has joined #racket
caente has joined #racket
mirrorbird_ has joined #racket
mirrorbird has quit [Ping timeout: 272 seconds]
badkins has joined #racket
Sgeo has joined #racket
cantstanya has quit [Remote host closed the connection]
cantstanya has joined #racket
TCZ has quit [Quit: Leaving]
teardown has joined #racket
selimcan has joined #racket
TCZ has joined #racket
nan` has joined #racket
nan` has quit [Ping timeout: 272 seconds]
badkins has quit [Remote host closed the connection]
badkins has joined #racket
Fare has joined #racket
TCZ has quit [Quit: Leaving]
aeth has quit [Ping timeout: 265 seconds]
MetaHertz has joined #racket
aeth has joined #racket
narimiran has joined #racket
MetaHertz has quit [Ping timeout: 272 seconds]
mirrorbird_ has quit [Ping timeout: 272 seconds]
badkins has quit [Remote host closed the connection]
badkins has joined #racket
badkins has quit [Remote host closed the connection]
badkins has joined #racket
vejetaryenvampir has quit [Quit: vejetaryenvampir]
vejetaryenvampir has joined #racket
mirrorbird_ has joined #racket
orivej has joined #racket
badkins has quit [Remote host closed the connection]
countvajhula has joined #racket
ech has quit [Ping timeout: 240 seconds]
ech_ has joined #racket
<greghendershott>
countvajhula: I wouldn't say that contracts are more restrictive if/when they're for a function defined using case->.
<greghendershott>
I think more simply in general `...` isn't used for any function contracts.
<greghendershott>
You need to supply a contract for each parameter. And there's `#:rest` for the "all the remaining params" special case.
<greghendershott>
It might be need if `...` were supported for contracts like it is for `match` and macros clauses and so on, but it's not.
<greghendershott>
s/need/neat
badkins has joined #racket
bocaneri has quit [Remote host closed the connection]
countvajhula has quit [Ping timeout: 244 seconds]
TCZ has joined #racket
vejetaryenvampir has quit [Quit: vejetaryenvampir]
vejetaryenvampir has joined #racket
orivej has quit [Ping timeout: 272 seconds]
orivej has joined #racket
mirrorbird_ has quit [Remote host closed the connection]
Lowl3v3l has quit [Remote host closed the connection]
Lowl3v3l has joined #racket
countvajhula has joined #racket
<countvajhula>
greghendershott: oh man, are you sure about that?
<countvajhula>
this is very weird but, I've been using contracts that way for a while and it seems to work just fine
<countvajhula>
I just attempted to paste an example that works locally into pasterack, but pasterack seems to get really upset by it and raises an exception
<countvajhula>
I just attempted to paste a version of that example into pasterack, rewritten to use the ->*/#:rest form, but that gave a similar exception, so I'm not really sure what that's about
blegeth has joined #racket
blegeth has quit [Remote host closed the connection]
catonano has quit [Remote host closed the connection]
selimcan has quit [Remote host closed the connection]
aeth_ has joined #racket
aeth has quit [Disconnected by services]
aeth_ is now known as aeth
selimcan has joined #racket
orivej has quit [Ping timeout: 264 seconds]
true-grue has quit [Read error: Connection reset by peer]
badkins has quit [Remote host closed the connection]
badkins has joined #racket
TCZ has quit [Quit: Leaving]
badkins has quit [Ping timeout: 246 seconds]
TCZ has joined #racket
scolobb has joined #racket
countvajhula has quit [Ping timeout: 260 seconds]
iamevn has joined #racket
badkins has joined #racket
badkins has quit [Ping timeout: 272 seconds]
badkins has joined #racket
srandon111 has quit [Quit: leaving]
countvajhula has joined #racket
<griffinbyatt>
What's the timeframe on registration codes for the racket package index? I'm trying to sign up but haven't received a code (in junk or otherwise) in ~15min
<evdubs>
griffinbyatt, i don't remember having to wait
<evdubs>
but i registered a little over a year ago, so my memory is suspect