samth changed the topic of #racket to: Racket v7.8 has been released: https://blog.racket-lang.org/2020/08/racket-v7-8.html -- Racket -- https://racket-lang.org -- https://pkgs.racket-lang.org -- Paste at http://pasterack.org
bchar has joined #racket
peddie has joined #racket
rj_ has quit [Ping timeout: 272 seconds]
rj_ has joined #racket
Fare has quit [Ping timeout: 240 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
rj_ has quit [Ping timeout: 260 seconds]
rj_ has joined #racket
aaaaaa has joined #racket
TCZ has quit [Quit: Leaving]
Fare has joined #racket
rj_ has quit [Ping timeout: 272 seconds]
badkins has quit [Remote host closed the connection]
badkins has joined #racket
badkins has quit [Ping timeout: 272 seconds]
_whitelogger has joined #racket
nebunez has joined #racket
snake_case has joined #racket
<snake_case> Hey, I wanted to learn some Lisp variant and a nice scripting language for use in C++ projects, Racket seems to be both and judging by reference pages it might even be better than PowerShell for the latter
<snake_case> What's the easiest way to learn it?
Batzy has joined #racket
<BitPuffin> The racket guide is good
<samth> snake_case: it sounds like you're already a c++ programmer, I would start with https://docs.racket-lang.org/quick/index.html and then https://docs.racket-lang.org/more/index.html
arpunk has quit [Ping timeout: 258 seconds]
arpunk has joined #racket
<snake_case> those look actually really good
orivej has quit [Ping timeout: 256 seconds]
bchar has quit [*.net *.split]
peddie has quit [*.net *.split]
badkins has joined #racket
badkins has quit [Ping timeout: 258 seconds]
caente has quit [Ping timeout: 252 seconds]
bchar has joined #racket
peddie has joined #racket
endformationage has quit [Quit: WeeChat 2.9]
nebunez has quit [Ping timeout: 272 seconds]
aaaaaa has quit [Quit: leaving]
aidalgol has quit [Quit: ZNC 1.7.2+deb3 - https://znc.in]
aidalgol has joined #racket
ullbeking has quit [Ping timeout: 256 seconds]
ullbeking has joined #racket
narimiran has joined #racket
countvajhula has quit [Ping timeout: 260 seconds]
countvajhula has joined #racket
countvajhula has quit [Ping timeout: 240 seconds]
sputny has joined #racket
countvajhula has joined #racket
poga has quit [Ping timeout: 240 seconds]
poga has joined #racket
fredmanglis has joined #racket
aidalgol has quit [Quit: ZNC 1.7.2+deb3 - https://znc.in]
Fare has quit [Ping timeout: 240 seconds]
bocaneri has joined #racket
bocaneri has quit [Max SendQ exceeded]
bocaneri has joined #racket
bocaneri has quit [Max SendQ exceeded]
bocaneri has joined #racket
bocaneri is now known as Sauvin
snake_case has quit [Remote host closed the connection]
badkins has joined #racket
badkins has quit [Ping timeout: 256 seconds]
mmohammadi9812 has joined #racket
countvajhula has quit [Ping timeout: 260 seconds]
selimcan has quit [Ping timeout: 246 seconds]
countvajhula has joined #racket
countvajhula has quit [Ping timeout: 260 seconds]
Sgeo has quit [Read error: Connection reset by peer]
aidalgol has joined #racket
orivej has joined #racket
jmiven has quit [Ping timeout: 272 seconds]
jmiven has joined #racket
catonano has quit [Ping timeout: 240 seconds]
mirrorbird has joined #racket
catonano has joined #racket
badkins has joined #racket
davidl_ has joined #racket
davidl has quit [Quit: WeeChat 2.3]
badkins has quit [Ping timeout: 265 seconds]
mirrorbird has quit [Quit: Leaving]
<dzoe> Is there a way for a _fast_ access to C arrays/structs? A quick benchmarking of fxvector-ref versus array-ref or _uint32/64 shows huge difference in favor of fxvector-ref. The same for flvector-ref versus array of _double.
<dzoe> Funnily enough - the safe versions of fx/flvector procedures are way faster than ffi/unsafe...
phillbush has joined #racket
orivej has quit [Ping timeout: 240 seconds]
orivej has joined #racket
countvajhula has joined #racket
countvajhula has quit [Ping timeout: 240 seconds]
MetaHertz has joined #racket
mmohammadi98120 has joined #racket
mmohammadi9812 has quit [Ping timeout: 264 seconds]
sputny has quit [Remote host closed the connection]
mmohammadi9812 has joined #racket
mmohammadi98120 has quit [Ping timeout: 265 seconds]
mmohammadi98126 has joined #racket
mmohammadi9812 has quit [Ping timeout: 272 seconds]
mmohammadi98126 has quit [Ping timeout: 260 seconds]
TCZ has joined #racket
badkins has joined #racket
badkins has quit [Ping timeout: 260 seconds]
orivej has quit [Ping timeout: 265 seconds]
orivej_ has joined #racket
TCZ has quit [Quit: Leaving]
orivej_ has quit [Ping timeout: 260 seconds]
nebunez has joined #racket
Fare has joined #racket
TCZ has joined #racket
badkins has joined #racket
bitmapper has quit [Quit: Connection closed for inactivity]
N0S4A2 has joined #racket
mirrorbird has joined #racket
nullcone has quit [Ping timeout: 240 seconds]
JStoker has quit [Ping timeout: 240 seconds]
yurb has quit [Ping timeout: 240 seconds]
fredmanglis has quit [Ping timeout: 272 seconds]
caente has joined #racket
nullcone has joined #racket
Batzy has quit [Ping timeout: 260 seconds]
dustyweb has quit [Ping timeout: 260 seconds]
JStoker has joined #racket
94KAATL6B has joined #racket
Sgeo has joined #racket
Boarders has quit [Ping timeout: 244 seconds]
Boarders has joined #racket
bchar_ has joined #racket
bchar has quit [*.net *.split]
peddie has quit [*.net *.split]
bchar_ is now known as bchar
ecraven has quit [Ping timeout: 240 seconds]
fredmanglis has joined #racket
ecraven- has joined #racket
Boarders has joined #racket
Boarders has quit [Ping timeout: 244 seconds]
selimcan has joined #racket
TCZ has quit [Ping timeout: 258 seconds]
badkins has quit [Remote host closed the connection]
badkins has joined #racket
bitmapper has joined #racket
casaca has quit [Ping timeout: 244 seconds]
casaca has joined #racket
fredmanglis has quit [Ping timeout: 240 seconds]
fredmanglis has joined #racket
TCZ has joined #racket
aeth has quit [Ping timeout: 265 seconds]
TCZ has quit [Quit: Leaving]
aeth has joined #racket
DGASAU has quit [Read error: Connection reset by peer]
endformationage has joined #racket
DGASAU has joined #racket
dustyweb has joined #racket
DGASAU has quit [Read error: Connection reset by peer]
DGASAU has joined #racket
dustyweb has quit [Ping timeout: 240 seconds]
<bitmapper> why does if in typed racket not seem to follow typing rules
arpunk has quit [Ping timeout: 260 seconds]
selimcan has quit [Ping timeout: 260 seconds]
arpunk has joined #racket
<mirrorbird> is there a shortcut for "Step" in the DrRacket debugger?
<mirrorbird> does anyone else find debugging in drracket a bit of a pain?
<mirrorbird> maybe i'm doing it wrong
ym555 has quit [Ping timeout: 240 seconds]
FreeFull has joined #racket
rj_ has joined #racket
badkins has quit [Remote host closed the connection]
fredmanglis has quit [Ping timeout: 240 seconds]
fredmanglis has joined #racket
badkins has joined #racket
badkins has quit [Ping timeout: 256 seconds]
<samth> bitmapper: which typing rules?
<bitmapper> i guess it does
cloveistaken has joined #racket
<bitmapper> i'm just not expecting to be able to pass a non bool to if as the condition
DGASAU has quit [Read error: Connection reset by peer]
fredmanglis has quit [Ping timeout: 264 seconds]
DGASAU has joined #racket
badkins has joined #racket
<samth> bitmapper: that's how racket works generally
<bitmapper> hmm?
<bitmapper> samth: what do you mean
<samth> bitmapper: racket's if works with arbitrary values
<samth> (if 3 4 5) => 4
<bitmapper> i get that, but why does it work in typed racket?
<bitmapper> (if 3 4 5) and (if 3 "a" 4) both work
<samth> why shouldn't it work in typed racket?
rj_ has quit [Ping timeout: 265 seconds]
<bitmapper> because i'd think the case argument to if would be typed as bool
<samth> that would be different from what you can do in racket though, and there's no particular reason to do that
<bitmapper> but doesn't so then what's the return type of an if
<bitmapper> ah
<bitmapper> sorry
rj_ has joined #racket
<bitmapper> * so then what's the return type of an if
<samth> it's the union of the types of the then and the else branches
<bitmapper> ah
<bitmapper> makes sense
<bitmapper> i think i've been writing too much agda
<grym> bitmapper: you're not fooling anyone, 5 lines a day isn't much :)
<bitmapper> ?
<bitmapper> i wrote at LEAST 20 lines ok
<grym> haha
<grym> big man on campus
<bitmapper> :'( not yet
<grym> my sibling writes agda
<grym> and, uh
<grym> i cannot read a line of it
<bitmapper> just turned 18 so i'm not in university yet
<bitmapper> speaking of which
<bitmapper> i don't think i'll be able to
<grym> oh?
<bitmapper> my grades in high school were really bad
<grym> where in the world are you?
<bitmapper> canada
<bitmapper> when i say "really bad" i mean "i should have failed" bad
<grym> nisstyre might know
<grym> ¯\_(ツ)_/¯
<grym> i don't know, i'm yer southern neighbor
orivej has joined #racket
rj_ has quit [Ping timeout: 240 seconds]
rj_ has joined #racket
<bitmapper> samth: sorry for showing hazel agda by the way
<grym> bitmapper: (that's what my sibling works on, heh)
<bitmapper> ?
<grym> hazel
<bitmapper> oh, neat
true-grue has joined #racket
Sauvin has quit [Remote host closed the connection]
rj_ has quit [Ping timeout: 256 seconds]
rj_ has joined #racket
rj_ has quit [Ping timeout: 240 seconds]
rj_ has joined #racket
dustyweb has joined #racket
badkins has quit [Remote host closed the connection]
rj_ has quit [Ping timeout: 258 seconds]
rj_ has joined #racket
badkins has joined #racket
TCZ has joined #racket
mirrorbird has quit [Remote host closed the connection]
caente has quit [Read error: Connection reset by peer]
caente has joined #racket
rj_ has quit [Ping timeout: 258 seconds]
mirrorbird has joined #racket
rj_ has joined #racket
MetaHertz has quit [Ping timeout: 240 seconds]
rj_ has quit [Ping timeout: 260 seconds]
rj_ has joined #racket
rj_ has quit [Ping timeout: 265 seconds]
rj_ has joined #racket
true-grue has quit [Read error: Connection reset by peer]
Batzy has joined #racket
rj_ has quit [Ping timeout: 240 seconds]
mirrorbird has quit [Quit: Leaving]
TCZ has quit [Quit: Leaving]
narimiran has quit [Ping timeout: 260 seconds]
countvajhula has joined #racket
Fare has quit [Ping timeout: 244 seconds]
selimcan has joined #racket
Fare has joined #racket
mirrorbird has joined #racket
nebunez has quit [Ping timeout: 240 seconds]
<Fernando-Basso[m> Is it possible to remove/disable that “trailing whitespace” thing in the repl?
FreeFull has quit []
<Fernando-Basso[m> greghendershott: Perhaps you know about a way to do that?
<greghendershott> Fernando-Basso[m: (setq show-trailing-whitespace nil), for example in a racket-repl-mode-hook.
<greghendershott> Or, since I think it is nil by default, change some hook you have that is doing (set show-trailing-whitespace t).
<greghendershott> show-trailing-whitespace is buffer-local, so it can be on or off for different buffers.
<greghendershott> I usually disable it for magit-mode.
<greghendershott> I enable it in prog-mode-hook, in my personal config, which enables it for racket-mode.
<greghendershott> But racket-repl-mode is not derived from prog-mode.
<greghendershott> In my personal config I don't seem to disable it for racket-repl-mode. I think it's just off by default and I leave it off by default.
<greghendershott> So I think probably you have something that enables it, and, you just want to stop doing that?
<greghendershott> Or leave that thing, and explicitly disable it for racket-repl-mode.
<greghendershott> Up to you, not sure about your config.
<Fernando-Basso[m> I have editorconfig.
<Fernando-Basso[m> greghendershott: Thanks a lot.
Fare has quit [Ping timeout: 240 seconds]
Fare has joined #racket
countvajhula has quit [Ping timeout: 240 seconds]
badkins has quit [Remote host closed the connection]
countvajhula has joined #racket
badkins has joined #racket
badkins has quit [Ping timeout: 240 seconds]
badkins has joined #racket