tonyg changed the topic of #racket to: The Racket Programming Language -- https://racket-lang.org/ -- https://gather.town/app/wH1EDG3McffLjrs0/racket-users -- http://pasterack.org -- logged at https://libera.irclog.whitequark.org/racket/ -- This is the right place to ask for help with (Dr)Racket. Remember to wait around for an answer!
skapata has joined #racket
sxn has quit [Ping timeout: 252 seconds]
lucasta has joined #racket
morte_ has quit [Remote host closed the connection]
sxn has joined #racket
morte_ has joined #racket
sxn has quit [Ping timeout: 248 seconds]
badkins has joined #racket
monkey_ has joined #racket
badkins has quit [Ping timeout: 260 seconds]
monkey_ has quit [Remote host closed the connection]
sxn has joined #racket
morte_ has quit [Ping timeout: 250 seconds]
sxn has quit [Ping timeout: 248 seconds]
williewillus has joined #racket
monkey_ has joined #racket
sxn has joined #racket
badkins has joined #racket
sxn has quit [Ping timeout: 250 seconds]
badkins has quit [Remote host closed the connection]
badkins has joined #racket
badkins has quit [Remote host closed the connection]
sxn has joined #racket
sxn has quit [Ping timeout: 265 seconds]
jeosol has joined #racket
monkey_ has quit [Ping timeout: 255 seconds]
monkey_ has joined #racket
badkins has joined #racket
badkins has quit [Ping timeout: 260 seconds]
sxn has joined #racket
codaraxis has quit [Ping timeout: 246 seconds]
sxn has quit [Ping timeout: 252 seconds]
lucasta has quit [Remote host closed the connection]
codaraxis has joined #racket
codaraxis has quit [Max SendQ exceeded]
codaraxis has joined #racket
codaraxis has quit [Max SendQ exceeded]
codaraxis has joined #racket
sxn has joined #racket
scubagear has quit [Remote host closed the connection]
sxn has quit [Ping timeout: 248 seconds]
morte_ has joined #racket
monkey_ has quit [Quit: ERC 5.4 (IRC client for GNU Emacs 28.2)]
morte_ has quit [Ping timeout: 276 seconds]
sxn has joined #racket
sxn has quit [Ping timeout: 265 seconds]
sxn has joined #racket
sxn has quit [Ping timeout: 248 seconds]
ur5us has quit [Ping timeout: 260 seconds]
sxn has joined #racket
sxn has quit [Ping timeout: 246 seconds]
skapata has quit [Remote host closed the connection]
sxn has joined #racket
sxn has quit [Ping timeout: 246 seconds]
badkins has joined #racket
badkins has quit [Ping timeout: 276 seconds]
sxn has joined #racket
shawnw has joined #racket
sxn has quit [Ping timeout: 265 seconds]
williewillus has quit [Quit: ERC 5.4 (IRC client for GNU Emacs 28.2)]
scubagear has joined #racket
scubagear has quit [Remote host closed the connection]
scubagear has joined #racket
scubagear has quit [Remote host closed the connection]
shawnw has quit [Ping timeout: 265 seconds]
<cow_2001> :)
<cow_2001> how many languages in racket are type checked before running? i wasn't aware of plait in addition to typed-racket
shawnw has joined #racket
sxn has joined #racket
shawnw has quit [Ping timeout: 276 seconds]
shawnw has joined #racket
shawnw has quit [Ping timeout: 252 seconds]
shawnw has joined #racket
shawnw has quit [Ping timeout: 246 seconds]
jeosol has quit [Quit: Client closed]
nisstyre has quit [Ping timeout: 252 seconds]
<bremner> There are a few variations on plait. Hackett is more ambitious
nisstyre has joined #racket
<bremner> plaitypus, typed-plai, plait are all focussed on teaching.
<bremner> I'm not sure if alexis is still working on hackett; it was always a one person show afaik
<bremner> oh, cur looks fancy
<bremner> turnstile seems to be kind of typed racket dialect toolkit
badkins has joined #racket
badkins has quit [Ping timeout: 252 seconds]
sxn has quit [Quit: sxn]
<cow_2001> oh wow. so many! is the compiler able to use type signatures for optimisation or is it only useful right now for things like safety and self documenting code?
shawnw has joined #racket
<bremner> for typed/racket, optimization is one of the goals; for the others I'm not sure
shawnw has quit [Ping timeout: 250 seconds]
random-jellyfish has joined #racket
random-jellyfish has quit [Client Quit]
lucasta has joined #racket
wingo has quit [Ping timeout: 246 seconds]
wingo has joined #racket
badkins has joined #racket
skapata has joined #racket
scubagear has joined #racket
scubagear has quit [Remote host closed the connection]
codaraxis has quit [Ping timeout: 276 seconds]
morte_ has joined #racket
codaraxis has joined #racket
badkins has quit [Remote host closed the connection]
badkins has joined #racket
badkins has quit [Ping timeout: 252 seconds]
szkl has joined #racket
badkins has joined #racket
lucasta has quit [Remote host closed the connection]
lucasta has joined #racket
lucasta has quit [Remote host closed the connection]
badkins has quit [Remote host closed the connection]
badkins has joined #racket
badkins has quit [Remote host closed the connection]
badkins has joined #racket
badkins has quit [Ping timeout: 250 seconds]
badkins has joined #racket
badkins has quit [Ping timeout: 276 seconds]
scubagear has joined #racket
codaraxis has quit [Ping timeout: 264 seconds]
badkins has joined #racket
badkins has quit [Ping timeout: 248 seconds]
lucasta has joined #racket
badkins has joined #racket
badkins has quit [Ping timeout: 252 seconds]