Would an Idris unit test framework look any different to all the other xUnits?
-
-
Replying to @ctford
My initial thought is it would be similar - types, dependent or otherwise, don't affect positive examples.
2 replies 0 retweets 0 likes -
Replying to @ctford
Unit testing of types could be really useful. Say, to increase confidence that the type you have is the right one.
2 replies 2 retweets 8 likes -
Replying to @edwinbrady @ctford
What would "testing of types" mean? What kind of properties would you test against?
1 reply 0 retweets 0 likes -
Replying to @jjcarett2 @ctford
I mean things like small type level functions. Or to help me believe my type level model mashes sense.
1 reply 0 retweets 0 likes
er, makes sense. Strange autocorrect there...
11:26 AM - 18 Apr 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.