@ReinH @stevedekorte @jc00ke I just want a compiler that can tell me: does this program leak secrets y/n? And make “y” an error
-
-
@bascule@stevedekorte@jc00ke Yep, that falls under the auspices of "program correctness" too as far as I'm concerned. -
@ReinH@stevedekorte@jc00ke I think leakage of secret values and misusage of tainted values are problems dependent types could solve -
-
@stevedekorte@bascule@jc00ke I'm not sure what "it doesn't" is referring to here due to twitter's shitty conversation threading. -
-
@stevedekorte@bascule@jc00ke Uh, nothing at all? I can write a Scheme interpreter in Haskell. Doesn't make Haskell's types less powerful. -
-
@stevedekorte@bascule@jc00ke It's your *choice* as a user of the system how many of those assurances you take advantage of. - 5 more 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.