samth changed the topic of #racket to: Racket v7.6 has been released: https://blog.racket-lang.org/2020/02/racket-v7-6.html -- Racket -- https://racket-lang.org -- https://pkgs.racket-lang.org -- Paste at http://pasterack.org
orivej has quit [Ping timeout: 240 seconds]
nullcone has joined #racket
zmt01 has joined #racket
<samth> aeth: this channel isn't configured in some special way for that
zmt00 has quit [Ping timeout: 260 seconds]
iyzsong has joined #racket
brendyyn has joined #racket
orivej has joined #racket
ArneBab_ has quit [Ping timeout: 252 seconds]
dddddd has quit [Ping timeout: 265 seconds]
libertyprime has joined #racket
narimiran has joined #racket
theruran has joined #racket
wingsorc has quit [Quit: Leaving]
rmnull has quit [Quit: WeeChat 2.8]
even4void has joined #racket
even4void has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
ephemera_ has quit [Ping timeout: 256 seconds]
ephemera_ has joined #racket
Codaraxis__ has quit [Ping timeout: 240 seconds]
Codaraxis__ has joined #racket
revtintin has joined #racket
revtintin has quit [Ping timeout: 264 seconds]
revtintin has joined #racket
catonano has joined #racket
revtintin has quit [Ping timeout: 256 seconds]
even4void has joined #racket
catonano has quit [Quit: catonano]
revtintin has joined #racket
even4void has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
dddddd has joined #racket
revtintin has quit [Ping timeout: 256 seconds]
revtintin has joined #racket
revtintin has quit [Ping timeout: 256 seconds]
revtintin has joined #racket
extrowerk has left #racket [#racket]
narimiran has quit [Ping timeout: 256 seconds]
Sgeo__ has joined #racket
Sgeo_ has quit [Ping timeout: 264 seconds]
theruran has quit [Quit: Connection closed for inactivity]
<sarna> hey, are there any plans for typed racket to support types of polymorphism other than parametric?
<sarna> I went through the github issues but didn’t find anything useful
karrq has joined #racket
<karrq> Hello, is anybody familiar with racketscript here?
iyzsong has quit [Ping timeout: 256 seconds]
revtintin has quit [Ping timeout: 264 seconds]
narimiran has joined #racket
revtintin has joined #racket
karrq has quit [Remote host closed the connection]
KDr24 has joined #racket
KDr23 has quit [Ping timeout: 256 seconds]
revtintin has quit [Ping timeout: 256 seconds]
srji has joined #racket
revtintin has joined #racket
revtintin has quit [Ping timeout: 258 seconds]
efm has quit [Ping timeout: 260 seconds]
revtintin has joined #racket
Sgeo_ has joined #racket
Sgeo__ has quit [Ping timeout: 240 seconds]
brendyyn has quit [Ping timeout: 256 seconds]
m1dnight_ has quit [Quit: WeeChat 2.4]
revtintin has quit [Ping timeout: 256 seconds]
m1dnight_ has joined #racket
m1dnight_ has quit [Client Quit]
m1dnight_ has joined #racket
m1dnight_ has quit [Client Quit]
m1dnight_ has joined #racket
lavaflow has quit [Ping timeout: 264 seconds]
Lowl3v3l has quit [Ping timeout: 265 seconds]
Lowl3v3l has joined #racket
jaffachief has quit [Quit: Lost terminal]
lavaflow has joined #racket
Sgeo__ has joined #racket
Sgeo_ has quit [Ping timeout: 265 seconds]
libertyprime has quit [Read error: No route to host]
Sgeo_ has joined #racket
nebunez has joined #racket
Sgeo__ has quit [Ping timeout: 250 seconds]
Sgeo__ has joined #racket
Sgeo_ has quit [Ping timeout: 260 seconds]
nebunez has quit [Ping timeout: 260 seconds]
jellie has joined #racket
jellie has quit [Ping timeout: 256 seconds]
jellie has joined #racket
true-grue has joined #racket
YuGiOhJCJ has joined #racket
narimiran has quit [Quit: leaving]
nikita` has left #racket [#racket]
nebunez has joined #racket
<samth> sarna: what do you mean? for example, typed racket supports OO programming
jellie has quit [Ping timeout: 258 seconds]
dustyweb has joined #racket
jellie has joined #racket
jellie has quit [Ping timeout: 264 seconds]
andswitch has joined #racket
<andswitch> Is it possible to use other languages in scribble/lp2's @chunk? Looks like it processes each form with @racketblock, but that means Racket syntax. There is @codeblock that allows you to put a #lang shorthand, but @chunk doesn't use that.
jellie has joined #racket
tilpner_ has joined #racket
tilpner has quit [Ping timeout: 240 seconds]
tilpner_ is now known as tilpner
jellie has quit [Ping timeout: 256 seconds]
efm has joined #racket
jellie has joined #racket
tilpner_ has joined #racket
jellie has quit [Ping timeout: 264 seconds]
tilpner has quit [Ping timeout: 258 seconds]
tilpner_ is now known as tilpner
jellie has joined #racket
Codaraxis__ has quit [Remote host closed the connection]
jellie has quit [Ping timeout: 256 seconds]
jellie has joined #racket
Codaraxis__ has joined #racket
efm has quit [Read error: Connection reset by peer]
efm has joined #racket
Codaraxis__ has quit [Remote host closed the connection]
andswitch has quit [Ping timeout: 240 seconds]
SenasOzys has joined #racket
orivej has quit [Ping timeout: 265 seconds]
orivej has joined #racket
SenasOzys has quit [Quit: Leaving]
tilpner has quit [Remote host closed the connection]
tilpner has joined #racket
tilpner has quit [Remote host closed the connection]
tilpner_ has joined #racket
N0S4A2 has joined #racket
tilpner_ is now known as tilpner
<sarna> samth: I meant stuff like row polymorphism or bounded polymorphism
<sarna> I saw typed racket has structural subtyping
<samth> sarna: there is row polymorphism, and bounded polymorphism can be done with intersection types
<sarna> samth: very cool, I’ll look into that. thanks!
YuGiOhJCJ has quit [Quit: YuGiOhJCJ]
jellie has quit [Ping timeout: 256 seconds]
jellie has joined #racket
jellie has quit [Ping timeout: 256 seconds]
jellie has joined #racket
jellie has quit [Ping timeout: 256 seconds]
true-grue has quit [Read error: Connection reset by peer]
endformationage has joined #racket
jellie has joined #racket
jellie has quit [Ping timeout: 265 seconds]
jellie has joined #racket
jellie has quit [Ping timeout: 250 seconds]
jellie has joined #racket
jellie has quit [Ping timeout: 260 seconds]