Using types - even really precise dependent types - rules out exactly zero other methods of verification or reasoning. Not even testing!https://twitter.com/pressron/status/952712118297645056 …
-
-
I just don’t get the need to argue for “one true method”. There’s loads of techniques, with different value for different people.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
You're not gonna get any counterexamples from me, I'm a Defense in Depth fanboy
-
Maybe there's some exotic verification technique that requires dynamic typing, but that seems more of an academic exercise than a practical argument
End of conversation
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.