ng0 has quit [Quit: Alexa, when is the end of world?]
<harber>
i see the docs, and it doesn't seem to explain much outside the two examples. i can do this: `(let ([x : Integer 1]) x)`, but i can't figure out how to make that x, say, a point struct with 2 values
pera has quit [Ping timeout: 258 seconds]
sebastianlin has joined #racket
<lexi-lambda>
harber: I don’t understand your question. Could you give some example code that doesn’t typecheck, but perhaps works in untyped Racket?
<harber>
so let's say i have:
<harber>
(struct point (x y))
<harber>
i can do:
<harber>
(let ([pointie (point 1 2)]) pointie)
<harber>
i think? i'm still EXTREMELY new to lispy stuff, coming from the land of curly braces
<lexi-lambda>
harber: That code works fine in Typed Racket if you add type annotations on the struct fields. Type annotations on let bindings are optional. http://pasterack.org/pastes/22228
<lexi-lambda>
If you wanted to put an explicit type annotation, you would write (let ([p : point (point 1 2)]) p).
<harber>
damn! you're right. i thought i tried that. i had something very similar commented out
<harber>
thank you!
<lexi-lambda>
No problem! Welcome to Racket.
<harber>
day 1 of lisp learning is... uncomfortable ;)
sleepnap has joined #racket
sleepnap has left #racket [#racket]
harber has quit [Ping timeout: 256 seconds]
pmatos has quit [Ping timeout: 240 seconds]
evdubs has quit [Quit: Leaving]
sebastianlin has quit [Ping timeout: 256 seconds]
evdubs has joined #racket
jao has quit [Ping timeout: 246 seconds]
FreeFull has quit []
dddddd has quit [Read error: Connection reset by peer]
pie___ has joined #racket
pie__ has quit [Ping timeout: 245 seconds]
dan_f has joined #racket
DGASAU has quit [Remote host closed the connection]
DGASAU has joined #racket
rlavery has joined #racket
DGASAU has quit [Read error: Connection reset by peer]
DGASAU has joined #racket
notzmv has quit [Ping timeout: 246 seconds]
DGASAU has quit [Read error: Connection reset by peer]
Lowl3v3l has joined #racket
<rlavery>
I'm making a toy Quadtree implementation in TR and have run into some trouble with mutually recursive types. The type checker seems to be complaining about a mismatch, and I am confused. http://pasterack.org/pastes/95307
sauvin has joined #racket
endformationage has quit [Quit: WeeChat 2.3]
sebastianlin has joined #racket
emacsomancer has joined #racket
orivej has quit [Ping timeout: 240 seconds]
lavaflow has quit [Read error: Connection reset by peer]
lavaflow has joined #racket
orivej has joined #racket
zmt01 has joined #racket
zmt00 has quit [Ping timeout: 250 seconds]
dan_f has quit [Quit: dan_f]
orivej has quit [Ping timeout: 268 seconds]
orivej_ has joined #racket
dan_f has joined #racket
ym555 has quit [Ping timeout: 245 seconds]
dmiles has quit [Read error: Connection reset by peer]
dan_f has quit [Quit: dan_f]
dmiles has joined #racket
err0ne has quit [Ping timeout: 244 seconds]
pmatos has joined #racket
ym has quit [Remote host closed the connection]
thallada has quit [Ping timeout: 246 seconds]
joni has quit [Ping timeout: 250 seconds]
thallada has joined #racket
mzan has joined #racket
YuGiOhJCJ has joined #racket
Falacer has joined #racket
soegaard has joined #racket
soegaard has quit [Client Quit]
thallada has quit [Ping timeout: 258 seconds]
soegaard has joined #racket
thallada has joined #racket
prite has joined #racket
sebastianlin has quit [Ping timeout: 256 seconds]
prite has quit [Quit: Konversation terminated.]
thallada has quit [Ping timeout: 245 seconds]
Sgeo__ has quit [Read error: Connection reset by peer]
Sgeo__ has joined #racket
thallada has joined #racket
mzan has left #racket [#racket]
thallada has quit [Ping timeout: 257 seconds]
Falacer has quit [Ping timeout: 246 seconds]
jcowan has quit [Quit: Connection closed for inactivity]
<mceier>
I don't think it's the issue with your package, I didn't find any package on https://pkgs.racket-lang.org/ without "This package needs documentation" warning (yet many of them define scribblings)
Falacer has joined #racket
q9929t has quit [Quit: q9929t]
thallada has quit [Ping timeout: 240 seconds]
YuGiOhJCJ has quit [Quit: YuGiOhJCJ]
jao has joined #racket
thallada has joined #racket
selimcan has joined #racket
thallada has quit [Ping timeout: 250 seconds]
ZombieChicken has quit [Ping timeout: 256 seconds]
dddddd has joined #racket
thallada has joined #racket
jcowan has joined #racket
Blkt has joined #racket
acarrico has quit [Ping timeout: 250 seconds]
acarrico has joined #racket
BSLANG has joined #racket
soegaard has joined #racket
soegaard has quit [Client Quit]
Lowl3v3l has quit [Remote host closed the connection]
BSLANG has quit [Quit: %Good bye!%]
ym555 has joined #racket
BSLANG has joined #racket
orivej_ has quit [Ping timeout: 246 seconds]
endformationage has joined #racket
acarrico has quit [Ping timeout: 268 seconds]
<dustyweb>
hello #racket
<dustyweb>
how's hacking going today
acarrico has joined #racket
DGASAU has joined #racket
dan_f has joined #racket
sleepnap has joined #racket
casaca has quit [Ping timeout: 250 seconds]
dbmikus has joined #racket
tilpner has quit [Quit: WeeChat 2.3]
tilpner has joined #racket
orivej has joined #racket
Lowl3v3l has joined #racket
pera has joined #racket
dan_f has quit [Quit: dan_f]
ym555 has quit [Ping timeout: 246 seconds]
dan_f has joined #racket
acarrico has quit [Ping timeout: 245 seconds]
acarrico has joined #racket
<winny>
dustyweb: pretty good. Need to learn more about macros :)
<dustyweb>
winny: I feel like i always need to learn more about macros :)
<winny>
it seems the trust for all racket users
<winny>
truth, rather
<eush>
parser-tools is a great excuse to use Racket at work :)
eush has quit [Quit: ERC (IRC client for Emacs 26.0.50)]
pierpal has quit [Quit: Poof]
ym555 has joined #racket
pierpal has joined #racket
<mrm>
eush: The documentation for parser-tools can be a bit sparse. There are some pretty helpful examples you can find on github though that make it a bit clearer.
q9929t has joined #racket
<selimcan>
Fear of Macros was quite a helpful reading
<rlavery>
I figured out my issue with mutually recursive types-- or a workaround at least. I made null-gated wrapper functions for the struct accessors. http://pasterack.org/pastes/11383 Now to tackle deletion. Won't somebody think of the children (nodes.)
dan_f has quit [Quit: dan_f]
dan_f has joined #racket
dbmikus has quit [Ping timeout: 246 seconds]
dbmikus has joined #racket
q9929t has quit [Quit: q9929t]
YuGiOhJCJ has joined #racket
FreeFull has joined #racket
YuGiOhJCJ has quit [Quit: YuGiOhJCJ]
pera has quit [Ping timeout: 245 seconds]
ym has joined #racket
zmt01 is now known as zmt00
pera has joined #racket
ubLIX has joined #racket
Falacer has quit [Ping timeout: 244 seconds]
ym555_ has joined #racket
ym555 has quit [Ping timeout: 250 seconds]
sauvin has quit [Remote host closed the connection]
pierpal has quit [Quit: Poof]
pierpal has joined #racket
eush has joined #racket
dbmikus_ has joined #racket
dbmikus has quit [Ping timeout: 250 seconds]
endformationage has quit [Ping timeout: 245 seconds]
selimcan has quit [Ping timeout: 258 seconds]
DGASAU has quit [Read error: Connection reset by peer]
DGASAU has joined #racket
dan_f has quit [Quit: dan_f]
selimcan has joined #racket
selimcan has quit [Ping timeout: 258 seconds]
selimcan has joined #racket
m1dnight_ has joined #racket
ZombieChicken has joined #racket
orivej has quit [Ping timeout: 258 seconds]
selimcan has quit [Read error: Connection reset by peer]
maxsnew has quit [Quit: ERC (IRC client for Emacs 26.1)]
selimcan has joined #racket
dTal is now known as duckhunt
selimcan has quit [Client Quit]
selimcan has joined #racket
duckhunt is now known as dTal
widp_ has joined #racket
selimcan has quit [Ping timeout: 246 seconds]
sleepnap has left #racket [#racket]
orivej has joined #racket
dbmikus_ has quit [Ping timeout: 258 seconds]
badkins has quit [Ping timeout: 250 seconds]
endformationage has joined #racket
ubLIX has quit [Quit: ubLIX]
mzan has joined #racket
selimcan has joined #racket
eush has quit [Quit: ERC (IRC client for Emacs 26.1)]
selimcan has quit [Remote host closed the connection]