samth changed the topic of #racket to: Racket v7.7 has been released: https://blog.racket-lang.org/2020/05/racket-v7-7.html -- Racket -- https://racket-lang.org -- https://pkgs.racket-lang.org -- Paste at http://pasterack.org
catonano has quit [Ping timeout: 264 seconds]
selimcan has quit [Ping timeout: 256 seconds]
badkins has quit [Remote host closed the connection]
doyougnu has quit [Ping timeout: 256 seconds]
badkins has joined #racket
badkins has quit [Ping timeout: 256 seconds]
notzmv has joined #racket
orivej has joined #racket
YuGiOhJCJ has joined #racket
orivej has quit [Ping timeout: 260 seconds]
orivej has joined #racket
badkins has joined #racket
badkins has quit [Ping timeout: 256 seconds]
orivej has quit [Quit: No Ping reply in 180 seconds.]
orivej has joined #racket
Sgeo has quit [Read error: Connection reset by peer]
Sgeo has joined #racket
Sgeo has quit [Read error: Connection reset by peer]
orivej has quit [Remote host closed the connection]
Sgeo has joined #racket
orivej has joined #racket
orivej has quit [Remote host closed the connection]
dataangel has quit [Remote host closed the connection]
narimiran has joined #racket
orivej has joined #racket
dataangel has joined #racket
Fare has quit [Ping timeout: 260 seconds]
Fare has joined #racket
orivej has quit [Ping timeout: 256 seconds]
orivej has joined #racket
orivej_ has joined #racket
gour has joined #racket
orivej has quit [Ping timeout: 240 seconds]
endformationage has quit [Quit: WeeChat 2.7.1]
orivej_ has quit [Quit: No Ping reply in 180 seconds.]
orivej has joined #racket
bocaneri has joined #racket
badkins has joined #racket
badkins has quit [Ping timeout: 240 seconds]
orivej has quit [Ping timeout: 256 seconds]
Fare has quit [Ping timeout: 244 seconds]
ermo has quit [Quit: ZNC 1.8.1 - https://znc.in]
catonano has joined #racket
ermo has joined #racket
rain1 has left #racket ["WeeChat 1.6"]
badkins has joined #racket
tilpner has joined #racket
badkins has quit [Ping timeout: 256 seconds]
orivej has joined #racket
orivej has quit [Ping timeout: 256 seconds]
orivej has joined #racket
hendursa1 has joined #racket
hendursaga has quit [Ping timeout: 240 seconds]
orivej has quit [Ping timeout: 260 seconds]
Sgeo has quit [Read error: Connection reset by peer]
YuGiOhJCJ has quit [Quit: YuGiOhJCJ]
orivej has joined #racket
badkins has joined #racket
dddddd has quit [Ping timeout: 256 seconds]
badkins has quit [Ping timeout: 256 seconds]
orivej has quit [Ping timeout: 256 seconds]
orivej has joined #racket
orivej has quit [Ping timeout: 240 seconds]
dddddd has joined #racket
doyougnu has joined #racket
doyougnu has quit [Remote host closed the connection]
selimcan has joined #racket
gour has quit [Remote host closed the connection]
gour has joined #racket
badkins has joined #racket
badkins has quit [Ping timeout: 256 seconds]
badkins has joined #racket
Fare has joined #racket
doyougnu has joined #racket
hendursa1 has quit [Quit: hendursa1]
hendursaga has joined #racket
notzmv has quit [Ping timeout: 260 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
TCZ has joined #racket
narimiran has quit [Ping timeout: 256 seconds]
badkins has quit [Remote host closed the connection]
badkins has joined #racket
orivej has joined #racket
badkins has quit [Ping timeout: 256 seconds]
badkins has joined #racket
badkins has quit [Remote host closed the connection]
badkins has joined #racket
badkins has quit [Remote host closed the connection]
badkins has joined #racket
iyzsong has quit [Quit: ZNC 1.7.5 - https://znc.in]
iyzsong has joined #racket
orivej has quit [Remote host closed the connection]
orivej has joined #racket
iyzsong has quit [Quit: ZNC 1.7.5 - https://znc.in]
iyzsong has joined #racket
orivej has quit [Quit: No Ping reply in 180 seconds.]
orivej has joined #racket
Sgeo has joined #racket
orivej has quit [Remote host closed the connection]
orivej has joined #racket
badkins has quit [Remote host closed the connection]
badkins has joined #racket
orivej has quit [Remote host closed the connection]
orivej has joined #racket
badkins has quit [Remote host closed the connection]
badkins has joined #racket
badkins has quit [Remote host closed the connection]
gour has left #racket ["Leaving"]
badkins has joined #racket
badkins has quit [Ping timeout: 240 seconds]
orivej has quit [Ping timeout: 246 seconds]
badkins has joined #racket
badkins has quit [Ping timeout: 265 seconds]
selimcan has quit [Ping timeout: 256 seconds]
badkins has joined #racket
badkins has quit [Ping timeout: 256 seconds]
selimcan has joined #racket
TCZ has quit [Quit: Leaving]
badkins has joined #racket
badkins has quit [Ping timeout: 240 seconds]
badkins has joined #racket
badkins has quit [Ping timeout: 264 seconds]
nebunez has quit [Ping timeout: 265 seconds]
badkins has joined #racket
badkins has quit [Ping timeout: 256 seconds]
bocaneri has quit [Read error: Connection reset by peer]
narimiran has joined #racket
notzmv has joined #racket
badkins has joined #racket
badkins_ has joined #racket
badkins__ has joined #racket
badkins has quit [Ping timeout: 256 seconds]
badkins_ has quit [Ping timeout: 260 seconds]
badkins__ has quit [Remote host closed the connection]
badkins has joined #racket
countvajhula has joined #racket
<countvajhula> are there naming conventions on variables holding predicates vs variables holding boolean values?
<countvajhula> e.g. (define strict? #t) is a boolean value
<countvajhula> vs (empty? lst) a predicate
<bremner> I don't think people usual put ? on identifiers not bound to functions
<countvajhula> should they both be suffixed with a ? or should the former be named something else? is there a convention?
<bremner> I'm not sure though.
badkins has quit [Ping timeout: 246 seconds]
<countvajhula> hm so maybe just something like (define strict #t)
badkins has joined #racket
epony has quit [Remote host closed the connection]
<bremner> yeah, that would be my first instinct
<bremner> https://docs.racket-lang.org/style/Textual_Matters.html#%28part._names%29 says "predicates and boolean valued functions"
<bremner> for ?. Not sure what a predicate is other than a boolean valued function...
<countvajhula> hehe yeah I was just wondering about that too..
<countvajhula> I'll go with that for now, thank you
<bremner> the same link mentions suffixes for variables, but I'm not really convinced about strict-boolean
<countvajhula> ah yeah, I do remember seeing that some time ago, and wasn't too taken with the idea of type suffixes
badkins has quit [Remote host closed the connection]
badkins has joined #racket
<countvajhula> i haven't used type suffixes for variables but I guess I might in a situation where there are actually two similarly-named variables with different types (like the example in the docs)
badkins has quit [Remote host closed the connection]
<countvajhula> doesn't happen often though
badkins has joined #racket
epony has joined #racket
<countvajhula> for strict boolean values, how about something like is-strict, is-empty .. with appropriate form depending on number - are-empty, are-missing. any opinions on this?
<countvajhula> this is just another way of indicating the type in the variable name, so in that respect it's no different than the one in the docs, but it seems easier on the eyes. just thinking out loud
narimiran has quit [Ping timeout: 240 seconds]
selimcan has quit [Remote host closed the connection]
countvajhula has quit [Ping timeout: 244 seconds]
badkins has quit [Remote host closed the connection]
badkins has joined #racket
darius-os has joined #racket
badkins has quit [Remote host closed the connection]
badkins has joined #racket
countvajhula has joined #racket
badkins has quit [Remote host closed the connection]
badkins has joined #racket
badkins has quit [Ping timeout: 240 seconds]
countvajhula has quit [Remote host closed the connection]
countvajhula has joined #racket
selimcan has joined #racket
badkins has joined #racket
badkins has quit [Ping timeout: 265 seconds]
darius-os has quit [Remote host closed the connection]
caltelt has joined #racket
doyougnu has quit [Ping timeout: 240 seconds]
badkins has joined #racket
nullcone has quit [Quit: Connection closed for inactivity]