cognitive psychology. PhD 
Are there any programming languages with *intentionally* unsound static type systems?
-
It does, although I'm realizing "sound" is hard to characterize. In a PLT sense, Typescript statics + dynamics are collectively sound b/c anything not caught by type system is checked at runtime. No stuck states / UB / segfaults / etc.https://twitter.com/wcrichton/status/1285700061712785408 …
The distinction matters b/c the TS designers are only sacrificing completeness of their type system (wrt to goal of no UB), not soundness. I'm also interested in languages that gave up soundness in this sense.
-
-
It depends whether you would count a runtime type exception as unsoundness. I think it’s fair to call these similar to segfaults. TS remains “object-safe” at runtime (no buffer overflows) but you can also try to set a field on an integer by accident.
-
Yeah, the closest thing to "stuck" that people have in mind is hitting an exception, but even then `undefined + 42` doesn't cause an exception to be thrown.
- Show replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.