badkins has quit [Remote host closed the connection]
livoreno has joined #racket
badkins has joined #racket
badkins has quit [Ping timeout: 246 seconds]
kengruven has quit [Remote host closed the connection]
kengruven has joined #racket
kengruven has quit [Ping timeout: 260 seconds]
Avichi has quit [Ping timeout: 250 seconds]
ur5us_ has quit [Ping timeout: 240 seconds]
dbohdan has quit [Read error: Connection reset by peer]
dbohdan has joined #racket
littlebobeep has joined #racket
badkins has joined #racket
badkins has quit [Ping timeout: 240 seconds]
<mfiano>
Hello all.
<mfiano>
I read the guide 6 years ago and decided to stick with CL. I am now reading it again with the hope that I can integrate Racket into my workflow.
kengruven has joined #racket
capfredf has joined #racket
capfredf has quit [Ping timeout: 268 seconds]
mon_aaraj has quit [Ping timeout: 246 seconds]
mon_aaraj has joined #racket
rekahsoft has quit [Remote host closed the connection]
rekahsoft has joined #racket
rekahsoft has quit [Remote host closed the connection]
rekahsoft has joined #racket
rekahsoft has quit [Remote host closed the connection]
rekahsoft has joined #racket
mon_aaraj has quit [Ping timeout: 268 seconds]
mon_aaraj has joined #racket
rekahsoft has quit [Remote host closed the connection]
rekahsoft has joined #racket
rekahsoft has quit [Remote host closed the connection]
rekahsoft has joined #racket
rekahsoft has quit [Remote host closed the connection]
rekahsoft has joined #racket
rekahsoft has quit [Ping timeout: 256 seconds]
badkins has joined #racket
badkins has quit [Ping timeout: 246 seconds]
lortabac has joined #racket
mon_aaraj has quit [Ping timeout: 256 seconds]
mon_aaraj has joined #racket
mon_aaraj has quit [Ping timeout: 268 seconds]
nevroz has joined #racket
mon_aaraj has joined #racket
skapata has quit [Remote host closed the connection]
_________ has quit [Ping timeout: 240 seconds]
littlebobeep has quit [Ping timeout: 240 seconds]
_________ has joined #racket
_________ has quit [Ping timeout: 248 seconds]
_________ has joined #racket
lowak_ has quit [Remote host closed the connection]
lowak has joined #racket
nevroz17 has joined #racket
nevroz17 has quit [Client Quit]
nevroz has quit [Ping timeout: 250 seconds]
rgherdt_ has joined #racket
rgherdt has quit [Ping timeout: 246 seconds]
livoreno has quit [Ping timeout: 240 seconds]
badkins has joined #racket
badkins has quit [Ping timeout: 260 seconds]
badkins has joined #racket
TCZ has joined #racket
badkins has quit [Ping timeout: 240 seconds]
winny has quit [Remote host closed the connection]
winny has joined #racket
badkins has joined #racket
badkins has quit [Ping timeout: 260 seconds]
littlebobeep has joined #racket
tonyg9 has joined #racket
tonyg has quit [Ping timeout: 268 seconds]
tonyg9 is now known as tonyg
TCZ has quit [Quit: Leaving]
badkins has joined #racket
kengruven has quit [Remote host closed the connection]
kengruven has joined #racket
kengruven has quit [Ping timeout: 260 seconds]
_________ has quit [Ping timeout: 268 seconds]
s-liao has joined #racket
<samth>
mfiano: hi
ermo has quit [Ping timeout: 240 seconds]
ermo has joined #racket
skapata has joined #racket
ermo has quit [Client Quit]
ermo has joined #racket
badkins has quit [Remote host closed the connection]
badkins has joined #racket
ermo has quit [Ping timeout: 272 seconds]
lortabac has quit [Quit: WeeChat 2.8]
capfredf has joined #racket
capfredf has quit [Remote host closed the connection]
capfredf has joined #racket
s-liao has quit [Quit: Client closed]
mon_aaraj has quit [Ping timeout: 248 seconds]
pastortainer is now known as youthpastor
mon_aaraj has joined #racket
ermo has joined #racket
s-liao has joined #racket
ermo has quit [Ping timeout: 260 seconds]
s-liao has quit [Quit: Client closed]
s-liao has joined #racket
ermo has joined #racket
ermo has quit [Read error: Connection reset by peer]
ermo_ has joined #racket
s-liao has quit [Quit: Client closed]
s-liao has joined #racket
s-liao has quit [Client Quit]
lortabac has joined #racket
capfredf has quit [Read error: Connection reset by peer]
capfredf has joined #racket
livoreno has joined #racket
lortabac has quit [Quit: WeeChat 2.8]
_________ has joined #racket
badkins has quit [Remote host closed the connection]
<mfiano>
If I use typed/racket, will I lose anything (besides static analysis overhead)?
<mfiano>
I'm curious if some builtin or third-party modules will become unusable.
<bremner>
some racket code does not type statically
<mfiano>
But it is still usable?
<bremner>
oh. interop is pretty good
<bremner>
module some pathological performance issues that I have only seen in academic papers
<mfiano>
Ok thanks.
<bremner>
basically you can mix untyped and typed modules
<mfiano>
Great
<bremner>
racket/plot is typed, but most users do not know / see this
<mfiano>
Coming from CL, I like to annotate types when I solidify an idea, if only for the documentation purposes, though SBCL does a great job optimizing too.
badkins has joined #racket
<mfiano>
I like that I can gradually add types in typed/racket too.
[deleted] has joined #racket
badkins has quit [Ping timeout: 268 seconds]
livoreno has quit [Ping timeout: 248 seconds]
badkins has joined #racket
ec has joined #racket
badkins has quit [Ping timeout: 260 seconds]
lortabac has joined #racket
<mfiano>
Does racket have a homogeneous array type, and if so, how would I specify that a vector contains strictly elements of type foo and of length bar?
livoreno has joined #racket
<samth>
mfiano: if you use `typed/racket`, then it's `Vectorof`
[deleted] has quit [Ping timeout: 240 seconds]
<mfiano>
Thanks. I'm trying to figure out how to specify elements are unsigned 16 bit integers, etc
<samth>
mfiano: in typed racket?
<mfiano>
Yeah
ec has quit [Ping timeout: 240 seconds]
<samth>
there's no distinction between signed and unsigned in Racket; do you mean "non-negative"?
<mfiano>
No I mean having a range of [0,65535]
<samth>
I would recommend the type `Index`, which has the range [0,2^31]
<mfiano>
Hmm, I need overflow wraparound semantics though.
<mfiano>
I think I have a lot to learn coming from CL
ec has joined #racket
<samth>
Racket does not have a wrapping addition operation, but you can use modulo
<mfiano>
Ok thanks
lortabac has quit [Quit: WeeChat 2.8]
badkins has joined #racket
badkins has quit [Ping timeout: 246 seconds]
capfredf has quit [Remote host closed the connection]
capfredf has joined #racket
capfredf has quit [Remote host closed the connection]
badkins has joined #racket
badkins has quit [Ping timeout: 260 seconds]
capfredf has joined #racket
badkins has joined #racket
badkins has quit [Ping timeout: 246 seconds]
xgqt has quit [Ping timeout: 246 seconds]
xgqt has joined #racket
badkins has joined #racket
kengruven has joined #racket
kengruven has quit [Ping timeout: 260 seconds]
skapate has joined #racket
skapate has quit [Changing host]
skapate has joined #racket
skapata has quit [Ping timeout: 240 seconds]
skapate has quit [Ping timeout: 248 seconds]
rekahsoft has joined #racket
Catie has quit [Quit: heading out]
rekahsoft has quit [Remote host closed the connection]
rekahsoft has joined #racket
theruran has quit [Quit: Connection closed for inactivity]
badkins has quit [Remote host closed the connection]
badkins has joined #racket
mon_aaraj has quit [Ping timeout: 246 seconds]
mon_aaraj has joined #racket
mon_aaraj has quit [Ping timeout: 246 seconds]
mon_aaraj has joined #racket
kengruven has joined #racket
skapata has joined #racket
skapata has joined #racket
skapata has quit [Changing host]
mon_aaraj has quit [Ping timeout: 268 seconds]
mon_aaraj has joined #racket
mon_aaraj has quit [Ping timeout: 268 seconds]
mon_aaraj has joined #racket
capfredf has quit [Remote host closed the connection]
capfredf has joined #racket
capfredf has quit [Remote host closed the connection]