Are there any programming languages with *intentionally* unsound static type systems?
-
-
Replying to @wcrichton
Does TypeScript count? https://www.typescriptlang.org/docs/handbook/type-compatibility.html … says things like "The places where TypeScript allows unsound behavior were carefully considered", which sounds like what you're looking for.
1 reply 0 retweets 11 likes -
Replying to @qualmist
Will Crichton Retweeted Will Crichton
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 …
Will Crichton added,
6 replies 0 retweets 2 likes -
Replying to @wcrichton
I can't quite see how a segfault is different (in practice) from "undefined is not a function". Is it caught-by-OS vs. caught-by-interpreter that you are noting here?
2 replies 0 retweets 0 likes
"undefined is not a function" will always safely give that error. Your segfault could easily turn into heartbleed
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.