samth changed the topic of #racket to: Racket v7.3 has been released: https://blog.racket-lang.org/2019/05/racket-v7-3.html -- Racket -- https://racket-lang.org -- https://pkgs.racket-lang.org -- Paste at http://pasterack.org
ermo has quit [Quit: ZNC 1.7.3 - https://znc.in]
ermo has joined #racket
notzmv has quit [Ping timeout: 244 seconds]
casaca has joined #racket
dustyweb has joined #racket
badkins has joined #racket
friscosam has quit [Remote host closed the connection]
jao has quit [Remote host closed the connection]
keep_learning_M has joined #racket
efm has quit [Quit: Konversation terminated!]
YuGiOhJCJ has quit [Ping timeout: 260 seconds]
FreeFull has quit []
cromyr has joined #racket
cromyr has quit [Quit: leaving]
cromyr has joined #racket
friscosam has joined #racket
_whitelogger has joined #racket
dddddd has quit [Remote host closed the connection]
ym555_ has joined #racket
ym555 has quit [Ping timeout: 246 seconds]
lispmacs has quit [Ping timeout: 248 seconds]
casaca has quit [Quit: leaving]
endformationage has quit [Quit: WeeChat 2.5]
Lowl3v3l has quit [Ping timeout: 244 seconds]
Arcaelyx has quit [Quit: Arcaelyx]
afidegnum has joined #racket
afidegnum has quit [Client Quit]
pera has quit [Quit: leaving]
clacke_movim has left #racket [#racket]
clacke_movim has joined #racket
sauvin has joined #racket
clacke_movim has left #racket [#racket]
ZombieChicken has quit [Ping timeout: 246 seconds]
clacke_movim has joined #racket
selimcan has joined #racket
zipper has joined #racket
zipper has quit [Read error: Connection reset by peer]
keep_learning_M has quit [Ping timeout: 245 seconds]
clacke_movim has left #racket [#racket]
clacke_movim has joined #racket
keep_learning_M has joined #racket
orivej has quit [Ping timeout: 245 seconds]
zipper has joined #racket
davidl has joined #racket
vraid has joined #racket
keep_learning_M has quit [Ping timeout: 258 seconds]
keep_learning_M has joined #racket
<zipper> Hello, anyone home?
manualcrank has quit [Quit: WeeChat 1.9.1]
<zipper> I have a contract `(provide (contract-out [mult (-> number? number? number?)]))` and a function `(define (mult x y) x)`
<zipper> However I can call functions like (mult "cow" "peas")
<zipper> Why isn't my contract working?
keep_learning_M has quit [Quit: This computer has gone to sleep]
<jboy> zipper: Unless you're working with modules I think it's easier to write `(define/contract (mult x y) [-> number? number? number?] y)`
<zipper> jboy: I am writing these contracts in modules
<zipper> jboy: Actually I'm writing some graphs and every contract seems moot
<zipper> Arrgghhhhhhhhhhh
keep_learning has joined #racket
<jboy> not sure, the few times I've done stuff like this I've used typed racket rather than contracts
zipper has quit [Ping timeout: 246 seconds]
zipper has joined #racket
<zipper> Thanks jboy
<zipper> Sorry I have a terrible internet connection.
<zipper> Can typed racket and racket share modules?
<vraid> absolutely
<vraid> typed modules are callable as-is from untyped modules
<vraid> untyped modules need to be imported with contracts before being callable from typed modules
<zipper> vraid: Thank you
lavaflow has quit [Ping timeout: 272 seconds]
selimcan has quit [Quit: Leaving]
iyzsong has joined #racket
ym555_ has quit [Ping timeout: 246 seconds]
davidl has quit [Ping timeout: 245 seconds]
orivej has joined #racket
dddddd has joined #racket
davidl has joined #racket
notzmv has joined #racket
<jboy> On the issue of typed/racket, how do I specify a default value for a function parameter in t/r?
zipper has quit [Ping timeout: 258 seconds]
zipper has joined #racket
zipper has quit [Ping timeout: 272 seconds]
zipper has joined #racket
zipper has quit [Ping timeout: 246 seconds]
zipper has joined #racket
<jboy> vraid: thanks!
davidl has quit [Ping timeout: 246 seconds]
zipper has quit [Ping timeout: 245 seconds]
zipper has joined #racket
<jboy> ok, now I see this is implicitly in the T/R guide, but it could be more explicit... thanks again, vraid
zipper has quit [Ping timeout: 245 seconds]
zipper has joined #racket
zipper has quit [Read error: Connection reset by peer]
zipper has joined #racket
endformationage has joined #racket
zipper has quit [Ping timeout: 268 seconds]
zipper has joined #racket
notzmv has quit [Ping timeout: 258 seconds]
englishm has quit [Excess Flood]
englishm has joined #racket
lockywolf has joined #racket
lockywolf_ has joined #racket
lockywolf_ has quit [Remote host closed the connection]
lockywolf_ has joined #racket
lockywolf has quit [Ping timeout: 272 seconds]
Guest94202 has joined #racket
jao has joined #racket
iyzsong has quit [Ping timeout: 276 seconds]
<jcowan> zipper: However, the cost of checking constraints as data moves (as it often does) repeatedly from untyped to typed and back can make Typed Racket *very* slow, so unless everything you use has type annotations, you will pay a price at run time.
<zipper> jcowan: Thanks for that. Speed matters a lot to me.
<jcowan> I don't say, don't use it. I just say, be careful and profile.
lockywolf__ has joined #racket
lockywolf_ has quit [Read error: Connection reset by peer]
lockywolf__ has quit [Max SendQ exceeded]
lockywolf__ has joined #racket
zipper has quit [Ping timeout: 268 seconds]
zipper has joined #racket
vraid has quit [Quit: Leaving]
Guest94202 is now known as notzmv
lockywolf_ has joined #racket
lockywolf__ has quit [Ping timeout: 245 seconds]
Lowl3v3l has joined #racket
andrei-n has joined #racket
<andrei-n> Hello. I am developing a gui application and would like to have a picture or shape floating above a canvas. Can this be done? Thanks.
ziyourenxiang has quit [Ping timeout: 244 seconds]
manualcrank has joined #racket
pie__ has quit [Ping timeout: 246 seconds]
<andrei-n> Is there something like a stack panel, which would add elements on the z axis?
clacke_movim has left #racket [#racket]
davidl has joined #racket
Arcaelyx has joined #racket
<zipper> How could I represent nils in racket
<zipper> or falsey values
<technomancy> zipper: "nil" doesn't have a specific meaning; it's used to represent a host of different situations. there's no one answer; it depends on what you're actually trying to represent.
johnjay has quit [Read error: Connection reset by peer]
<zipper> technomancy: A falsey value
<technomancy> false?
<technomancy> is this a trick question?
johnjay has joined #racket
<rain1> #f represents false
<rain1> we don't have anything like nil
<rain1> can you explain what you use it for?
johnjay has quit [Read error: Connection reset by peer]
clacke_movim has joined #racket
<zipper> rain1: Ah I guess I'll use that
<zipper> technomancy: it's not a trick question. I'm trying to write umm terse code
johnjay has joined #racket
<zipper> I'll use #f
<technomancy> also "false" represents false
<technomancy> (without the quotes)
lavaflow has joined #racket
selimcan has joined #racket
DGASAU has quit [Read error: Connection reset by peer]
sleepnap has joined #racket
DGASAU has joined #racket
<jcowan> zipper: Both Scheme and CL have only one falsy value. In Scheme it is spelled #f or in a few implementations also #false (which some people think is more readable). In CL you can spell it as () or NIL, but they represent just one value, simultaneously the empty list and the falsy value.
casaca has joined #racket
sauvin has quit [Ping timeout: 272 seconds]
ermo has quit [Ping timeout: 272 seconds]
ubLIX has joined #racket
selimcan has quit [Quit: Leaving]
ermo has joined #racket
<zipper> Thanks guys
casaca has quit [Ping timeout: 258 seconds]
casaca has joined #racket
orivej has quit [Ping timeout: 248 seconds]
jao has quit [Ping timeout: 248 seconds]
jao has joined #racket
zipper has quit [Ping timeout: 248 seconds]
andrei-n has quit [Remote host closed the connection]
casaca has quit [Remote host closed the connection]
ubLIX has quit [Quit: ubLIX]
ym555_ has joined #racket
FreeFull has joined #racket
sleepnap has quit [Quit: Leaving.]
sleepnap has joined #racket
Fernando-Basso has joined #racket
vraid has joined #racket
sleepnap has quit [Ping timeout: 245 seconds]
jcowan has quit [Quit: Connection closed for inactivity]
pie_ has joined #racket
ziyourenxiang has joined #racket
orivej has joined #racket
clacke_movim has left #racket [#racket]
dmiles has quit [Ping timeout: 245 seconds]
dmiles has joined #racket
Fernando-Basso has quit [Remote host closed the connection]
sleepnap has joined #racket
enderby has joined #racket
<technomancy> is it pretty normal to define foo and foo-aux when you're writing a recursive function that needs specific arguments for recursive purposes which you can't expect the caller to supply because they're implementation details?