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 …
-
-
Replying to @edwinbrady @thumphriees
It does mean you can write fewer contracts! You don't need as many Require and Ensure clauses because you can encode some of them in the dependent type.
1 reply 0 retweets 3 likes -
Replying to @hillelogram @thumphriees
I’m waiting for the counterexamples :). It doesn’t rule out using contracts though, even if it does make them less valuable.
2 replies 0 retweets 1 like
I just don’t get the need to argue for “one true method”. There’s loads of techniques, with different value for different people.
12:07 PM - 20 Jan 2018
0 replies
5 retweets
9 likes
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.