@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. -
-
@stevedekorte@bascule@jc00ke Again, you aren't "removing" anything. - 3 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.