@edwinbrady QuickCheck & Idris? Are dependent types "solving the same problem" as QC? Or is it best if they work together? /cc @ericnormand
-
-
Replying to @flpvsk
.
@filipovskii@ericnormand types and tests are complementary, not competing. Both are important.3 replies 15 retweets 21 likes -
Right, but QC specs aren't tests. ;-)
2 replies 0 retweets 0 likes
QC specs are nice statements of properties but the tests are still not exhaustive... (usually)
12:41 PM - 27 Mar 2017
0 replies
0 retweets
0 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.