skapata has quit [Remote host closed the connection]
ec has quit [Remote host closed the connection]
ec has joined #racket
leah2 has quit [Server closed connection]
leah2 has joined #racket
_whitelogger has joined #racket
lucerne9 has joined #racket
lucerne9 has quit [Quit: Bye]
lucerne9 has joined #racket
haskal has joined #racket
lucerne9 has quit [Quit: Bye]
lucerne9 has joined #racket
sm2n has quit [Server closed connection]
sm2n has joined #racket
Tuplanolla has joined #racket
runrin has quit [Ping timeout: 258 seconds]
nullman has quit [Ping timeout: 258 seconds]
lucerne9 has quit [*.net *.split]
macabro has quit [*.net *.split]
jojotastic777 has quit [*.net *.split]
_________ has quit [*.net *.split]
cow_2001 has quit [*.net *.split]
leah2 has quit [*.net *.split]
msv has quit [*.net *.split]
COMPL_EXE has quit [*.net *.split]
sm2n has quit [*.net *.split]
GreaseMonkey has quit [*.net *.split]
oter has quit [*.net *.split]
djelic has quit [*.net *.split]
rudybot has quit [*.net *.split]
ec has quit [*.net *.split]
spynxic has quit [*.net *.split]
chiselfuse has quit [*.net *.split]
lockywolf has quit [*.net *.split]
wingo has quit [*.net *.split]
wwalker has quit [*.net *.split]
ecraven has quit [*.net *.split]
soulseeder has quit [*.net *.split]
terrorjack has quit [*.net *.split]
rahmanlar has quit [*.net *.split]
rakka has quit [*.net *.split]
priime has quit [*.net *.split]
eriol has quit [*.net *.split]
jboy has quit [*.net *.split]
igemnace has quit [*.net *.split]
rekahsoft has quit [*.net *.split]
energizer has quit [*.net *.split]
tonyg has quit [*.net *.split]
JoelMcCracken has quit [*.net *.split]
kawzeg has quit [*.net *.split]
Ekho has quit [*.net *.split]
henrytill has quit [*.net *.split]
fun-safe-math has quit [*.net *.split]
bremner has quit [*.net *.split]
meimei has quit [*.net *.split]
nisstyre has quit [*.net *.split]
gabot has quit [*.net *.split]
mdhughes has quit [*.net *.split]
xgqt has quit [*.net *.split]
runxiyu has quit [*.net *.split]
loopified has quit [*.net *.split]
simendsjo has quit [*.net *.split]
raghavgururajan has quit [*.net *.split]
dpk has quit [*.net *.split]
jsoo has quit [*.net *.split]
m1dnight_ has quit [*.net *.split]
dunj3 has quit [*.net *.split]
dbohdan has quit [*.net *.split]
haskal has quit [*.net *.split]
DragonMaus has quit [*.net *.split]
dnm has quit [*.net *.split]
Duns_Scrotus has quit [*.net *.split]
jakzale has quit [*.net *.split]
sudden has quit [*.net *.split]
hl has quit [*.net *.split]
groovy has quit [*.net *.split]
Oxyd has quit [*.net *.split]
mason has quit [*.net *.split]
ski has quit [*.net *.split]
duncan has quit [*.net *.split]
ashpool has quit [*.net *.split]
listentolist has quit [*.net *.split]
retropikzel has quit [*.net *.split]
divya has quit [*.net *.split]
ursa-major has quit [*.net *.split]
collide2954 has quit [*.net *.split]
lowhope has quit [*.net *.split]
krjst has quit [*.net *.split]
hernan604 has quit [*.net *.split]
gnomon has quit [*.net *.split]
jA_cOp has quit [*.net *.split]
ftzm has quit [*.net *.split]
artyn has quit [*.net *.split]
cpli has quit [*.net *.split]
matta has quit [*.net *.split]
casaca has quit [*.net *.split]
Putonlalla has quit [*.net *.split]
dTal has quit [*.net *.split]
nm0i has quit [*.net *.split]
samth has quit [*.net *.split]
vancz has quit [*.net *.split]
troglodito has quit [*.net *.split]
sm2n has joined #racket
runrin_ has joined #racket
lucerne9 has joined #racket
ec has joined #racket
haskal has joined #racket
leah2 has joined #racket
rahmanlar has joined #racket
macabro has joined #racket
msv has joined #racket
igemnace has joined #racket
chiselfuse has joined #racket
GreaseMonkey has joined #racket
gabot has joined #racket
mdhughes has joined #racket
COMPL_EXE has joined #racket
jsoo has joined #racket
rakka has joined #racket
rekahsoft has joined #racket
ski has joined #racket
jojotastic777 has joined #racket
_________ has joined #racket
terrorjack has joined #racket
mason has joined #racket
cow_2001 has joined #racket
energizer has joined #racket
tonyg has joined #racket
gnomon has joined #racket
jA_cOp has joined #racket
kawzeg has joined #racket
retropikzel has joined #racket
JoelMcCracken has joined #racket
lockywolf has joined #racket
wingo has joined #racket
Ekho has joined #racket
henrytill has joined #racket
oter has joined #racket
djelic has joined #racket
duncan has joined #racket
fun-safe-math has joined #racket
bremner has joined #racket
nisstyre has joined #racket
meimei has joined #racket
collide2954 has joined #racket
rudybot has joined #racket
spynxic has joined #racket
nm0i has joined #racket
ashpool has joined #racket
ftzm has joined #racket
samth has joined #racket
DragonMaus has joined #racket
wwalker has joined #racket
xgqt has joined #racket
divya has joined #racket
ecraven has joined #racket
m1dnight_ has joined #racket
vancz has joined #racket
dnm has joined #racket
priime has joined #racket
loopified has joined #racket
soulseeder has joined #racket
artyn has joined #racket
cpli has joined #racket
simendsjo has joined #racket
raghavgururajan has joined #racket
eriol has joined #racket
Duns_Scrotus has joined #racket
troglodito has joined #racket
jboy has joined #racket
dpk has joined #racket
dunj3 has joined #racket
lowhope has joined #racket
runxiyu has joined #racket
matta has joined #racket
ursa-major has joined #racket
jakzale has joined #racket
sudden has joined #racket
dbohdan has joined #racket
listentolist has joined #racket
hl has joined #racket
groovy has joined #racket
Oxyd has joined #racket
dTal has joined #racket
hernan604 has joined #racket
krjst has joined #racket
casaca has joined #racket
Putonlalla has joined #racket
Everything has joined #racket
msv has quit [Remote host closed the connection]
skapata has joined #racket
skapata has quit [Remote host closed the connection]
Everything has quit [Ping timeout: 256 seconds]
notzmv has joined #racket
msv has joined #racket
msiism has joined #racket
<msiism>
Are Racket contracts anything more than a way to enforce type checks?
<bremner>
msiism: that probably depends a bit how broad your definition of "type" is. But essentially, yes
dpk has quit [Remote host closed the connection]
<msiism>
So, using Typed Racket does not render the use of contracts obsolete then?
<bremner>
I'm not sure how much (if at all) contracts are supported in TR. I think idiomatically you would use a type annotation rather than a contract, since that helps the compiler more
<bremner>
(contracts are opaque at compile time, afaik(
<msiism>
I see.
soulseeder has left #racket [#racket]
dpk has joined #racket
soulseeder has joined #racket
to-hu has joined #racket
to-hu has quit [Ping timeout: 255 seconds]
ursa-major has quit [Server closed connection]
ursa-major has joined #racket
msiism has left #racket [Konversation vaporized.]
troglodito has quit [Server closed connection]
troglodito has joined #racket
Tuplanolla has quit [Quit: Leaving.]
ec has quit [Remote host closed the connection]
ec has joined #racket
notzmv has quit [Remote host closed the connection]