<jcowan>
The approach is meant to be used with dynamically typed languages to prevent the execution of programs that can't possibly work.
meepdeew has quit [Remote host closed the connection]
johnjay has quit [Ping timeout: 240 seconds]
Falacer has joined #racket
Falacer_ has joined #racket
Falacer has quit [Ping timeout: 245 seconds]
Falacer_ has quit [Ping timeout: 250 seconds]
johnjay has joined #racket
pera has quit [Ping timeout: 246 seconds]
Falacer has joined #racket
Falacer_ has joined #racket
Falacer has quit [Ping timeout: 244 seconds]
Falacer_ has quit [Ping timeout: 240 seconds]
ng0 has quit [Ping timeout: 256 seconds]
FreeFull has quit []
pera has joined #racket
dddddd has quit [Remote host closed the connection]
johnjay has quit [Ping timeout: 244 seconds]
evdubs_ is now known as evdubs
johnjay has joined #racket
Falacer has joined #racket
Falacer has quit [Ping timeout: 272 seconds]
orivej has joined #racket
jasonszhao has joined #racket
orivej has quit [Ping timeout: 245 seconds]
orivej has joined #racket
jasonszhao has quit [Ping timeout: 250 seconds]
jasonszhao has joined #racket
<lexi-lambda>
jcowan: Whether an analysis is too conservative or too liberal is not an intrinsic property of the analysis but rather a question of what the analysis is for.
<jcowan>
Indeed, but what specifically do you have in mind?
<lexi-lambda>
To me, an analysis of the sort you describe that permits a runtime error is too liberal, as I would like my compiler to ensure I’ve written total functions. So I want a can-fail analysis, not a must-fail analysis.
<lexi-lambda>
There are obviously arguments for both. But Hackett is firmly in the more conservative camp.
<lexi-lambda>
In any case, what evidence do you have for your assertion that a strictness analyzers are necessarily too conservative? GHC’s modern projection-based algorithm is much cleverer than many of the abstract interpretation approaches from decades past.
ubLIX has quit [Quit: ubLIX]
pie__ has joined #racket
pie___ has quit [Ping timeout: 245 seconds]
jasonszhao has quit [Ping timeout: 250 seconds]
jasonszhao has joined #racket
jasonszhao has quit [Ping timeout: 244 seconds]
ashrestha has joined #racket
Sgeo_ has joined #racket
Sgeo__ has quit [Ping timeout: 245 seconds]
ashrestha has quit [Quit: ashrestha]
ashrestha has joined #racket
ashrestha has quit [Quit: ashrestha]
ashrestha has joined #racket
jasonszhao has joined #racket
ashrestha has left #racket [#racket]
YuGiOhJCJ has quit [Quit: YuGiOhJCJ]
Lowl3v3l has joined #racket
jasonszhao has quit [Ping timeout: 250 seconds]
pierpal has quit [Remote host closed the connection]
endformationage has quit [Quit: WeeChat 2.3]
jao has quit [Ping timeout: 245 seconds]
sauvin has joined #racket
pierpal has joined #racket
audriu has joined #racket
<erkin>
Regarding net/url, is this intended behaviour or a regex overlook?
Lowl3v3l has quit [Remote host closed the connection]
thallada has joined #racket
thallada has quit [Ping timeout: 240 seconds]
thallada has joined #racket
thallada has quit [Ping timeout: 246 seconds]
orivej has quit [Ping timeout: 264 seconds]
eagleflo has quit [Ping timeout: 250 seconds]
thallada has joined #racket
eagleflo has joined #racket
thallada has quit [Ping timeout: 244 seconds]
thallada has joined #racket
<dzoe>
Anyone here using 32bit racket 7.2 on 64bit Windows 10 trying to raco pkg install something with sources on github?
<dzoe>
It fails on certificate validation.
<dzoe>
And my experience with windows has basically ended in 2000, so any clue how to start debugging might help ...
notzmv has joined #racket
Falacer has joined #racket
thallada has quit [Ping timeout: 240 seconds]
thallada has joined #racket
Lowl3v3l has joined #racket
thallada has quit [Ping timeout: 250 seconds]
jao has joined #racket
thallada has joined #racket
thallada has quit [Ping timeout: 245 seconds]
thallada has joined #racket
endformationage has joined #racket
acarrico has quit [Ping timeout: 268 seconds]
thallada has quit [Ping timeout: 250 seconds]
jasonszhao has joined #racket
thallada has joined #racket
thallada has quit [Ping timeout: 250 seconds]
thallada has joined #racket
thallada has quit [Ping timeout: 240 seconds]
acarrico has joined #racket
jasonszhao has quit [Ping timeout: 240 seconds]
jasonszhao has joined #racket
iclon has quit [Remote host closed the connection]
thallada has joined #racket
iclon has joined #racket
thallada has quit [Ping timeout: 250 seconds]
thallada has joined #racket
surya123 has joined #racket
orivej has joined #racket
thallada has quit [Ping timeout: 246 seconds]
thallada has joined #racket
thallada has quit [Ping timeout: 250 seconds]
surya123 has quit [Ping timeout: 244 seconds]
jasonszhao has quit [Ping timeout: 245 seconds]
thallada has joined #racket
<jcowan>
erkin: Quoth RFC 7595 (which is about scheme registration): "Furthermore, to prevent collisions with private-use scheme names, new scheme names registered MUST NOT contain a "." unless actually constructed from a reversed domain name."
<jcowan>
so on the public Internet you need fear no dots, for the IETF is with you
<erkin>
Were dotted URL schemes ever used?
thallada has quit [Ping timeout: 244 seconds]
ubLIX has joined #racket
pera has joined #racket
thallada has joined #racket
thallada has quit [Ping timeout: 250 seconds]
thallada has joined #racket
orivej has quit [Ping timeout: 250 seconds]
thallada has quit [Ping timeout: 245 seconds]
thallada has joined #racket
thallada has quit [Ping timeout: 246 seconds]
thallada has joined #racket
Arcaelyx has joined #racket
ng0 has joined #racket
vraid has joined #racket
FreeFull has joined #racket
jasonszhao has joined #racket
jasonszhao has quit [Ping timeout: 268 seconds]
jasonszhao has joined #racket
jasonszhao has quit [Ping timeout: 250 seconds]
sauvin has quit [Remote host closed the connection]
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #racket
selimcan has joined #racket
<jcowan>
erkin: Some, yes: iris.*, microsoft.windows.camera.* (provisional only), soap.*, xmlrpc.*, z39.50*. 14 in all out of hundreds, all very obscure.